指针和引用

指针保存一个对象的地址，通过该地址访问对象；引用是对象的别名。二者在概念及使用上需要分清楚。

       引用不可以为空，指针可以为空。定义一个引用的时候，必须初始化；声明指针是可以不指向任何对象，即空指针。因此如果一个变量是用于指向另一个对象，它可能为空，这时你应该使用指针；如果变量总是指向一个对象，且不允许变量为空，这时你应该使用引用。由于指针可能为空，使用指针之前必须做判空操作，而引用就不必。

       引用不可以改变指向；指针可以改变指向。虽然引用不可以改变指向，但是可以改变初始化对象的内容。例如就++操作而言，对引用的操作直接反应到所指向的对象，而不是改变指向；而对指针的操作，会使指针指向下一个对象，而不是改变所指对象的内容。要通过指针修改对象内容需要先获取对象。

       引用的大小是所指向的变量的大小，因为引用只是一个别名而已；指针是指针本身的大小，4个字节。

       引用比指针更安全。由于不存在空引用，并且引用一旦被初始化为指向一个对象，它就不能被改变为另一个对象的引用，因此引用很安全。对于指针来说，它可以随时指向别的对象，并且可以不被初始化，或为NULL，所以不安全。const指针虽然不能改变指向，但仍然存在空指针，并且有可能产生野指针（即多个指针指向一块内存，free掉一个指针之后，别的指针就成了野指针）。

 

const对指针和引用的限定是有差别的：

常量指针：指向常量的指针，在指针定义语句的类型前加const，表示指向的对象是常量。

常量引用：指向常量的引用，在引用定义语句的类型前加const，表示指向的对象是常量。也跟指针一样不能利用引用对指向的变量进行重新赋值操作。

指针常量：在指针定义语句的指针名前加const，表示指针本身是常量。在定义指针常量时必须初始化！而这是引用天生具来的属性，不用再引用定义语句的引用名前加const。

常量指针常量：指向常量的指针常量，可以定义一个指向常量的指针常量，它必须在定义时初始化。常量指针常量定义"const int* const pointer=&c"告诉编译器，pointer和*pointer都是常量，他们都不能作为左值进行操作。

而就不存在所谓的"常量引用常量"，因为跟上面讲的一样引用变量就是引用常量。C++不区分变量的const引用和const变量的引用。程序决不能给引用本身重新赋值，使他指向另一个变量，因此引用总是const的。如果对引用应用关键字const，起作用就是使其目标成为const变量。即没有：const double const& a=1；只有const double& a=1；

 

引用占不占空间？

       有人说占用，有人说不占用，看怎么理解。作为变量，肯定是有内存要存的，汇编层面上和指针一样。但是从语义上讲，引用就是一个别名，不会分配一个对象空间。编译器也有可能提前优化处理。C++标准并未规定引用的实现方式，一般使用指针。

 

指针传递和引用传递

       指针传递参数本质上是值传递的方式，它所传递的是一个地址值。值传递过程中，被调函数的形参作为被调函数的局部变量处理，即在栈中开辟了内存空间以存放由主调函数放进来的实参的值，从而成为了实参的一个副本。值传递的特点是被调函数对形参的任何操作都是作为局部变量进行，不会影响主调函数的实参变量的值。

       引用传递过程中，被调函数的形参也作为局部变量在栈中开辟了内存空间，但是这时存放的是由主调函数放进来的实参变量的地址。被调函数对形参的任何操作都被处理成间接寻址，即通过栈中存放的地址访问主调函数中的实参变量。被调函数对形参做的任何操作都影响了主调函数中的实参变量。

如果想通过指针参数传递来改变主调函数中的相关变量，那就得使用指向指针的指针，或者指针引用。

引用并不产生对象的副本，仅仅是对象的同义词，当大型对象被传递给函数时，使用引用参数可使参数传递效率得到提高，因为引用并不产生对象的副本，也就是参数传递时，对象无须复制。

 

指针从本质上讲就是存放变量地址的一个变量，在逻辑上是独立的，它可以被改变，包括其所指向的地址的改变和其指向的地址中所存放的数据的改变。

而引用是一个别名，它在逻辑上不是独立的，它的存在具有依附性，所以引用必须在一开始就被初始化，而且其引用的对象在其整个生命周期中是不能被改变的（自始至终只能依附于同一个变量）。

从编译的角度讲：程序在编译时分别将指针和引用添加到符号表上，符号表上记录的是变量名及变量所对应地址。指针变量在符号表上对应的地址值为指针变量的地址值，而引用在符号表上对应的地址值为引用对象的地址值。符号表生成后就不会再改，因此指针可以改变其指向的对象（指针变量中的值可以改），而引用对象则不能修改。

引用是类型安全的，而指针不是，引用比指针多了类型检查。