operator- (std::counted_iterator)

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

如果 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 是 左操作数 而 x 是 右操作数 。

示例

#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- 的操作数未引用
                                    // 同一序列的元素
}

参见