◐ Shell
clean mode source ↗

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

来自cppreference.com

template< std::common_with<I> I2 >
    friend constexpr std::iter_difference_t<I2> operator-(
        const counted_iterator& x, const counted_iterator<I2>& y );
(C++20 起)

计算两个迭代器适配器间的距离。

若 x 与 y 不指向同一序列的元素则行为未定义。即必须存在某个 n 使得 std::next(x.base(), x.count() + n) 与 std::next(y.base(), y.count() + n) 指代同一元素。

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

参数

返回值

y.count() - x.count()

注解

由于长度向下计数，而非向上，operator- 的实参在底层表达式中的顺序是逆转的，即 y 为 lhs 而 x 为 rhs。

示例

#include <initializer_list>
#include <iterator>

int main()
{
    static constexpr auto v = {1, 2, 3, 4, 5, 6};
    constexpr std::counted_iterator<std::initializer_list<int>::iterator>
        it1{v.begin(), 5},
        it2{it1 + 3},
        it3{v.begin(), 2};
    
    static_assert(it1 - it2 == -3);
    static_assert(it2 - it1 == +3);
//  static_assert(it1 - it3 == -3); // UB：operator- 的操作数不指代同一序列的元素
}

参阅