C++primer中对 对象的定义:对象是指一块能存储数据并具有某种类型的内存空间
一个对象a,它有值和地址&a,运行程序时,计算机会为该对象分配存储空间,来存储该对象的值,我们通过该对象的地址,来访问存储空间中的值
指针p也是对象,它同样有地址&p和存储的值p,只不过,p存储的数据类型是数据的地址。如果我们要以p中存储的数据为地址,来访问对象的值,则要在p前加解引用操作符"*",即*p。
对象有常量(const)和变量之分,既然指针本身是对象,那么指针所存储的地址也有常量和变量之分,指针常量是指,指针这个对象所存储的地址是不可以改变的,而指向常量的指针的意思是,不能通过该指针来改变这个指针所指向的对象。
我们可以把引用理解成变量的别名。定义一个引用的时候,程序把该引用和它的初始值绑定在一起,而不是拷贝它。计算机必须在声明r的同时就要对它初始化,并且,r一经声明,就不可以再和其它对象绑定在一起了。
实际上,你也可以把引用看做是通过一个常量指针来实现的,它只能绑定到初始化它的对象上。
关于指针和引用的对比,可以参看<<more effective C++>>中的第一条条款,引用的一个优点是它一定不为空,因此相对于指针,它不用检查它所指对象是否为空,这增加了效率
- 引用只是c++语法糖,可以看作编译器自动完成取地址、解引用的常量指针
- 引用区别于指针的特性都是编译器约束完成的,一旦编译成汇编就喝指针一样
- 由于引用只是指针包装了下,所以也存在风险,比如如下代码:int *a = new int;
int &b = *a;
delete a;
b = 12; // 对已经释放的内存解引用
- 引用由编译器保证初始化,使用起来较为方便(如不用检查空指针等)
- 尽量用引用代替指针
- 引用没有顶层const即
int & const
,因为引用本身就不可变,所以在加顶层const也没有意义; 但是可以有底层const即const int&
,这表示引用所引用的对象本身是常量 - 指针既有顶层const(
int * const
--指针本身不可变),也有底层const(int * const
--指针所指向的对象不可变) - 有指针引用--是引用,绑定到指针, 但是没有引用指针--这很显然,因为很多时候指针存在的意义就是间接改变对象的值,但是引用本身的值我们上面说过了是所引用对象的地址,但是引用不能更改所引用的对象,也就当然不能有引用指针了。
- 指针和引用的自增(++)和自减含义不同,指针是指针运算, 而引用是代表所指向的对象对象执行++或--