引用是C++中的概念,初學者容易把引用和指針混淆一起。 以下程序中,n是m的一個引用(reference),m是被引用對象(referent)。 int m; int &n = m; n相當於m的別名(綽號),對n的任何操作就是對m的操作。 所以n既不是m的拷貝,也不是指向m的指針,其實n就是m它自己。 引用的規則: (1)引用被創建的同時必須被初始化(指針則可以在任何時候被初始化)。 (2)不能有NULL引用,引用必須與合法的存儲單元關聯(指針則可以是NULL)。 (3)一旦引用被初始化,就不能改變引用的關係(指針則可以隨時改變所指的對象)。 以下示例程序中,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 對比上述三個示例程序,會發現"引用傳遞"的性質象"指針傳遞",而書寫方式象"值傳遞"。 實際上"引用"可以做的任何事情"指針"也都能夠做,爲什麼還要"引用"這東西? 答案是"用適當的工具做恰如其分的工作"。 指針能夠毫無約束地操作內存中的任何東西,儘管指針功能強大,但是非常危險。 如果的確只需要借用一下某個對象的"別名",那麼就用"引用",而不要用"指針",以免發生意外。
最後,我們可能仍然不明白const引用的這個const的語義是什麼
const引用表示,試圖通過此引用去(間接)改變其引用的對象的值時,編譯器會報錯!
這並意味着,此引用所引用的對象也因此變成const類型了。我們仍然可以改變其指向對象的值,只是不通過引用
下面是一個簡單的例子:
1#include <iostream>
2usingnamespace std;
3
4int main()
5{
6 int val = 1024;
7 constint &ir = val;
8
9 val++;
10 //ir++;
11
12 cout << val << " " << ir << endl;
13
14 return 0;
15}
其中第10行,如果我們通過ir來改變val的值,編譯時會出錯。但是我們仍然可以通過val直接改變其值(第9行)
總結:const引用只是表明,保證不會通過此引用間接的改變被引用的對象!