为什么 std::optional::operator=(U&&) 要求 U 是非标量类型？

Question

对于可选的template<class U = T> optional<T>& operator=(U&& v);，标准要求（参见[optional.assign]/3.16）：

此函数不应参与重载决议，除非 ... conjunction_v<is_scalar<T>, is_same<T, decay_t<U>>> 是 false ...

为什么在分配U == T 类型的标量时必须排除大小写？

Answer 1

这是为了支持：

optional<int> o(42);
o = {}; // <== we want this to reset o

我们有一堆assignment overloads，分别是：

1. nullopt_t
2. optional const&
3. optional&&
4. U&&
5. optional<U> const&
6. optional<U>&&

对于标量，具体来说，#4 将是标准转换，而其他任何内容都是用户定义的转换 - 所以它是最佳匹配。但是，这样做的结果将是分配o 以使用0 的值。这意味着o = {} 可能意味着不同的东西，具体取决于T 的类型。因此，我们排除了标量。

对于非标量，#4 和 #3 将是等价的（都是用户定义的转换），而 #3 将通过成为非模板而获胜。那里没问题。