程序師世界是廣大編程愛好者互助、分享、學習的平台,程序師世界有你更精彩!
首頁
編程語言
C語言|JAVA編程
Python編程
網頁編程
ASP編程|PHP編程
JSP編程
數據庫知識
MYSQL數據庫|SqlServer數據庫
Oracle數據庫|DB2數據庫
 程式師世界 >> 編程語言 >> C語言 >> C++ >> C++入門知識 >> C++引用&和指針在作為形參時的區別

C++引用&和指針在作為形參時的區別

編輯:C++入門知識

nt n;

int &m = n;

在C++中,多了一個C語言沒有的引用聲明符&,如上,m就是n的引用,簡單的說m就是n的別名,兩者在內存中占同樣的位置,不對m開辟新的內存空間,對m的任何操作,對n來說是一樣的。

對於引用,有以下三條規則:

(1)引用被創建的同時必須被初始化(指針則可以在任何時候被初始化)。
(2)不能有NULL 引用,引用必須與合法的存儲單元關聯(指針則可以是NULL)。
(3)一旦引用被初始化,就不能改變引用的關系(指針則可以隨時改變所指的對象)。

指針和引用的區別:

(1)指針指向一塊內存,它的內容是所指內存的地址;而引用則是某塊內存的別名。

(2)可以有const指針,但是沒有const引用;

(3)指針可以有多級,但是引用只能是一級(int **p;合法 而 int &&a是不合法的)

(4)指針的值可以為空,但是引用的值不能為NULL,並且引用在定義的時候必須初始化;

(5)指針的值在初始化後可以改變,即指向其它的存儲單元,而引用在進行初始化後就不會再改變了。

(6)"sizeof引用"得到的是所指向的變量(對象)的大小,而"sizeof指針"得到的是指針本身的大小;

(7)指針和引用的自增(++)運算意義不一樣;

在講引用作為函數參數進行傳遞時,實質上傳遞的是實參本身,即傳遞進來的不是實參的一個拷貝,因此對形參的修改其實是對實參的修改,所以在用引用進行參數傳遞時,不僅節約時間,而且可以節約空間。

假如在一個函數中動態申請內存空間,用指針和用引用作形參會得到不同的結果,如下面的例子:

void fun(int* b){ //用指針做形參
b = (int*)malloc(sizeof(int)*3);

for(int i=0; i<3; i++){
a[i] = i;
}
}

void fun(int* &b){ //用引用做形參
b = (int*)malloc(sizeof(int)*3);

for(int i=0; i<3; i++){
b[i] = i;
}
}

如果在main函數中定義了一個int型的空指針並分別作為實參傳入,如下:

int main(){
int *a = NULL;

fun(a);

for(int i=0; i<3; i++){
cout << a[i] << " ";
}
cout << "\n";

return 0;
}

結果用指針的函數會出現內存訪問出錯,用引用的函數則運行正常並正確輸出1 2 3.

這是因為:

1.指針雖然是地址傳遞,但實際上也是在函數中又定義了一個新的指針讓其與傳入的指針指向同一地址。但兩個指針本身作為變量在內存中的存放地址是不同的,就是說這是兩個不同的變量,只是內容(即所指地址)相同。

2.在函數中對新定義的指針動態申請內存,但是當函數結束後,申請的內存的生命周期也就結束了,所以當回到主函數時,作為實參的指針地址和內容都沒有變化。仍然是個空指針,對其進行訪問自然出現了內存讀錯誤了。

假如在main函數中這樣寫:

int *a = (int*)malloc(sizeof(int)*3);

就不會出現內存讀錯誤了,但是輸出結果還是錯誤的,道理也是一樣的。

3.用引用作為實參傳入時,fun函數中的b其實就是主函數中a的別名(或者叫外號),反正就是操作完全相同,地址相同,內容相同的一個變量,所以當fun函數返回時,對b的操作在主函數中對a同樣有效。

再看一個例子:

int *a = NULL;

char* b = (char*)a;

int *a = NULL;

char* &b = (char*)a;

這一次是在編譯階段的區別:

用指針可以通過編譯,而用引用則不可以,提示類型轉換出錯。

通過這兩個例子可以看出,指針比引用靈活,也更加危險。

摘自『高質量c++編程』
條款一:指針與引用的區別
指針與引用看上去完全不同(指針用操作符’*’和’->’,引用使用操作符’.’),但是它們似乎有相同的功能。指針與引用都是讓你間接引用其他對象。你如何決定在什麼時候使用指針,在什麼時候使用引用呢?
首先,要認識到在任何情況下都不能用指向空值的引用。一個引用必須總是指向某些對象。因此如果你使用一個變量並讓它指向一個對象,但是該變量在某些時候也可能不指向任何對象,這時你應該把變量聲明為指針,因為這樣你可以賦空值給該變量。相反,如果變量肯定指向一個對象,例如你的設計不允許變量為空,這時你就可以把變量聲明為引用。

PS:引用在定義時不可加const,否則編譯出錯,在形參前面則可以加const以確保在函數中該變量不會被修改。

  1. 上一頁:
  2. 下一頁:
Copyright © 程式師世界 All Rights Reserved