◐ Shell
clean mode source ↗

std::counted_iterator<I>::counted_iterator - cppreference.com

来自cppreference.com

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 >= 0 是 false，那么行为未定义。

(C++26 前)

如果 n >= 0 是 false，那么：

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

3) 以 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, " "});
}

输出：

参阅