◐ Shell
clean mode source ↗

std::common_iterator<I,S>::common_iterator - cppreference.com

来自cppreference.com

constexpr common_iterator() requires std::default_initializable<I> = default;
(1) (C++20 起) 
constexpr common_iterator( I i );
(2) (C++20 起) 
constexpr common_iterator( S s );
(3) (C++20 起) 
template< class I2, class S2 >
requires std::convertible_to<const I2&, I> && 
         std::convertible_to<const S2&, S>
constexpr common_iterator( const common_iterator<I2, S2>& x );
(4) (C++20 起)

构造新的迭代器适配器，相当于初始化底层 std::variant<I, S> 成员对象 var 以保有一个 I（迭代器）或 S（哨位）对象。

1) 默认构造函数。默认初始化 var。构造后，var 保有一个值初始化的 I 对象。

当且仅当值初始化的 I 上的操作拥有有定义行为时，在产生的迭代器适配器上的对应操作拥有有定义行为。

2) 构造后 var 保有一个从 i 移动构造的 I 对象。

3) 构造后 var 保有一个从 s 移动构造的 S 对象。

4) 如果 x.var 保有一个 I2 或 S2，那么构造后 var 分别保有一个从 x.var 所保有的该可选项初始化的 I 或 S 对象。

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

(C++26 前)

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

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

参数

i - 要适配的迭代器
s - 要适配的哨位
x - 要复制的迭代器适配器

示例

#include <algorithm>
#include <iostream>
#include <iterator>
#include <numeric>
#include <vector>

int main()
{
    std::vector v{3, 1, 4, 1, 5, 9, 2};
    
    template<typename Iter>
    using CommonIter = std::common_iterator<std::counted_iterator<Iter>,
                                            std::default_sentinel_t>;
    
    using CI = CommonIter<std::vector<int>::iterator>;
    CI unused; // (1)
    CI start{std::counted_iterator{std::next(begin(v)), ssize(v) - 2}}; // (2)
    CI finish{std::default_sentinel}; // (3)
    CI first{start}; // (4)
    CI last{finish}; // (4)
    
    std::copy(first, last, std::ostream_iterator<int>{std::cout, " "});
    std::cout << '\n';
    
    CommonIter<std::ostream_iterator<double>>
        beg{std::counted_iterator{std::ostream_iterator<double>{std::cout,";  "}, 5}},
        end{std::default_sentinel};
    std::iota(beg, end, 3.1);
    std::cout << '\n';
}

输出： 

1 4 1 5 9
3.1;  4.1;  5.1;  6.1;  7.1;

参阅