Namespaces
Variants

std::common_iterator<I,S>:: operator=

From cppreference.net
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)
template < class I2, class S2 >

requires std:: convertible_to < const I2 & , I > &&
std:: convertible_to < const S2 & , S > &&
std:: assignable_from < I & , const I2 & > &&
std:: assignable_from < S & , const S2 & >

constexpr common_iterator & operator = ( const common_iterator < I2, S2 > & x ) ;
(C++20 起)

将底层 std::variant 成员对象 var x 的值进行赋值。

i x. var . index ( ) 。那么,此赋值等价于:

  • std :: get < i > ( var ) = std :: get < i > ( x. var ) ,当 var. index ( ) == i 时,
  • 否则为 var. emplace < i > ( std :: get < i > ( x. var ) )

如果 x 处于无效状态,即 x. var . valueless_by_exception ( ) 等于 true ,则行为未定义。

目录

参数

x - 用于从...赋值的迭代器适配器

返回值

* this

示例

#include <algorithm>
#include <initializer_list>
#include <iostream>
#include <iterator>
int main()
{
    const auto il = {1, 2, 3, 4, 5, 6};
    using CI = std::common_iterator<
                   std::counted_iterator<std::initializer_list<int>::iterator>,
                   std::default_sentinel_t>;
    CI first{std::counted_iterator{std::next(begin(il), 1), ssize(il) - 1}};
    const CI first2{std::counted_iterator{std::next(begin(il), 2), ssize(il) - 2}};
    const CI last{std::default_sentinel};
    std::copy(first, last, std::ostream_iterator<int>{std::cout, " "});
    std::cout << '\n';
    first = first2;
    std::copy(first, last, std::ostream_iterator<int>{std::cout, " "});
    std::cout << '\n';
}

输出:

2 3 4 5 6 
3 4 5 6

缺陷报告

以下行为变更缺陷报告被追溯应用于先前发布的C++标准。

缺陷报告 适用范围 发布时行为 正确行为
LWG 3574 C++20 variant 已完全支持 constexpr (P2231R1) 但 common_iterator 未支持 同时设为 constexpr

参见

构造新的 common_iterator
(公开成员函数)