◐ Shell
clean mode source ↗

operator-(std::common_iterator) - cppreference.com

来自cppreference.com

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 起)

计算底层 std::variant 成员对象 var 所保有的迭代器与/或哨位间的距离。认为两个哨位相等。

令 Ix 为 x.var .index()，Iy 为 y.var .index()：

  • 在 Ix == 1 && Iy == 1（即 x 与 y 均保有哨位）时，距离是 0。
  • 否则距离是 std::get<Ix>(x.var ) - std::get<Iy>(y.var )。

如果 x.var .valueless_by_exception() || y.var .valueless_by_exception() 是 true，那么行为未定义。

(C++26 前)

如果 x.var .valueless_by_exception() || y.var .valueless_by_exception() 是 true，那么：

  • 如果实现是硬化实现，那么就会发生契约违背。
  • 如果实现不是硬化实现，那么行为未定义。
 (C++26 起)

此函数模板对常规的无限定或有限定查找不可见，而只能在 std::common_iterator<I> 为实参的关联类时由实参依赖查找找到。

参数

返回值

底层迭代器与/或哨位间的距离，如上所述。

示例

#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';
}

输出：

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告 应用于 出版时的行为 正确行为
LWG 3574 C++20 variant 为完全 constexpr (P2231R1) 但 common_iterator 不是 亦使之为 constexpr

参阅