【C++知否】 引用

一、引用

引用可以理解为一个变量的别名。

int &re=a; //int & 使用引用数据类型，re就是a的别名

1）引用没有定义，是一种关系型声明。声明它和原有某一变量（实体）的关系。故而类型与原类型保持一致，且不分配内存。与被引用的变量有相同的地址。
2）声明的时候必须初始化，一经声明，不可更改。
3）可对引用，再次引用。多次引用的结果，是某一变量具有多个别名。
4）&符号前有数据类型时，是引用。其他皆为取地址。

优点：
1）可以不用指针，也能够对形参进行操作。
2）引用所占用的大小，跟指针是相等的。
3）常量要初始化，引用也要初始化，引用可能是一个常量。
综上两点，引用可能是一个常指针。

二、C++对C语言的拓展
C++之所以增加引用类型，主要是把它作为函数参数，以扩充函数传递数据的功能。
C++ 函数传参：
1）将变量名作为实参和形参

这时传给形参的是变量的值，传递是单向的。如果在执行函数期间形参的值发生变化，并不传回给实参。因为在调用函数时，形参和实参不是同一个存储单元。// 同 c

2）传递变量的指针

形参是指针变量，实参是一个变量的地址，调用函数时，形参(指针变量)指向实参变量单元。这种通过形参指针可以改变实参的值。// 同 c

(3) C++提供了 传递变量的引用。

形参是引用变量，和实参是一个变量，调用函数时，形参(引用变量)指向实参变量单元。这种通过形参引用可以改变实参的值。

三、引用作为函数参数

1）当将引用作为函数参数传递的时候，编译器会将实参取地址给引用。
2）对一个引用操作赋值的时候，编译器将隐藏*操作。

四、引用作为函数的返回值

1）引用作为返回值，要注意被引用的对象不能超出作用域，不要返回局部变量的引用

【主要原因是局部变量会在函数返回后被销毁】。但是static变量或者在堆上开辟的都可以。

2）不能返回函数内部new分配的内存的引用

虽然不存在局部变量的被动销毁问题，可对于这种情况（返回函数内部new分配内存的引用），又面临其它尴尬局面。例如，被函数返回的引用只是作为一个临时变量出现，而没有被赋予一个实际的变量，那么这个引用所指向的空间（由new分配）就无法释放，造成memory leak。

3） 引用返回的是一个变量的别名，因此是可以当左值使用的，即位于等号左边，可以进行赋值操作

4）当函数返回一个引用时，则返回一个指向返回值的隐式指针

5）可以返回类成员的引用，但最好是const

主要原因是当对象的属性是与某种业务规则（business rule）相关联的时候，其赋值常常与某些其它属性或者对象的状态有关，因此有必要将赋值操作封装在一个业务规则当中。如果其它对象可以获得该属性的非常量引用（或指针），那么对该属性的单纯赋值就会破坏业务规则的完整性。

五、指针引用

六、const引用

1）如果想对一个常量进行引用，必须是一个const引用。

const int a=10;
const int &re=a;

2）相反，如果一个普通变量，用一个const引用接收是可以的。
const常用在函数形参上，作为函数形参的保护作用。