◐ Shell
clean mode source ↗

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

来自cppreference.com

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 起)

从 x 的底层 std::variant 成员对象 var 赋值给 *this 的该成员。

令 Ix 为 x.var .index()。此赋值运算符：

  • 在 var.index() == Ix 时等价于 std::get<Ix>(var ) = std::get<Ix>(x.var )，
  • 否则等价于 var .emplace<Ix>(std::get<Ix>(x.var ))。

如果 x.var .valueless_by_exception() 是 true（即 x 处于无效状态），那么行为未定义。

(C++26 前)

如果 x.var .valueless_by_exception() 是 true（即 x 处于无效状态），那么：

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

参数

返回值

*this

参数

#include <algorithm>
#include <initializer_list>
#include <iostream>
#include <iterator>

int main()
{
    const auto il = {1, 2, 3, 4, 5, 6};
    
    using LI = std::initializer_list<int>::iterator;
    using CI = std::common_iterator<std::counted_iterator<LI>,
                                    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';
}

输出：

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告 应用于 出版时的行为 正确行为
LWG 3574 C++20 variant 为完全 constexpr (P2231R1) 但 common_iterator 不是 亦使之为 constexpr

参阅