Namespaces
Variants

std::counted_iterator<I>:: counted_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::counted_iterator
constexpr counted_iterator ( ) requires std:: default_initializable < I > = default ;
(1) (自 C++20 起)
constexpr counted_iterator ( I x, std:: iter_difference_t < I > n ) ;
(2) (自 C++20 起)
template < class I2 >

requires std:: convertible_to < const I2 & , I >

constexpr counted_iterator ( const counted_iterator < I2 > & other ) ;
(3) (自 C++20 起)

构造一个新的迭代器适配器。

1) 默认构造函数。 值初始化 底层迭代器，并使用 ​ 0 ​ 初始化底层 长度 。当且仅当对值初始化的 I 的相应操作具有定义行为时，对结果迭代器的操作才具有定义行为。
2) 底层迭代器通过 std :: move ( x ) 进行初始化，底层 长度 通过 n 进行初始化。若 n 为负值，则行为未定义。
3) 底层迭代器和 length 使用 other 的对应值进行初始化。

参数

x - 待适配的迭代器
n - 到末尾的距离
other - 待转换的迭代器适配器

示例

运行此代码 
#include <algorithm>
#include <initializer_list>
#include <iostream>
#include <iterator>
int main()
{
    static constexpr auto pi = {3, 1, 4, 1, 5, 9, 2};
    // (1) 默认构造函数：
    constexpr std::counted_iterator<std::initializer_list<int>::iterator> i1{};
    static_assert(i1 == std::default_sentinel);
    static_assert(i1.count() == 0);
    // (2) 分别初始化迭代器和长度：
    constexpr std::counted_iterator<std::initializer_list<int>::iterator> i2{
        pi.begin(), pi.size() - 2
    };
    static_assert(i2.count() == 5);
    static_assert(*i2 == 3 && i2[1] == 1);
    // (3) 转换构造函数：
    std::counted_iterator<std::initializer_list<const int>::iterator> i3{i2};
    std::ranges::copy(i3, std::default_sentinel,
        std::ostream_iterator<const int>{std::cout, " "});
}

输出： 

3 1 4 1 5

参见

赋值另一个 counted_iterator
(公开成员函数)