operator- (std::common_iterator)
|
template
<
std::
sized_sentinel_for
<
I
>
I2,
std::
sized_sentinel_for
<
I
>
S2
>
requires
std::
sized_sentinel_for
<
S, I2
>
|
(C++20以降) | |
2つのイテレータアダプタ間の距離を計算します。2つのセンチネルは等しいと見なされます。
var
を
std::variant
の基底メンバーオブジェクトとし、
std::common_iterator
内で定義される場合、
x
または
y
のいずれかが無効な場合(すなわち
x.
var
.
valueless_by_exception
(
)
||
y.
var
.
valueless_by_exception
(
)
が
true
である場合)、動作は未定義です。
この関数テンプレートは通常の unqualified lookup または qualified lookup では可視化されず、引数がstd::common_iterator<I>を関連クラスとして持つ場合にのみ argument-dependent lookup によって発見されます。
目次 |
パラメータ
| x, y | - | 差を計算するイテレータアダプタ |
戻り値
-
0
x.
var
が
Sオブジェクトを保持し、かつ y. var がS2オブジェクトを保持する場合、すなわち両方がsentinelを保持している場合。 -
それ以外の場合、
alt_x
-
alt_y
。ここで
alt_xとalt_yは、それぞれ x. var と y. var が保持するalternative(2つのiterator、または1つのiteratorと1つのsentinelのいずれか)。
例
#include <algorithm> #include <iostream> #include <iterator> int main() { int a[]{0, 1, 2, 3, 4, 5}; using CI = std::common_iterator< std::counted_iterator<int*>, std::default_sentinel_t >; CI i1{std::counted_iterator{a + 1, 2}}; CI i2{std::counted_iterator{a, 3}}; CI s1{std::default_sentinel}; CI s2{std::default_sentinel}; std::cout << (s2 - s1) << ' ' << (i2 - i1) << ' ' << (i1 - s1) << '\n'; }
出力:
0 -1 -2
不具合報告
以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。
| DR | Applied to | Behavior as published | Correct behavior |
|---|---|---|---|
| LWG 3574 | C++20 |
variant
は完全なconstexpr(P2231R1)であったが、
common_iterator
はconstexprではなかった
|
同様にconstexpr化された |
関連項目
|
common_iteratorを進める
(公開メンバ関数) |