1. 引用(引用必须被初始化)
a). 一般在初始化变量时,初始值会被拷贝到新建的对象中。但在定义引用时,程序会把引用和它的初始值绑定在一起,而不是将初始值拷贝给引用。一旦初始化完成,引用将和它的初始值对象一直绑定在一起。因为无法令引用重新绑定到另外一个对象,因此引用必须初始化。
例如:下面引用未被初始化会报错。
#include<iostream>
using namespace std;
int main()
{
int ival=1024;
int &refVal=ival;
int &refVal2; /*报错:error C2530: 'refVal2' : references must be initialized*/
return 0;
}
b). 引用并非对象,它只是为一个已经存在的对象所起的另外一个别名,也因此,不能定义引用的引用。而且,引用只能绑定在对象上,而不能与字面值或某个表达式的计算结果绑定在一起。
c). 为引用赋值,实际上是把值赋给了与引用绑定的对象。获取引用的值,实际上是获取了与引用绑定的对象的值。同理,以引用作为初始值,实际上是以与引用绑定的对象作为初始值。
2. 指针:与引用类似,指针也实现了对其他对象的间接访问。
1. 指针与引用的不同点:
a). 指针本身就是一个对象,允许对指针复制和拷贝,而且在指针的生命周期内它可以先后指向几个不同的对象。
b). 指针无须在对象定义时赋初值。和其他内置类型一样,在块作用域内定义的指针如果没有初始化,也将拥有一个不确定的值(VC6.0下面是-858993460)。
- void *指针
void 是一种特殊的指针类型,可用于存放任意对象的地址。然而,我们对该地址中存放的到底是什么类型的对象并不了解。不能直接操作void 指针所指的对象(因为我们并不知道这个对象到底是什么类型,也就无法确定能在这个对象上做哪些操作)。
如:
int i=520;
void *p=&i; //合法
//cout<<*p<<endl; //非法
cout<<*((int*)p)<<endl; //合法,使用强制类型转换
另外,引用本身不是一个对象,因此不能定义指向引用的指针。但指针是对象,所以存在对指针的引用:
如:
int i=2;
int *p;
int *&r=p; //r引用p
r=&i; //r引用一个指针,给r赋值&i就是令p指向i
*r=0; //解引用r得到i,也就是p指向的对象,将i的值改为0
ps(从右向左阅读): 对r类型的理解,要从右向左看。首先离变量名最近的符号(int *&r=p;&r中是&)对变量的类型有最直接的影响,因此r是一个引用。申明符的其余部分用来确定r引用的是什么类型,此例中r引用的是int指针。