如何初始化一个类的引用成员变量？

Question

考虑下面的代码C++：

#include<iostream> 

using namespace std; 

class Test { 
    int &t; 
public: 
    Test (int &x) { t = x; } 
    int getT() { return t; } 
}; 

int main() 
{ 
    int x = 20; 
    Test t1(x); 
    cout << t1.getT() << " "; 
    x = 30; 
    cout << t1.getT() << endl; 
    return 0; 
} 

是表示在使用gcc编译

est.cpp: In constructor ‘Test::Test(int&)’: 
    est.cpp:8:5: error: uninitialized reference member ‘Test::t’ [-fpermissive] 

为什么不直接编译调用构造函数下面的错误？

Answer 1

这是因为引用只能在初始化程序列表中初始化。使用

Test (int &x) : t(x) {} 

解释：引用只能设置一次，发生这种情况的地方是初始化程序列表。完成后，您不能设置引用，但只能将值分配给引用的实例。你的代码的意思是，你试图给引用的实例分配一些东西，但引用从未初始化，因此它不引用int的任何实例，并且出现错误。

Answer 2

我的编译器生成此错误：

error C2758: 'Test::t' : must be initialized in constructor base/member initializer list

而这正是你必须做什么。参考必须在初始化列表中进行初始化：

#include<iostream> 

using namespace std; 

class Test { 
    int &t; 
public: 
    Test (int &x) : t(x) { } // <-- initializer list used, empty body now 
    int getT() { return t; } 
}; 

int main() 
{ 
    int x = 20; 
    Test t1(x); 
    cout << t1.getT() << " "; 
    x = 30; 
    cout << t1.getT() << endl; 
    return 0; 
} 

说明：

如果参考不在initiliazer名单，这是几乎不可能的，如果参考初始化编译器来检测。参考文献必须被初始化。想象一下这个场景：

Test (int &x, bool b) 
{ 
    if(b) t = x; 
} 

现在，由构造函数的调用者来决定是否生成有效的代码。那不可能。编译器必须确保在编译时间处初始化引用。