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)
实验性非 TS 功能特性
模式匹配
线性代数
std::execution
契约
2D 图形
 
 
通用工具库
工具组件
函数对象
元编程与类型特性
带标签对偶与元组
                          
标签说明符
                                      
                          
 
 
tagged &operator=( tagged&& that ) = default;
(1)
tagged &operator=( const tagged& that ) = default;
(2)
template< class Other >

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

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

    requires Assignable<Base&, const Other&>

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

    requires Assignable<Base&, U> && !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