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

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.

Пусть Ix — это x.var .index(). Тогда это присваивание эквивалентно:

std::get<Ix>(var ) = std::get<Ix>(x.var ), если var.index() == Ix,
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';
}

Вывод:

2 3 4 5 6 
3 4 5 6

Отчёты об ошибках

Следующие отчёты об ошибках, изменяющие поведение, были применены задним числом к ранее опубликованным стандартам C++.

Отчёт об ошибке	Применяется к	Опубликованное поведение	Правильное поведение
LWG 3574	C++20	`variant` был полностью constexpr (P2231R1), но `common_iterator` — нет	также сделан constexpr

См. также

(конструктор)

создаёт новый common_iterator
(открытая функция-член)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/iterator/common_iterator/operator%3D