引用---基本特性

1.引用的基本特性

一.引用即别名

•声明一个标识符为引用，即表示该标识符可作为另一个有名或无名对象的别名

–int a = 10;  int& b = a;  int& c = b;  ++c;  cout << a << endl; // 11  int const& d = c;  ++d; // ERROR

•在C++中，无名对象通常都被处理为右值，只能通过带有常属性的引用引用之

–int const& a = 10; // 纯右值  int const& b = 20;  int const& c = a + b; // 将亡右值

二.引用必须初始化

•引用必须在定义的同时初始化，不允许先定义再赋值

–int a = 10;  int& b = a; // OK–int a = 10;  int& b; // ERROR  b = a;

三.引用不能为空

•无法定义一个什么都不引用的引用
–int& r = NULL; // ERROR

•但“野引用”或称“悬空引用”确实是存在的
–int& r = *new int (1);
++r;
cout << r << endl; // 2
delete &r;
++r; // 未定义
•解引用一个野引用，就跟解引用一个野指针一样，其结果将是未定义的，可能导致崩溃(段错误)，
可能意外地修改了其它有效堆内存中的数据，也可能什么也没有发生而且结果还很正确，
但没有人能保证到底会是哪种结果

三.引用不能更换目标

•引用一经初始化便不能再引用其它对象

–int a = 10, b = 20;   int& c = a; // c是a的引用，a是c的目标   c = b; // 将b的值赋给c的目标即a，而非令c引用b

•引用只有在其定义及初始化语境中具有“名”语义，一旦完成了定义及初始化，
引用就和普通变量名一样，被赋予了“实”语义，即代表它的目标，而不是别名本身