引用(reference)就是对象的另一个名字.
在实际程序中,引用主要用作函数的形式参数.
引用是一种复合类型(compound type),通过在变量名前添加"&"符号来定义.复合类型是指用其他类型定义的类型.
在引用的情况下,每一种引用类型都"关联到"某一其他类型.不能定义引用类型的引用,但可以定义任何其它类型的引用.
引用必须用与该引用同类型的对象初始化:
int ival=1024;
int &refVal=ival; //ok: refVal refers to ival
int &refVal2; //error:a reference must be initialized
int &refVal3=10; //error:initializer must be an object
1.引用是别名
因为引用只是它绑定的对象的另一个名字,作用在引用上的所有操作事实上都是作用在该引用绑定的对象上:
refVal+=2; 将refVal指向的对象ival加2.类似地,
int ii=refVal 把和ival相关联的值赋给ii.
注解:当引用初始化后,只要该引用存在,它就保持绑定到初始化时指向的对象.不可能将引用绑定到另一个对象.
现在有点明白了,类似影武者,替身,不过,引用才是真身,被引用绑定的对象叫影武者. - - 好事坏事都自己顶了
要理解的一个重要概念就是,引用只是对象的另一名字.事实上,我们可以通过ival的原名访问ival,也可以通过它的别名refVal访问.赋值只是另外一种操作.我们可以编写
refVal=5; 效果是把ival的值改为5. 这一规则的结果是必须在定义引用时进行初始化.初始化是指明引用指向哪个对象的唯一方法.唯一唯一唯一唯一唯一唯一唯一唯一唯一唯一唯一唯一!!!!!!!!!!!!!!!!!!!!!!!!!!
2.定义多个引用
可以在一个类型定义行中定义多个引用.必须在每个引用标识符前添加"&"符号;
int i =1024,i2=2048;
int &r=i,r2=i2; //r is a reference,r2 is an it
int i3=1024,&ri=i3; //defines one object, and one reference
int &r3=i3,&r4=i2; //defines two reference 这里定义了两个引用,都要在前面加&
3.const引用
const引用是指向const对象的引用:
const int ival=1024;
const int &refVal=ival; //ok:both reference and object are const
int &ref2=ival; //error: nonconst reference to a const object 用ival初始化ref2也是不合法的:ref2是普通的非const引用(nonconst reference)
可以读取但不能修改refVal,因此,任何对refVal的赋值都是不合法的.这个限制有其意义:不能直接对ival赋值,因此也不能通过使用refVal来修改ival.
同理,用ival初始化ref2也是不合法的:ref2是普通的非const引用(nonconst reference),因此可以用来修改ref2指向的对象的值.通过ref2对ival赋值会导致修改const对象的之.为阻止这样的修改,需要规定将普通的引用绑定到const对象是不合法的.
术语:const引用是指向const的引用
C++程序员常常随意地使用术语const引用.严格来说,"const引用"的意思是"指向const对象的引用".类似地,程序员使用术语"非const引用"表示指向非const类型的引用.这种用法非常普遍.我们也遵循这种用法.
const引用可以初始化为不同类型的对象或者初始化为右值.如字面值常量:
int i=42;
// legal for const references only
const int &r=42;
const int &r2=r+i;
同样的初始化对于非const引用却是不合法的,而且会导致编译时错误.其原因非常微妙,值得解释一下.
观察将引用绑定到不同的类型时所发生的事情,最容易理解上述行为.假如我们编写
double dval-3.14; //create temporary int from the double
const int &ri-temp; // bind ri to that temporary
编译器会把这些代码转换成如下形式的编码:
int temp=dval; //create temporary int from the double
const int &ri=temp; //bind ri to that temporary
这里的意思是temp是用来进行隐式类型转换的代替变量么?为什么会转换代码?
如果ri不是const,那么可以给ri赋一新值.这样做不会修改dval,而是修改了temp.期望对ri的赋值会修改dval的程序员会发现,dval并没有被修改.仅允许const引用绑定到需要临时使用的值完全避免了这个问题,因为const引用是只读的.(这里不太懂..............................................................)
注解:非const引用只能绑定到与该引用同类型的对象.const引用则可以绑定到不同但相关的类型的对象或绑定到右值.
习题1:哪些定义是非法的?为什么?如何修改
(a)int ival=1.01;
(b)int &rval1=1.01;
(c)int &rval2=ival;
(d)const int &rval3=1;
b.rval1是一个非const引用,不能绑定到右值,而1.01是一个右值.可以改为 int &rval1=ival;
习题2:在上题给出的定义下,下列哪些赋值是非法的.如果赋值合法,解释赋值的作用
(a)rval2=3.14159;
(b)rval2=rval3;
(c)ival=rval3;
(d)rval3=ival;
a.合法赋值.将一个double型字面值赋给int类型ival,发生隐式类型转换.ival的值为3;
b.合法.将int值1赋给变量ival2.
c.合法.将int值1赋给变量ival.
d.非法.rval3是一个const引用,不能进行赋值.
习题3. a中的定义和b中的赋值存在哪些不同?哪些是非法的?
(a)int ival=0;
const int &ri=0;
(b)ival=ri;
ri=ival;
第一行,定义int变量ival并将其初始化为0.
第二行,定义ri为const引用,并将其绑定到右值0
第三行.将0赋给ival
第四行.试图将0赋给const引用ri,非法.ri是const引用,不能赋值.
习题4.下列代码输出什么?
int i,&ri=i;
i=5;ri=10;
cout<<i<<" "<<ri<<endl;
答案:10 10