引用与指针的比较

引用的基本概念

引用只是它绑定的对象的另外一个名字，作用在引用上的所有操作事实上都是作用在该引用绑定的对象上。以下程序中，n是m的一个引用，m是被引用的对象。

    Widget  m;

    Widget  &n = m;

n相当于m的别名（或者绰号），对n的任何操作实际上就是对m的操作。例如有人名叫王二，他的绰号是“小二”。说“小二”怎么怎么的，其实就是对王二说三道四。所以n既不是m的拷贝，也不是指向m的指针，其实n就是m它自己。

引用的规则

引用的一些规则如下：

（1）引用被创建的同时必须被初始化（指针则可以在任何时候被初始化）

（2）不能有NULL引用，引用必须与合法的存储单元关联（指针则可以是NULL）

（3）一旦引用被初始化，就不能改变引用的关系（指针则可以随时改变所指的对象）

（4）引用的主要功能是传递函数的参数和返回值

以下示例程序中，k被初始化为i的引用。语句k = j并不能将k修改成为j的引用，只是把k的值改变成为6。由于k是i的引用，所以i的值也变成了6。

    int i = 5;

    int j = 6;

    int &k = i;

    k = j; // k和i的值都变成了6;

上面的程序看起来象在玩文字游戏，没有体现出引用的价值。引用的主要功能是传递函数的参数和返回值。C++语言中，函数的参数和返回值的传递方式有三种：值传递、指针传递和引用传递。

 

以下是“值传递”的示例程序。由于Func1函数体内的x是外部变量n的一份拷贝，改变x的值不会影响n, 所以n的值仍然是0。

    void Func1(int x)

{

    x= x + 10;

}

…

int n = 0;

    Func1(n);

    cout << “n = ” << n<< endl;    // n = 0

以下是“指针传递”的示例程序。由于Func2函数体内的x是指向外部变量n的指针，改变该指针的内容将导致n的值改变，所以n的值成为10。

    void Func2(int *x)

{

    (*x) = (* x) + 10;

}

…

int n = 0;

    Func2(&n);

    cout << “n = ” << n<< endl;       // n = 10

以下是“引用传递”的示例程序。由于Func3函数体内的x是外部变量n的引用，x和n是同一个东西，改变x等于改变n，所以n的值成为10。

    void Func3(int &x)

{

    x= x + 10;

}

…

int n = 0;

    Func3(n);

   cout << “n = ” << n<< endl;       // n = 10

对比上述三个示例程序，会发现“引用传递”的性质象“指针传递”，而书写方式象“值传递”。实际上“引用”可以做的任何事情“指针”也都能够做，为什么还要“引用”这东西？答案是“用适当的工具做恰如其分的工作”。

 

一般而言，当你需要考虑“不指向任何对象”的可能性时，或者是考虑“在不同时间指向不同对象”的能力时，你就应该采用指针。前一种情况可以将指针设置为null，后一种情况可以改变指针所指向的对象。而当你确定“总是会代表某个对象”，并且“一旦代表了该对象就不再能够改变”，那么就应该选引用。

还有其它情况也需要使用引用，比如当你实现某些操作符的时候。最常见的例子就是operator[]。这个操作符很特别地必须返回某种能够被当做赋值对象的东西：

vector<int> v(10);

v[5] = 10;

如果operator[]返回的是指针，上述最后一个语句就必须写成这样子：

*v[5] = 10;

这不是取下标操作符的自然直观的使用方式，所以，取下标操作符最好返回对象的引用。