目录
一、引用
引用(reference)为对象起了另外一个名字,通过将声明符写成&d的形式来定义引用类型,其中d是声明的变量名:
int ival = 1024;
int &refVal = ival; //refVal指向iVal(是ival的另一个名字)
int &refVal2; //报错:引用必须被初始化
引用必须初始化,在定义引用时,程序把引用和它的初始值绑定在一起,而不是将初始值拷贝给引用。
1.1 引用即别名
为引用赋值,实际上是把值赋给了与引用绑定的对象。获取引用的值,实际上是获取了与引用绑定的对象的值。
refVal = 2; //把2赋给refVal指向的对象,此处即是赋给了iVal
int ii = refVal; //与ii=ival执行结果一样
1.2 引用的定义
可以在一条语句中定义多个引用,但每个引用标识符都必须以符号&开头。
int i = 1024, i2 = 2048; //i和i2都是int
int &r = i, r2 = i2; //r是一个引用,与i绑定在一起,r2是int
int i3 = 1024, &ri = i3; //i3是int,ri是一个引用,与i3绑定在一起
int &r3 = i3, &r4 = i2; //r3和r4都是引用
除去一些例外情况(如:初始化常量引用时允许用任意表达式作为初始值,只要该表达式的结果能转换成引用的类型即可),其他所有引用的类型都要和与之绑定的对象严格匹配引用只能绑定在对象上,而不能与字面值或某个表达式的计算结果绑定在一起。
int &refVal4 = 10; //错误:引用类型的初始值必须是一个对象
double dval = 3.14;
int &refVal5 = dval; //错误:此处引用类型的初始值必须是int型对象
二、指针
指针是“指向”另外一种类型的复合类型。与引用类似,指针也实现了对其他对象的间接访问。然而指针与引用相比又有很多不同点。①指针本身就是一个对象,允许对指针赋值和拷贝,而且指针的生命周期内它可以先后指向几个不同的对象;②指针无须在定义时赋初值。
2.1 获取对象的地址
指针存放某个对象的地址,要想获取该地址,需要使用取地址符(操作符&):
int ival = 42;
int *p = &ival; //p是指向变量ival的指针
2.2 指针值
指针的值(即地址)应属下列4种状态之一:
①指向一个对象;
②指向紧邻对象所占空间的下一个位置;
③空指针,意味着指针没有指向任何对象;
④无效指针,就是上述情况之外的其他值。
2.3 利用指针访问对象
如果指针指向了一个对象,允许使用解引用符(操作符*)来访问该对象:
int ival = 42;
int *p = &ival; //p存放着变量ival的地址,或者说p是指向变量ival的指针
cout << *p //由符号*得到指针p所指的对象,输出42
2.4 空指针
空指针不指向任何对象。
int *p1 = nullptr; //等价于int *p1 = 0;
int *p2 = 0; //直接将p2初始化为字面常量0
int *p3 = NULL; //等价于int *p3 = 0;
//把int变量直接赋给指针是错误的操作,即使int变量的值恰好等于0也不行。
int zero = 0;
pi = zero //错误:不能把int变量直接赋给指针
2.5 赋值和指针
指针和引用都能提供对其他对象的间接访问,但引用本身并非一个对象,一旦定义了引用,就无法令其再绑定到另外的对象。
int i = 42;
int *pi = 0; //pi被初始化,但没有指向任何对象
int *pi2 = &i; //pi2被初始化,存有i的地址
int *pi3; //如果pi3定义于块内,则pi3的值是无法确定的
pi3 = pi2 //pi3和pi2指向同一个对象i
pi2 = 0; //现在pi2不指向任何对象
pi = &ival; //pi的值被改变,现在pi指向了ival
*pi = 0; //ival的值被改变,指针pi并没有改变
2.6 其他指针操作
只要指针拥有一个合法值,就能将它用在条件表达式中。和采用算数值作为条件遵循的规则类似,如果指针的值是0,条件取false:
int ival = 1024;
int *pi = 0; //pi合法,是一个空指针
int *pi2 = &ival; //pi2是一个合法的指针,存放着ival的地址
if (pi) //pi的值是0,因此条件的值是false
//...
if (pi2) //pi2指向ival,因此它的值不是0,条件的值是true
//...
对于两个类型相同的合法指针,可以用相等操作符(==)或不相等操作符(!=)来比较,比较的结果是布尔类型。如果两个指针存放的地址相同,则它们相等。(不论是作为条件出现还是参与比较运算,都必须使用合法指针,使用非法指针作为条件或进行比较都会引发不可预计的后果)。
2.7 void*指针
void*是一种特殊类型的指针类型,可用于存放任意对象的地址。但是我们对该地址中到底是个什么类型的对象并不了解,以void*的视角来看内存空间也就仅仅是内存空间,没办法访问内存空间中的所存对象。