Namespaces
Variants

operator- (std::common_iterator)

From ja.cppreference.net
Iterator library
Iterator concepts
Iterator primitives
Algorithm concepts and utilities
Indirect callable concepts
Common algorithm requirements
(C++20)
(C++20)
(C++20)
Utilities
(C++20)
Iterator adaptors
Range access
(C++11) (C++14)
(C++14) (C++14)
(C++11) (C++14)
(C++14) (C++14)
(C++17) (C++20)
(C++17)
(C++17)
template < std:: sized_sentinel_for < I > I2, std:: sized_sentinel_for < I > S2 >

requires std:: sized_sentinel_for < S, I2 >
friend constexpr std:: iter_difference_t < I2 >

operator - ( const common_iterator & x, const std:: common_iterator < I2, S2 > & y ) ;
(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を進める
(公開メンバ関数)