std::experimental::ranges::tagged<Base,Tags...>::operator=

来自cppreference.com
 
 
技术规范
文件系统库 (文件系统 TS)
库基础 (库基础 TS)
库基础 2 (库基础 TS v2)
库基础 3 (库基础 TS v3)
并行扩展 (并行 TS)
并行扩展 2 (并行 TS v2)
并发扩展 (并发 TS)
并发扩展 2 (并发 TS v2)
概念 (概念 TS)
范围 (范围 TS)
反射 (反射 TS)
数学特殊函数 (特殊函数 TR)
 
 
通用工具库
工具组件
函数对象
元编程与类型特性
有标签的 pair 与 tuple
                          
标签说明符
                                      
                          
 
 
tagged &operator=(tagged&& that) = default;
(1)
tagged &operator=(const tagged& that) = default;
(2)
template <class Other>

    requires ranges::Assignable<Base&, Other>
constexpr tagged& operator=(ranges::tagged<Other, Tags...>&& that)

    noexcept(std::is_nothrow_assignable<Base&, Other>::value);
(3)
template <class Other>

    requires ranges::Assignable<Base&, const Other&>

constexpr tagged& operator=(const ranges::tagged<Other, Tags...>& that);
(4)
template <class U>

    requires ranges::Assignable<Base&, U> && !ranges::Same<std::decay_t<U>, tagged>

constexpr tagged& operator=(U&& that) noexcept(std::is_nothrow_assignable<Base&, U>::value);
(5)

赋值 that 的内容给 *this

1-2) tagged 拥有默认化的复制和移动赋值运算符,它们调用 Base 的对应赋值运算符。
3) 源自带匹配标签的相异 tagged 特化的转换移动赋值运算符。等价于 static_cast<Base&>(*this) = static_cast<Other&&>(that);
4) 源自带匹配标签的相异 tagged 特化转换复制赋值运算符。等价于 static_cast<Base&>(*this) = static_cast<const Other&>(that);
5) 赋值 thatBase 子对象。等价于 static_cast<Base&>(*this) = std::forward<U>(that);

返回值

*this