关于引用的初始化有两点值得注意:
(1)当初始化值是一个左值(可以取得地址)时,没有任何问题;
(2)当初始化值不是一个左值时,则只能对一个const T&(常量引用)赋值。而且这个赋值是有一个过程的:
首先将值隐式转换到类型T,然后将这个转换结果存放在一个临时对象里,最后用这个临时对象来初始化这个引用变量。
例子:
double& dr = 1; // 错误:需要左值 const double& cdr = 1; // ok
double temp = double(1); const double& cdr = temp;
// bc_temp_objects_not_bound_to_nonconst_ref.cpp // compile with: /EHsc #include "iostream" using namespace std; class C {}; void f(C & c) { cout << "C&" <
C const &
更直接的,用基本类型:
#includeusing namespace std; void display(int const &ref) {cout< <<'\n';} int main() { int i=1; display(i); int const anotheri=2; display(anotheri); display(2); display(1+2); display(static_cast (3.14159)); }
通过C++常量引用从函数返回一个局部对象:
一般从一个函数返回一个局部对象的引用是不对的:
T & my_op ( void ) { T t; return t; } // The T object t got destroyed here so the returned reference is not valid anymore.
const T & my_op ( void ) { T t; return t; } const T & my_t_obj = my_op ();
总之,C++常量引用语法上可以引用一个临时变量。这种方法在使用引用作函数参数和返回局部变量时有意义。我目前看来常量引用主要用在作函数参数或保证不修改原变量的时候。