C++傳遞引用與傳指標、傳值的區別
引用就是某一變數(目標)的一個別名,對引用的操作與對變數直接操作完全一樣。引用的宣告方法:型別識別符號 &引用名=目標變數名;
引用最大的好處就是提高函式效率以及節省空間;
關鍵問題一、傳遞引用與傳指標、傳值的區別?
值傳遞 (pass by value),指標傳遞(pass by pointer),當發生函式呼叫時,需要給形參分配儲存單元、當傳遞是物件時,要呼叫拷貝建構函式。
而且指標最後析構時,要處理記憶體釋放問題。
引用傳遞(pass by refenrence),在記憶體中沒有產生形參。效率大大提高!也不用處理指標的析構問題。
通過以上分析,我們設計程式時在形參中資料較為複雜時(比如以物件作為引數),應該儘量使用引用,少利用指標與值傳遞。
引用只能是"某一"變數的一個別名;具有一經定義就不可更改性;
int a = 10;
int b = 20;
int &c = a; //給變數a定義一個別名c;且c只能是a變數的別名;(如int &c = b 與 c = b; //錯誤)
陣列的引用
int a[10] ={0};
int &b = (&a)[10];
實際應用對比
#include "stdafx.h" #include<iostream> using namespace std; void PrintValues(const int ia[10]) { for (int i = 0; i < 10; i++) { cout << ia[i] << endl; } } int main() { int j[2] = { 0, 1 }; PrintValues(j); return 0; }
這裡因為編譯器忽略了為任何陣列形參指定長度,所以會造成陣列記憶體越界問題。
而且,陣列有二個特性,影響作用在陣列上的函式:一是不能複製陣列,二是使用陣列名時, 陣列名會自動指向其第一個元素的指標。因為不能複製,所以無法編寫使用陣列型別的形參,陣列會自動轉化為指標。
我們驗證下,將Void PrintValues(const int ia[10])改為 Void PrintValues(const int *ia),結果與上圖一致,這裡就不貼了。
那麼怎麼解決這個問題呢?
#include "stdafx.h"
#include<iostream>
using namespace std;
void PrintValues(const int *ia,int size)
{
for (int i = 0; i < size; i++)
{
cout << ia[i] << endl;
}
}
int main()
{
int j[] = { 0, 1 };
PrintValues(j,sizeof(j)/sizeof(*j));
return 0;
}
此方法雖然可以解決問題,但並不是我們需要的,這部分程式碼看不出來區別,但工程龐大後,使用引用要比指標高效,所以我們還是要利用引用的特性來解決這個問題。
將陣列形參可宣告為陣列的引用,如果形參是陣列的引用,編譯器會傳遞陣列的引用本身
我們再修改下程式碼:如下
#include "stdafx.h"
#include<iostream>
using namespace std;
void PrintValues( int (&ia)[2])
{
for (int i = 0; i < 2; i++)
{
cout << ia[i] << endl;
}
}
int main()
{
int j[2] = { 0, 1 };
PrintValues(j);
return 0;
}
結果顯示,與pass by pointer方法結果一致,但是這裡有一個缺陷,這裡面 int (&ia)[2],編譯器要檢查陣列實參和形參的大小。擴充套件性太差!
#include "stdafx.h"
#include<iostream>
using namespace std;
template<typename T,int N>
void PrintValues( T (&ia)[N])
{
for (int i = 0; i < N; i++)
{
cout << ia[i] << endl;
}
}
int main()
{
int j[2] = { 0, 1 };
PrintValues(j);
return 0;
}