模板类中引用的引用类型是什么[重复]

Question

在下面的代码中，a和b的类型分别是什么？

template <class T = const int&>
struct A
{
    T& a;
    T b;
};

int main() {
    int i = 1;
    A<> a{i, i};
    return 1;
}

我使用了这篇文章中的代码，它可以给出变量的类型。 -> post

但是，它说这两种类型都是i const&。

int main() {
    int i = 1;
    A<> a{i, i};

    std::cout << type_name<decltype(a.a)>() << std::endl;
    std::cout << type_name<decltype(a.b)>() << std::endl;

    return 0;
}

在上述情况下T& 和T 是同一类型吗？

这些 & 符号是否结合并成为 r 值或其他规则？

Answer 1

T 是 const int&，因为这是你告诉它的。

T& 也是const int& 因为引用折叠 将您的T& 转换为T：

[dcl.ref]/6: 如果是 typedef-name ([dcl.typedef], [temp.param]) 或 decltype-specifier ([dcl.type.simple ]) 表示类型 TR 是对类型 T 的引用，尝试创建类型“对 cv TR 的左值引用”会创建类型“对@987654333 的左值引用@”，而尝试创建类型“对 cv TR 的右值引用”会创建类型 TR。 [ 注意：此规则称为引用折叠。 — 尾注 ] [ 示例：

int i;
typedef int& LRI;
typedef int&& RRI;

LRI& r1 = i;                    // r1 has the type int&
const LRI& r2 = i;              // r2 has the type int&
const LRI&& r3 = i;             // r3 has the type int&

RRI& r4 = i;                    // r4 has the type int&
RRI&& r5 = 5;                   // r5 has the type int&&

decltype(r2)& r6 = i;           // r6 has the type int&
decltype(r2)&& r7 = i;          // r7 has the type int&

— 结束示例 ]

这是为了方便起见，因为没有 const int& & 之类的东西（引用引用；不要与确实存在的右值引用类型 const int&& 混淆！）并且能够编写类似的代码很方便您无需手动“摆脱”“额外”&。

这里更详细地解释了这条规则背后的基本原理：

• Concise explanation of reference collapsing rules requested: (1) A& & -> A& , (2) A& && -> A& , (3) A&& & -> A& , and (4) A&& && -> A&&