C++必知必会

 条款五：引用是别名而非指针

int a = 12;
int &ra = a;
--ra; // a == 11
a = 10; // ra == 10
int *ip = &ra; // ip 指向a

引用与指针的三大区别：

一，不存在空引用；

二，所有引用都要初始化；

三，一个引用永远指向用来对它初始化的那个对象；

Employee &anEmployee = *static_cast<Employee*>(0); // 错误！

Employee *getAnEmployee();
//...
Employee &anEmployee = *getAnEmployee();
if (&anEmployee == 0) //如果getAnEmployee返回一个空指针，则其后代码未定义

Employee *employee = getAnEmployee(); // good!用指针存放getAnEmployee返回结果
if (employee) //...

 一个引用初始化时它所指向的那个对象必须存在。is very important！

这个“别名”属性使得引用常常成为函数形参的优秀选择。

template <typename T>
void swap(T &a, T &b) {
    T temp(a);
    a = b;
    b = temp;
}
//...
int x = 1, y = 2;
swap(x, y); // x == 2, y == 1

//引用可以为没有名字的对象赋予一个方便的名字：
int grades[MAX]
//...
swap(grades[i], grades[j]);

考虑下面代码:

inline void set_2d(float *a, int m, int i, int j) {
    a[i * m + j] = a[i * m + j] * a[i * m + j] + a[i * m + j];
}

错误，

正确的改正：

inline void set_2d(float *a, int m, int i, int j) {
    float &r = a[i * m + j];
    r = r * r + r;
};

一个指向非常量的引用时不可以用字面值或临时值进行初始化的:

double &d = 12.3; // error!
swap( std::string("hello"), std::string(" , word") ); //error!

然而，一个指向常量的引用就可以:

const double &cd = 12.3; // ok
template<typename T>
T add(const T &a, const &b) {
    return a + b;
}
//...
const std::string &greeting
    = add(std::string("hello"), std::string(", world") ); // ok

 一个指向常量的引用采用一个字面值来初始化时，该引用实际上被设置为指向“采用该字面值初始化”的一个临时变量位置。如greeting引用则指向对add的调用所返回的无名临时string值。这类临时对象用于初始化一个指向常量的引用时，在引用指向它们期间，这些临时对象会一直存在。（即：不会离开作用域并且析构函数被调用）