C++符合类型:指针和引用

1. 引用(左值引用)

引用为对象起了另外一个名字,引用类型引用另外一种类型。

int ival = 1024;
int &refval = ival; //refval指向ival(是ival的另一个名字)
int &refval2;       //报错:引用必须被初始化
一般在初始化变量时,初始值会被拷贝到新建的对象中。然而定义引用时,程序把引用和它的初始值绑定在一起,而不是将初始值拷贝给引用。
一旦初始化完成,引用将和它的初始值对象一直绑定在一起。因此无法令引用绑定到另一个对象,因此引用必须初始化。

引用即别名

定义了一个引用之后,对其进行的所有操作都是在与之绑定的对象上进行的。
为引用赋值,实际上是把值赋给了与引用绑定的对象。获取引用的值,实际上是获取了与引用绑定的对象的值。

因为引用本身不是一个对象,所以不能定义引用的引用。

引用的定义

//允许在一条语句中定义多个引用,其中每个引用标识符都必须以符合&开头。
int i = 1024, j = 2018;
int &a = i, b = j;      // a是一个引用,与i绑定在一起。b不是引用,是int.
int &c = i, &d = j;     // c和d都是引用
//所有引用的类型都要和与之绑定的对象严格匹配。而且,引用只能绑定在对象上。有两个例外:

//例外1:初始化常量引用时允许任意表达式作为初始值,只要该表达式的结果能转换成引用的类型即可。
//const的引用:称之为对常量的引用,对常量的引用不能被用作修改它所绑定的对象。
const int i = 1024;
const int &a = i;  //正确:引用及其对应的对象都是常量
a = 42;            //错误:a是对常量的引用
int &b = i;        //错误:试图让一个非常量引用指向一个常量对象

int i = 42;
const int &a = i;   //允许将const int&绑定到一个普通int对象上。

2. 指针

指针是指向另一种类型的复合类型。与引用类似,指针也实现了对其他对象的间接访问。
不同点:

  1. 指针本身就是一个对象,允许对指针赋值和拷贝,而且在指针的生命周期内它可以先后指向几个不同的对象。
  2. 指针无需在定义时赋值。和其他内置类型一样,在块作用域内定义的指针如果没有被初始化,也将拥有一个不确定的值。

获取对象的地址

指针存放某个对象的地址,要想获取该地址,需要使用取地址符(操作符&)
    int i = 42;
    int *p = &i; // p存放变量i的地址,或者说p是指向变量i的指针。
因为引用不是对象,没有实际地址,所以不能定义指向引用的指针。
除了两种例外情况,其他所有指针的类型都有和它指向的对象严格匹配。

利用指针访问对象

如果指针指向了一个对象,则允许使用解引用符(操作符*)来访问该对象。
int i = 42;
int *p = &i;
cout << *p;  // 由符合*得到指针p所指的对象,输出42.
对指针解引用会得到所指的对象,因此如果给解引用的结果赋值,实际上就是给指针所指的对象赋值:
*p = 0;     //由符合*得到指针p所指的对象,即可经由p为变量i赋值
cout << *p; //输出0
为*p赋值实际上是为p所指的对象赋值

空指针

空指针不指向任何对象。
int *p1 = nullptr;
int *p2 = 0;
int *p3 = NULL;

void 指针*

1.可用于存放任意对象的地址。以void*的视角来看内存空间也就仅仅是内存空间,没办法访问内存空间所存的对象。
2.不能直接操作void*指针所指的对象,因为我们并不知道这个对象到底是什么类型,也就无法确定能在这个对象上做哪些操作。
原文地址:https://www.cnblogs.com/xiaobaizzz/p/12145994.html