相关疑难解决方法(0)

对于可选项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？