对于某些模板参数 T，T& 是什么意思？ [复制]

Question

例如

template<class T>
struct Ref
{
    using type = T&;
};

对于所有可能的模板参数，Ref<T>::type 是否与 std::add_lvalue_reference<T>::type 相同？例如。 int、int& 和 int&&?

我刚刚阅读了std::add_lvalue_reference<T> 的源代码。很确定它们是等价的。
如果是，我们可以通过简单地写 T& 来节省一些空间。

Answer 1

[meta.trans.ref] 中的表 53 - add_lvalue_reference 的定义：

如果T 命名一个对象或函数类型，那么成员 typedef type 应命名为T&；否则，如果T 将类型命名为“rvalue reference to T1” 那么成员 typedef 类型应命名为 T1&;否则，键入 应命名为T。

现在回忆一下引用折叠的规则：

如果 [...] 一个类型 template-parameter (14.3.1) [...] 表示一个类型 TR 是对 T 类型的引用，尝试创建类型“左值” 对 cv TR 的引用创建类型“对 T 的左值引用” […]

所以答案是肯定的：

• 对于对象或函数，条件很容易满足。只是T&，不涉及引用折叠。

• 对于右值引用，将创建对所引用类型T1 的左值引用。

• 对于左值引用，保留准确的引用类型。