Primer c++ 第5版【笔记】- 复合类型（引用、指针）

什么是对象 ？

区分是不是对象，看有没有实际地址。

eg：引用绑定对象，无实际地址，不是对象；指针存放对象的地址，有实际地址，是对象。

一般说法

引用/指针的值说的是指向了什么对象， 引用/指针所指向对象的值说的是对象的值。

引用

1. 引用只是对象的别名，引用≠对象；
2. 引用只能绑定对象，不能绑定字面值，但是可以赋值字面值;
3. 引用只能绑定一个对象，永远指向初始化的对象，因此必须初始化；
4. 引用的声明写法是：&引用

引用赋值规则：

1. 引用赋值给引用，不改变引用的指向，但改变所绑定的对象的值；
2. 引用赋值给变量，将引用所指向对象的内容赋给变量；
3. 变量赋值给引用，第一次赋值是对引用指向的初始化，非第一次赋值是改变引用所指向对象的值；
4. 变量赋值给变量，没什么好说的。

int i = 0, &r1 = i; double d = 0, &r2 = d;
/* 
(a) r2 = 3.14159;   正确，字面值3.14159可以赋给引用（r2）绑定的double类型变量d
(b) r2 = r1;   正确，引用赋值规则1
(c) i = r2;  正确，引用赋值规则2
(d) r1 = d; 正确，引用赋值规则3
*/

指针

1. 指针是一个对象，因此存在指向指针的指针；
2. 无须初始化（不初始化容易出错）；
3. 指针存放某个对象的地址，要用取地址符&进行赋值，不是直接绑定对象；
4. 在生命周期内，可以指向不同的对象；
5. 指针的类型和对象的类型必须严格匹配；
6. *指针有两个含义：① 声明指针 ，② * 为解引用符，访问指针所指向的对象。
   

指针赋值规则

对指针进行赋值只能使用以下四种类型的值：（1）空指针；（2）类型匹配的对象的地址；（3）当前指向对象的下一地址；（4）同类型的另一个有效指针。

3种生成空指针的方法:

尽量使用nullptr

3种指针的值相等的条件

1. 空指针
2. 指向同一个对象
3. 指向同一个对象的下一个地址

特殊指针类型 void*

1. 无数据类型，任何类型的指针（包括void*）都可以直接赋值给void*而无需强制类型转换；
2. 不能直接访问void*所指向的对象，必须先转换为确定的类型。