std::experimental::propagate_const<T>::operator=

constexpr propagate_const& operator=( propagate_const&& p ) = default;	(1)	(库基础 TS v2)
template< class U > constexpr propagate_const& operator=( propagate_const<U>&& pu );	(2)	(库基础 TS v2)
template< class U > constexpr propagate_const& operator=( U&& u );	(3)	(库基础 TS v2)
propagate_const& operator=( const propagate_const& ) = delete;	(4)	(库基础 TS v2)

令 t_ 表示被包装的类指针对象的私有数据成员。

1) 显式默认的移动赋值运算符，它将 p.t_ 移动赋值给 this->t_。

2) 将 std::move(pu.t_) 赋值给 this->t_。
仅当 U 可隐式转换为 T 时，此重载才参与重载决议。

3) 将 std::forward<U>(u) 赋值给 this->t_。
仅当 U 可隐式转换为 T 且 std::decay_t<U> 不是 propagate_const 的特化时，此重载才参与重载决议。

4) 拷贝赋值运算符被显式删除。propagate_const 不可拷贝。

p	-	另一个 `propagate_const` 对象，从中移动
pu	-	另一个不同特化类型的 `propagate_const` 对象，从中移动
u	-	另一个对象，赋值给所包含的指针

*this.

experimental::propagate_const
experimental::not_fn
experimental::observer_ptr
experimental::make_array
experimental::to_array
experimental::ostream_joiner
experimental::gcd
experimental::lcm
experimental::source_location
experimental::randint
检测惯用法
统一容器擦除
逻辑运算符类型特征

成员函数
propagate_const::propagate_const
propagate_const::operator=
propagate_const::swap
观察器
propagate_const::get
propagate_const::operator bool
propagate_const::operator*propagate_const::operator->
propagate_const::operator element_typepropagate_const::operator const element_type
非成员函数
operator==operator!=operator<operator>operator<=operator>operator>=
swap
get_underlying
辅助类
std::hash
std::equal_tostd::not_equal_tostd::lessstd::greaterstd::less_equalstd::greater_equal