第一部分 基本语言 第二章 变量和基本类型（2.5引用）

2.5引用：

引用就是对象的别名，在程序中引用主要用作函数行参。引用是一种复合类型，是另一种类型定义的类型。在引用情况下，每一种引用都关联到某一其他类型。不能定义引用的引用类型，但可以定义任何其他类型的引用。

一、引用必须与该引用同类型的对象初始化。定义引用时必须初始化。

int ival=1024;
int &rval=ival;//正确

int &rval;//错误，定义引用类型时必须初始化。

int &rval=10;//错误，初始化引用类型必须用同类型对象初始化。

二、引用是别名：

引用是绑定对象的另一个名字，作用在引用上的结果都会关联到该引用绑定的对象上。引用初始化定义之后不可更改绑定对象，对于变量所表示的那块内存，既可以通过变量名访问，也可以通过引用访问，两者访问的都是同一块内存，所以无论是作用在变量名还是在引用上的操作都会对内存产生更改。

三、定义多个引用：

可以在一个类型定义中定义多个引用，一个对象也可以定义多个引用。

程序示例：

#include
<iostream>

using namespace::std;

int g;

int main ()
{
int i=1024,i2=2048;
int &r=i,r2=i2;
int i3=1024,&ri=i3;
int &r3=i3,&r4=i2;
r4=5;
cout<<"i2: "<<i2<<" "<<"r2:
"<<r2<<endl;
}
输出结果：

i2: 5 r2: 2048

具体情况如下



1、r3与ri同时都是i3的引用，修改其中任意一个都会对i3的值产生影响。

2、r4是i2的引用，i2将值付给r2，这时候修改r4，会对i2产生影响，但并不会对r2的值产生影响。赋值定义在引用修改对像之前不改变r2，但赋值定义如果在引用修改对象之后要改变被赋值对象的值。

四、const引用：

const引用是对const对象的引用，另外const对象如果要定义引用的话只能定义const引用。如果将const对象定义一个非const引用就会报错，因为非const引用可以修改绑定对象，而const是只读型类型，不能被修改。所以报错。而将引用定义成const，也就不能通过修改引用来修改const对象，保护了const对象。

const对象定义引用必须是const引用，但const引用却能初始化为不同类型（相关联）的对象，同样的初始化对于非 const对象是非法的（引用初始化必须要是同类型）

当const引用绑定到不同类型的对象时，编译器会生成临时变量来转化不同类型，将引用绑定到转化后的临时变量上。注意：转化后遵循强制类型转化规则。精度有可能缺失。

程序示例：

#include
<iostream>

using namespace::std;

int g;

int main ()
{
double dval=3.14;
constint &a=dval;
cout<<"dval: "<<dval<<" "<<"a:
"<<a<<endl;
}
输出结果：
dval: 3.14 a: 3

通过const引用并不能修改绑定对象，const为只读类型引用。

习题解答：
1、下列那些定义非法，为什么，如何改正？

int ival=1.01;
int &rvall=1.01;
int &rval2=ival;
constint &rval3=1;

答：1、非法，将浮点数赋值给整形会导致精度缺失。
2、非法，将字面值常量赋给引用型类型。
3、合法，类型相同。
4、合法，可以将字面值常量赋给const引用。
2、在上题给出的定义下，下列那些赋值是非法的，如果赋值合法，解释赋值的作用。

ival2=3.14159;
rval2=rval3;
ival=rval3;
rval3=ival;
答：1、合法，将ival的值修改为3.14159.
2、合法，const引用可以作为右值。
3、合法，将ival赋值为1.
4、非法，rval3是const类型，不能接受赋值。
3、（a）中的定义和（b）中的赋值存在那些不同？哪些是非法的？

（a）

int ival=0;
constint &ri=0;
（b）

ival=ri;

ri=ival;
答：定义存在初始化的过程，赋值是刷新内存中的值。（b）中第二条非法，将值赋给const引用。

4、下列代码输出什么？

int i,&ri=i;
i=5;ri=10;
std::cout<<i<<" "<<ri<<std::endl;
答：10，10