老生常談C++中實參形參的傳遞問題
函數(shù)中參數(shù)的傳遞
這里說的傳遞當然是指 實參是如何傳遞給形參的啦
還挺復雜的~~~~~~~~⊙﹏⊙b汗,這里講述了4種參數(shù)傳遞的情況和注意事項:
1.非引用形參
這是最普通,也是最簡單的形參傳遞了。
參數(shù)傳遞,即是使用實參副本(注意啊,是副本,不是實參本身)來初始化形參;
因此,在函數(shù)體內對形參的修改不會影響實參的值。
如果形參是指針類型的,那么函數(shù)體內是否可以修改指針所指向的對象的值呢?
如果您產(chǎn)生這樣的疑問,表示您很有想法~~~
答案是~~~需要分情況討論。
如果函數(shù)的形參是非const類型的指針,則函數(shù)可以通過指針實現(xiàn)賦值,修改指針所指向對象的值。
所以,如果需要保護指針指向的值,則形參需定義為指向const對象的指針(注意了,這里的指針依然是非const型的,只是其指向的對象是const型的):
void use_ptr(const int *p) { //use_ptr這個函數(shù)可以讀指針p所指向的對象,但是不可以修改該對象的值 }
const形參
如果函數(shù)使用的是非引用非const形參,則既可以給該它傳遞const實參,也可傳遞非const實參。
如果函數(shù)使用的是非引用const形參,也是既可以給該它傳遞const實參,也可傳遞非const實參。那么這兩者的差別是什么呢?對于后者,函數(shù)連實參的局部副本都不可以改變了。下面是第二種情況的一個例子: void fcn(const int i) {}
復制實參的局限性:復制實參不是在所有的情況下都適合,不是一復制實參的情況如下:
1.當需要在函數(shù)中修改實參的值時
2.當需要以大型對象作為實參傳遞時。對實際的應用而言,復制對象所付出的時間和存儲空間代價往往過大
3.當沒有辦法實現(xiàn)對象的復制時
對于上述幾種情況,有效的解決辦法是將形參定義為引用或指針類型。
(終于說完這個最簡單的傳遞方式了,╮(╯▽╰)╭)
2.引用形參
引用形參的用法:
1.讓函數(shù)修改實參的值
2.向主調函數(shù)返回額外的結果(本來return就可以返回一個值給主調函數(shù),而且引用參數(shù)可以改變實參的值,所以相當于返回了額外的結果)
3.利用const引用避免復制(當向函數(shù)傳遞大型對象時,需要使用引用來提高效率,如果使用引用形參的唯一目的是避免復制實參,則應將形參定義為const引用)
這是一個不適宜復制實參的例子,該函數(shù)希望交換兩個實參的值
void swap (int v1,int v2) { int tmp=v1; v2=v1; v1=tmp; }
這個例子期望改變實參本身的值,但是swap無法影響實參本身,執(zhí)行swap時,指示交換了其實參的局部副本,對實參根本沒有改變。解決的方法是:將形參定義為引用類型。
void swap (int &v1,int &v2) { int tmp=v1; v2=v1; v1=tmp; }
當調用swap(i,j)時,i和j的值才真正實現(xiàn)了交換。
更靈活的指向const的引用
應該將不需要修改的引用形參定義為const引用。普通的非const引用形參在使用時不大靈活。非const引用形參既不能用const對象初始化,也不能用字面值或者產(chǎn)生右值的表達式實參初始化。(如果函數(shù)的形參是非const引用形參,表示在函數(shù)體內可能會修改該形參值,即會修改實參的值,因此不可以用const對象來做實參傳遞給這樣的函數(shù),所以不靈活。)
傳遞指向指針的引用
如果想編寫一個與前面交換兩個整數(shù)的swap類似的函數(shù),實現(xiàn)兩個指針的交換。已知需用*定義指針,用&定義引用,問題在于,如何將這兩個操作符結合起來一獲得指向指針的引用。
//交換兩個指向整形的指針的值 void ptrswap(int *&v1,int *&v2) { int=*tmp=v2; v2=v1; v1=tmp; }
形參int *&v1的定義,應該從右至左的理解:v1是一個引用,與指向int型對象的指針相關聯(lián)。也就是說,v1只是傳遞ptrswap函數(shù)的任意指針的別名。
3.vector和其他容器類型的形參
由于復制vector會使得效率降低,多以如果形參是vector的話,我們常常將該形參聲明為引用,避免復制。另一種方法在C++中更為常用,就是通過傳遞指向容器中需要處理的元素的迭代器來傳遞容器。
4.數(shù)組形參
由于數(shù)組是不可以復制的,所以不可以定義使用數(shù)組類型形參的函數(shù)。如果函數(shù)需要使用數(shù)組作為形參,那么就要通過操縱指向數(shù)組中元素的指針來處理數(shù)組。
以下定義都是正確的:
void printValues(int*){} void printValues(int[]){} void printValues(int[10]){}
注意了,雖然不能直接傳遞數(shù)組,但是函數(shù)的形參可以寫成數(shù)組的形式。上面三種定義是等價的,形參類洗個都是int*。
通常,將數(shù)組形參直接定義為指針要比使用數(shù)組語法定義更好。這樣就明確地表示,函數(shù)操縱的是指向數(shù)組元素的指針,而不是數(shù)組本身。由于忽略了數(shù)組長度,形參定義中如果包含了數(shù)組長度則特別容易引起誤解。
對于非引用型形參來說,編譯器檢查數(shù)組形參關聯(lián)的實參時,它只會檢查實參是不是指針、指針的形參和數(shù)組元素的類型是否匹配,而不會檢查數(shù)組的長度,所以即使實參數(shù)組的長度與形參不匹配時,編譯也可以通過,但是在調用時會出錯。
但是對于引用型形參來說,編譯器還會檢查是西安數(shù)組的大小與形參的大小是否匹配,所以如果實參數(shù)組的長度與形參不匹配,編譯時就會報錯。
如何確保函數(shù)的操作不超出數(shù)組實參的邊界?
方法有三:
1.在數(shù)組本身放置一個標記來檢測數(shù)組的結束。C風格字符串就是采用這個方法的一個例子,它是一個字符數(shù)組,并且以空字符null作為結束的標記。處理C風格字符串的程序就是使用這個標記停止數(shù)組元素的處理。
2.使用標準庫規(guī)范,傳遞指向數(shù)組第一個和最后一個元素的下一個位置的指針。void printValues(const int *beg, const int *end){},如果定義int j[2]={0,1},在調用該函數(shù)時,printValues(j,j+2).
3.顯式傳遞表示數(shù)組大小的形參。void printValues(const int ia[], size_t size){}
5.可變形參
C++中的省略符形參是為了編譯使用了varargs的C語言程序。
void foo(parm_list,...); void foo(...);
以上這篇老生常談C++中實參形參的傳遞問題就是小編分享給大家的全部內容了,希望能給大家一個參考,也希望大家多多支持腳本之家。