使用构造函数进行引用初始化

Question

const T   a {}; // constant of type T
const T&  b {}; // ???
      T   c {}; // variable of type T
      T&  d {}; // error

a 和 b 之间有什么区别？
b 是一个引用，但我没有为其分配对象：在该指令中，我通过 T 构造函数对其进行了初始化。
b的地址在a和c的地址之间，所以b和a似乎没有区别。

如果我可以声明和初始化b，为什么d 会出现编译错误？

我谈到了泛型类型 T。我测试了上面的代码，无论是原始类型还是类，结果都是一样的。

Answer 1

在这些声明中

const T   a {}; // constant of type T
const T&  b {}; 

创建了默认初始化的常量对象a和默认初始化的临时对象的常量引用b。

编译器针对此引用声明发出错误

T&  d {}; // error

因为声明了对临时对象的非常量引用。

您可以通过以下方式声明右值引用

T&&d {};

这是一个演示程序

#include <iostream>

int main() 
{
    const int &ri {};

    std::cout << "ri = " << ri << '\n';

    int && rri {};

    std::cout << "rri = " << rri << '\n';

    return 0;
}

程序输出是

ri = 0
rri = 0