引用与指针的区别

beyes

如对一个整型变量的引用可以如下声明：

int val;
int &quote_val = val;

上面的 & 不是地址操作符，而是类型标识符。int & 指的是指向 int 的引用。上面的声明中，val 和 quote_val 可以互换，quote_val 可以认为是 val 的别名 --- 它们指向相同的内存单元和有着一样的值，下面程序说明了这一点：

[C++] 纯文本查看 复制代码

#include <iostream>
using namespace std;


int main()
{
    int val;
    int &quote_val = val;


    val = 10;


    cout << val << " " << quote_val << endl;


    val++;
    cout << val << " " << quote_val << endl;


    quote_val -= 5;
    cout << val << " " << quote_val << endl;


    return 0;
}

运行输出：

[beyes@beyes   cpp]$ ./quote
10 10
11 11
6 6

引用和指针很类似，但是还是有点区别。下面同时创建了指向 val 这个变量的引用和指针：

int val;
int &quote_val = val;
int *p_val = &val;

上面，quote_val 和 *p_val 可以互换，而 &val 和 &quote_val 以及 p_val 可以互换(都表示变量 val 的地址)，如：

[C++] 纯文本查看 复制代码

#include <iostream>
using namespace std;


int main()
{
    int val;
    int &quote_val = val;
    int *p_val = &val;


    cout << &val << endl;
    cout << &quote_val << endl;
    cout << p_val << endl;


    return 0;
}

运行输出：

[beyes@beyes   cpp]$ ./quotep
0xbfa9bc94
0xbfa9bc94
0xbfa9bc94

从上面来看，引用看上去比较像是伪装了的指针。实际上，引用除了表示法不同于指针，还有其他一些区别。比如必须在声明引用时将其初始化，而不能像指针那样可以先声明再赋值，比如我们不能这样：

int val;
        int &quote_val;
        quote_val = val;

用 g++ 编译时会看到下面的错误提示：

quotep.cpp: In function ‘int main()’:
quotep.cpp:7:7: error: ‘quote_val’ declared as reference but not initialized

它告诉我们我们虽然声明了一个引用但是没有对它进行初始化。因此需要记住的是：必须在声明引用时进行初始化。

引用看起来更像是 const 指针，必须在创建时就进行初始化，它一旦与某个变量关联起来，就将一直效忠于它，如影相随从不二心。也就是说：

int &quote_val = val;

实际上是下面代码的伪装表示：

int *const p = &val;

(关于 int *const p 和 int const *p 的区别可参考：http://www.groad.net/bbs/read.php?tid-5936.html )
其中， 引用 &quote_val 所扮演的角色与 *p 相同。