轉!!!!
雖然使用引用和指標都可以間接訪問另乙個值,但他們之間有兩個重要區別:
1. 都是位址的概念;
指標指向一塊記憶體,它的內容是所指記憶體的位址;引用是某塊記憶體的別名。
1. 指標是乙個實體,而引用僅是個別名;
2. 引用使用時無需解引用(*),指標需要解引用;
3. 引用只能在定義時被初始化一次,之後不可變;指標可變;
引用「從一而終」 ^_^
4. 引用沒有 const,指標有 const,const 的指標不可變;
5. 引用不能為空,指標可以為空;
6. 「sizeof 引用」得到的是所指向的變數(物件)的大小,而「sizeof 指標」得到的是指標本身(所指向的變數或物件的位址)的大小;
typeid(t) == typeid(t&) 恒為真,sizeof(t) == sizeof(t&) 恒為真,但是當引用作為成員時,其占用空間與指標相同(沒找到標準的規定)。
7. 指標和引用的自增(++)運算意義不一樣;
1. 引用在語言內部用指標實現(如何實現?)。
2. 對一般應用而言,把引用理解為指標,不會犯嚴重語義錯誤。引用是操作受限了的指標(僅容許取內容操作)。
引用是c++中的概念,初學者容易把引用和指標混淆一起。一下程式中,n 是m 的乙個引用(reference),m是被引用物(referent)。
[cpp]view plain
copy
?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.
[cpp]view plain
copy
?int i = 5;
int j = 6;
int &k = i;
k = j; // k 和i 的值都變成了6;
上面的程式看起來象在玩文字遊戲,沒有體現出引用的價值。引用的主要功能是傳遞函式的引數和返回值。c++語言中,函式的引數和返回值的傳遞方式有三種:值傳遞、指標傳遞和引用傳遞。
以下是「值傳遞」的示例程式。由於func1 函式體內的x是外部變數n 的乙份拷貝,改變x 的值不會影響n, 所以n 的值仍然是0.
[cpp]view plain
copy
?void func1(int x)
int n = 0;
func1(n);
cout << 「n = 」 << n << endl;// n = 0
以下是「指標傳遞」的示例程式。由於func2 函式體內的x 是指向外部變數n 的指標,改變該指標的內容將導致n 的值改變,所以n 的值成為10.
[cpp]view plain
copy
?void func2(int *x)
⋯ int n = 0;
func2(&n);
cout << 「n = 」 << n << endl; // n = 10
以下是「引用傳遞」的示例程式。由於func3 函式體內的x 是外部變數n 的引用,x和n 是同乙個東西,改變x 等於改變n,所以n 的值成為10.
[cpp]view plain
copy
?void func3(int &x)
//...
int n = 0;
func3(n);
cout << 「n = 」 << n << endl; // n = 10
對比上述三個示例程式,會發現「引用傳遞」的性質象「指標傳遞」,而書寫方式象「值傳遞」。實際上「引用」可以做的任何事情「指標」也都能夠做,為什麼還要「引用」
這東西?
答案是「用適當的工具做恰如其分的工作」。
指標能夠毫無約束地操作記憶體中的如何東西,儘管指標功能強大,但是非常危險。
就象一把刀,它可以用來砍樹、裁紙、修指甲、理髮等等,誰敢這樣用?
如果的確只需要借用一下某個物件的「別名」,那麼就用「引用」,而不要用「指標」,以免發生意外。比如說,某人需要乙份證明,本來在檔案上蓋上公章的印子就行了,如果把取公章的鑰匙交給他,那麼他就獲得了不該有的權利。
指標與引用看上去完全不同(指標用操作符』*』和』->』,引用使用操作符』.』),但是它們似乎有相同的功能。指標與引用都是讓你間接引用其他物件。你如何決定在什麼時候使用指標,在什麼時候使用引用呢?
首先,要認識到在任何情況下都不能用指向空值的引用。乙個引用必須總是指向某些物件。因此如果你使用乙個變數並讓它指向乙個物件,但是該變數在某些時候也可能不指向任何物件,這時你應該把變數宣告為指標,因為這樣你可以賦空值給該變數。相反,如果變數肯定指向乙個物件,例如你的設計不允許變數為空,這時你就可以把變數宣告為引用。
「但是,請等一下」,你懷疑地問,「這樣的**會產生什麼樣的後果?」
[cpp]view plain
copy
?char *pc = 0; // 設定指標為空值
char& rc = *pc; // 讓引用指向空值
這是非常有害的,毫無疑問。結果將是不確定的(編譯器能產生一些輸出,導致任何事情都有可能發生),應該躲開寫出這樣**的人除非他們同意改正錯誤。如果你擔心這樣的**會出現在你的軟體裡,那麼你最好完全避免使用引用,要不然就去讓更優秀的程式設計師去做。我們以後將忽略乙個引用指向空值的可能性。
因為引用肯定會指向乙個物件,在c裡,引用應被初始化。
[cpp]view plain
copy
?string& rs; // 錯誤,引用必須被初始化
strings("xyzzy");
string&rs = s; // 正確,rs指向s
指標沒有這樣的限制。
string*ps; // 未初始化的指標
// 合法但危險
不存在指向空值的引用這個事實意味著使用引用的**效率比使用指標的要高。因為在使用引用之前不需要測試它的合法性。
[cpp]view plain
copy
?void printdouble(const double& rd)
// 肯定指向乙個double值
相反,指標則應該總是被測試,防止其為空:
void printdouble(const double *pd)
} 指標與引用的另乙個重要的不同是指標可以被重新賦值以指向另乙個不同的物件。但是引用則總是指向在初始化時被指定的物件,以後不能改變。
[cpp]view plain
copy
?strings1("nancy");
strings2("clancy");
string& rs = s1; // rs 引用 s1
string *ps= &s1; // ps 指向 s1
rs = s2; // rs 仍舊引用s1
// 但是s1的值現在是"clancy"
ps = &s2; // ps 現在指向 s2;// s1 沒有改變
總的來說,在以下情況下你應該使用指標,一是你考慮到存在不指向任何物件的可能(在這種情況下,你能夠設定指標為空),二是你需要能夠在不同的時刻指向不同的物件(在這種情況下,你能改變指標的指向)。如果總是指向乙個物件並且一旦指向乙個物件後就不會改變指向,那麼你應該使用引用。
還有一種情況,就是當你過載某個操作符時,你應該使用引用。最普通的例子是操作符。這個操作符典型的用法是返回乙個目標物件,其能被賦值。
[cpp]view plain
copy
?vectorv(10); //建立整形向量(vector),大小為10
//向量是乙個在標準c庫中的乙個模板(見條款35)
v[5] = 10; // 這個被賦值的目標物件就是操作符返回的值
如果操作符返回乙個指標,那麼後乙個語句就得這樣寫:
[cpp]view plain
copy
?*v[5] = 10;
但是這樣會使得v看上去象是乙個向量指標。因此你會選擇讓操作符返回乙個引用。(這有乙個有趣的例外,參見條款30)
當你知道你必須指向乙個物件並且不想改變其指向時,或者在過載操作符並為防止不必要的語義誤解時,你不應該使用指標。而在除此之外的其他情況下,則應使用指標。
C 指標與引用的區別
以前對指標和引用的區別沒有清楚的認識,看了此文之後對指標和引用的區別有了更深刻的了解。特將此文儲存下來,以便日後再讀。指標與引用看上去完全不同 指標用操作符 和 引用使用操作符 但是它們似乎有相同的功能。指標與引用都是讓你間接引用其他物件。你如何決定在什麼時候使用指標,在什麼時候使用引用呢?首先,要...
C 指標與引用的區別
1.非空區別。在任何情況下都不能使用指向空值的引用。乙個引用必須指向某些物件。比如說說下面的程式為錯誤的。int a error 指標可以指向乙個空的變數。int p correct int pp null correct 2.合法性區別。在使用引用之前不需要測試其合法性。相反,指標則應總被測試,防...
C 指標與引用的區別
指標與引用是c 中兩個很重要的概念,它們功能看過去很相似,就是都是間接引用某個物件,那麼我們應該在什麼時候使用指標,什麼時候使用引用呢,下面請允許我慢慢道來 1.永遠不要使用乙個指向空值的引用。乙個引用必須始終指向某個物件,所以當你確定使用乙個變數指向某個物件時,但是這個物件在某些時間可能指向空值,...