std::polymorphic<T, Allocator>::operator=

constexpr polymorphic& operator=( const polymorphic& other );	(1)	(C++26 起)
constexpr polymorphic& operator=( polymorphic&& other ) noexcept(/* 见下文 */);	(2)	(C++26 起)

将 *this 的内容替换成 other 的内容。

设 traits 为 std::allocator_traits<Allocator>：

1) 如果 std::addressof(other) == this 是 true，那么什么也不做。否则，设 need_update 为 traits::propagate_on_container_copy_assignment::value：

如果 other 无值，那么直接前往下一步。否则通过 traits::construct 以分配器 update_alloc ? other.alloc : alloc 在 *this 中以 *other 作为实参构造新的拥有的对象。
通过 traits::destroy 销毁 *this 中先前拥有的对象（如果存在），然后解分配该对象使用的存储。

更新 *this 拥有的对象后，如果 need_update 是 true，那么就会以 other.alloc 的副本替换 alloc。

如果 T 是不完整类型，那么程序非良构。

2) 如果 std::addressof(other) == this 是 true，那么什么也不做。否则，设 need_update 为 traits::propagate_on_container_move_assignment::value：

如果 alloc == other.alloc 是 true，那么交换 *this 和 other 拥有的对象；通过 traits::destroy 销毁 other 中拥有的对象（如果存在），然后解分配该对象使用的存储。
否则：

如果 other 无值，那么直接前往下一步。否则通过 traits::construct 以分配器 update_alloc ? other.alloc : alloc 在 *this 中以 std::move(*other) 作为实参构造新的拥有的对象。
通过 traits::destroy 销毁 *this 中先前拥有的对象（如果存在），然后解分配该对象使用的存储。

更新 *this 拥有的对象后，如果 need_update 是 true，那么就会以 other.alloc 的副本替换 alloc。

如果满足以下所有条件，那么程序非良构：

other - 拥有的值（如果存在）用于赋值的另一 polymorphic 对象

*this

1) 如果抛出了异常，那么 *this 不会受到影响。

2) 如果抛出了异常，那么 *this 和 other 不会受到影响。

noexcept 说明：

noexcept(std::allocator_traits<Allocator>::

propagate_on_container_move_assignment::value

|| std::allocator_traits<Allocator>::is_always_equal::value)

成员函数
polymorphic::polymorphic
polymorphic::~polymorphic
polymorphic::operator=
观察器
polymorphic::operator->polymorphic::operator*
polymorphic::valueless_after_move
polymorphic::get_allocator
修改器
polymorphic::swap
非成员函数
swap(std::polymorphic)