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

constexpr indirect& operator=( const indirect& other );	(1)	(C++26 起)
constexpr indirect& operator=( indirect&& other ) noexcept(/* 见下文 */);	(2)	(C++26 起)
template< class U = T > constexpr indirect& operator=( U&& value );	(3)	(C++26 起)

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

设 traits 为 std::allocator_traits<Allocator>：

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

如果 other 无值，那么 *this 变为无值，并且 *this 拥有的对象（如果存在）会通过 traits::destroy 销毁，然后解分配该对象使用的存储。
否则，如果 alloc == other.alloc 是 true 且 *this 拥有值，那么等价于 **this = *other。
否则：

通过 traits::construct 以分配器 update_alloc ? other.alloc : alloc 在 *this 中以 *other 作为实参构造新的拥有的对象。
通过 traits::destroy 销毁 *this 中先前拥有的对象（如果存在），然后解分配该对象使用的存储。
p 指向新的拥有的对象。

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

如果 std::is_copy_assignable_v<T> && std::is_copy_constructible_v<T> 是 false ，那么程序非良构。

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

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

通过 traits::construct 以分配器 update_alloc ? other.alloc : alloc 在 *this 中以 std::move(*other) 作为实参构造新的拥有的对象。
通过 traits::destroy 销毁 *this 中先前拥有的对象（如果存在），然后解分配该对象使用的存储。
p 指向新的拥有的对象。

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

如果 std::is_copy_constructible_v<T> 是 false ，那么程序非良构。

3) 如果 *this 无值，那么使用 alloc 以 std::forward<U>(value) 构造拥有的对象。否则等价于 **this = std::forward<U>(value)。

此重载只有在满足以下所有条件时才会参与重载决议：

目录

other	-	拥有的值（如果存在）用于赋值的另一 `indirect` 对象
value	-	用来赋值或者构造拥有的对象的值