[More Effective C++]]指针与引用的区别

Item M1：指针与引用的区别

如果你使用一个变量并让它指向一个对象，但是该变量在某些时候也可能不指向任何对象，这时你应该把变量声明为指针，因为这样可以赋空值给该变量。相反，如果变量肯定指向一个对象，例如你的设计不允许变量为空，这时你就可以把变量声明为引用。

1、引用肯定会指向一个对象，在 C＋＋里，引用应被初始化。指针没有这样的限制;

string& rs; // 错误，引用必须被初始化
string s("xyzzy");
string& rs = s; // 正确，rs 指向s
string *ps; // 未初始化的指针
// 合法但危险

使用引用的代码效率比使用指针的要高。因为在使用引用之前不需要测试它的合法性。

void printDouble(const double& rd)
{
    cout << rd; // 不需要测试rd,它
}   // 肯定指向一个 double 值

相反，指针则应该总是被测试，防止其为空：

void printDouble(const double *pd)
{
    if (pd) 
     {  // 检查是否为NULL
        cout << *pd;
    }
}

2、指针可以被重新赋值以指向另一个不同的对象。但是引用则总是指向在初始化时被指定的对象，以后不能改变。

string s1("Nancy");
string s2("Clancy");
string& rs = s1; // rs 引用 s1
string *ps = &s1; // ps 指向 s1
rs = s2; // rs 仍旧引用s1,
// 但是 s1 的值现在是
// "Clancy"
ps = &s2; // ps 现在指向 s2;
// s1 没有改变

有以下情况则使用引用

1）如果指向一个对象并且一旦指向一个对象后就不会改变

2）当重载某个操作符的时候，例如[]操作符，返回的是一个目标对象，能被赋值。

例如：

vector<int> v(10); // 建立整形向量（vector），大小为10;
v[5] = 10;         // 这个被赋值的目标对象就是操作符[]返回的值

如果操作符[]返回一个指针，那么后一个语句就得这样写：

*v[5] = 10;

但是这样会使得v 看上去像是一个向量指针。因此你会选择让操作符返回一个引用。

其他情况都用指针。。。