C++23中std::unexpected构造函数约束表达式为true的场景疑问

首先要明确：在类模板std::unexpected<E>的成员函数语境中，unexpected指的是当前实例化的具体类型std::unexpected<E>（这是C++类模板的注入类名特性，注入类名代表当前实例化的类型，而非模板本身）。

所以约束表达式is_same_v<remove_cvref_t<Err>, unexpected> == true的场景是：

• 当你尝试用一个同类型的std::unexpected<E>对象（无论是左值、const左值还是右值）来调用这个模板构造函数时，Err会被推导为对应的引用/const引用类型，经过remove_cvref_t处理后，结果就是std::unexpected<E>，此时表达式为true。

举几个具体例子：

std::unexpected<int> u1(42);
// 尝试用u1（左值）构造u2，此时Err推导为std::unexpected<int>&
// remove_cvref_t<Err> == std::unexpected<int>，表达式为true
std::unexpected<int> u2(u1); 

const std::unexpected<int> u3(42);
// Err推导为const std::unexpected<int>&，remove_cvref_t后仍为std::unexpected<int>
std::unexpected<int> u4(u3);

// Err推导为std::unexpected<int>&&，remove_cvref_t后仍为std::unexpected<int>
std::unexpected<int> u5(std::move(u1));

这个约束的核心目的是避免该模板构造函数与std::unexpected<E>的默认拷贝/移动构造函数产生重载歧义，确保同类型对象的拷贝/移动操作由专门的非模板构造函数处理，而非这个通用的模板构造函数。

内容的提问来源于stack exchange，提问作者NotMe