引用必须初始化. 但是用对象的地址初始化引用是错误的,我们可以定义一个指针引用.
2 int & re = ival; // ok
3 int & re2 = & ival; // 错误
4 int * pi = & ival;
5 int *& pi2 = pi; // ok
(2)一旦引用已经定义,它就不能再指向其他的对象.这就是为什么它要被初始化的原因.
(3)const引用可以用不同类型的对象初始化(只要能从一种类型转换到另一种类型即可),也可以是不可寻址的值,如文字常量。例如
// 下3行仅对const引用才是合法的
const int & ir = 1024 ;
const int & ir2 = dval;
const double & dr = dval + 1.0 ;
上面,同样的初始化对于非const引用是不合法的,将导致编译错误。原因有些微妙,需要适当做些解释。
引用在内部存放的是一个对象的地址,它是该对象的别名。对于不可寻址的值,如文字常量,以及不同类型的对象,编译器为了实现引用,必须生成一个临时对象,引用时间上指向该对象,但用户不能访问它。
例如:
const int & ri = dval;
编译器将其转换为:
const int & ri = tmp;
同理:上面代码
// 下3行仅对const引用才是合法的
const int & ir = 1024 ;
const int & ir2 = dval;
const double & dr = dval + 1.0 ;
内部转化为:
// 不可寻址,文字常量
int tmp1 = 1024 ;
const int & ir = tmp1;
// 不同类型
int tmp2 = dval; // double -> int
const int & ir2 = tmp2;
// 另一种情况,不可寻址
double tmp3 = dval + 1.0 ;
const double & dr = tmp3;
(4)不允许非const引用指向需要临时对象的对象或值,即,编译器产生临时变量的时候引用必须为const
int *& pir = & iv; // 错误,非const引用对需要临时对象的引用
int * const & pir = & iv; // ok
const int ival = 1024 ;
int *& pi_ref = & ival; // 错误,非const引用是非法的
const int *& pi_ref = & ival; // 错误,需要临时变量,且引用的是指针,而pi_ref是一个非常量指针
const int * const & pi_ref = & ival; // 正确
// 补充
const int * p = & ival;
const int *& pi_ref = p; // 正确
********对于const int *const & pi_ref = &iva; 具体的分析如下:*********
1.不允许非const引用指向需要临时对象的对象或值
int & ref1 = a; // OK.有过渡变量。
const int & ref2 = 2 ; // OK.编译器产生临时变量,需要const引用
2.地址值是不可寻址的值
int * const & ref3 = & a; // OK;
3.于是,用const对象的地址来初始化一个指向指针的引用
最后,我们可能仍然不明白const引用的这个const的语义是什么
const引用表示,试图通过此引用去(间接)改变其引用的对象的值时,编译器会报错!
这并意味着,此引用所引用的对象也因此变成const类型了。我们仍然可以改变其指向对象的值,只是不通过引用
下面是一个简单的例子:
2 using namespace std;
3
4 int main()
5 {
6 int val = 1024 ;
7 const int & ir = val;
8
9 val ++ ;
10 // ir++;
11
12 cout << val << " " << ir << endl;
13
14 return 0 ;
15 }
其中第10行,如果我们通过ir来改变val的值,编译时会出错。但是我们仍然可以通过val直接改变其值(第9行)
总结:const引用只是表明,保证不会通过此引用间接的改变被引用的对象!