Namespaces
Variants

operator- (std::common_iterator)

From cppreference.net
C++
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)
std::common_iterator
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 起)

计算两个迭代器适配器之间的距离。两个哨兵被视为相等。

令 var 表示 std::variant 在 std::common_iterator 中的底层成员对象，若 x 或 y 任一为无效值（即满足 x. var . valueless_by_exception ( ) || y. var . valueless_by_exception ( ) 为 true ）时，其行为未定义。

此函数模板对普通的 非限定查找 或 限定查找 不可见，仅当 std::common_iterator<I> 作为参数的关联类时，才能通过 实参依赖查找 找到该模板。

目录

参数

x, y - 用于计算差值的迭代器适配器

返回值

  • ​ 0 ​ 如果 x. var 持有 S 对象且 y. var 持有 S2 对象，即两者均持有哨位值。
  • 否则为 alt_x - alt_y ，其中 alt_x 和 alt_y 分别是 x. var 与 y. var 持有的备选值（可能是两个迭代器，或一个迭代器与一个哨位值）。

示例

运行此代码 
#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++标准。

缺陷报告 适用范围 发布时行为 正确行为
LWG 3574 C++20 variant 已完全支持 constexpr (P2231R1) 但 common_iterator 未支持 同时设为 constexpr

参见

推进 common_iterator
(公开成员函数)