23 Iterators library [iterators]

23.5 Iterator adaptors [predef.iterators]

23.5.4 Common iterators [iterators.common]

23.5.4.3 Constructors and conversions [common.iter.const]

constexpr common_iterator(I i);

Effects: Initializes v_ as if by v_{in_place_type, std::move(i)}.

🔗

constexpr common_iterator(S s);

Effects: Initializes v_ as if by v_{in_place_type<S>, std::move(s)}.

🔗

template<class I2, class S2>
  requires convertible_to<const I2&, I> && convertible_to<const S2&, S>
    constexpr common_iterator(const common_iterator<I2, S2>& x);

Preconditions: x.v_.valueless_by_exception() is false.

Effects: Initializes v_ as if by v_{in_place_index, get(x.v_)}, where i is x.v_.index().

🔗

template<class I2, class S2>
  requires convertible_to<const I2&, I> && convertible_to<const S2&, S> &&
           assignable_from<I&, const I2&> && assignable_from<S&, const S2&>
    common_iterator& operator=(const common_iterator<I2, S2>& x);

Preconditions: x.v_.valueless_by_exception() is false.

Effects: Equivalent to:

(6.1)
If v_.index() == x.v_.index(), then get(v_) = get(x.v_).
(6.2)
Otherwise, v_.emplace(get(x.v_)).

where i is x.v_.index().

Returns: *this