函數中參數的傳遞

這里說的傳遞當然是指 實參是如何傳遞給形參的啦

還挺復雜的~~~~~~~~⊙﹏⊙b汗，這里講述了4種參數傳遞的情況和注意事項：

1.非引用形參

這是最普通，也是最簡單的形參傳遞了。

參數傳遞，即是使用實參副本（注意啊，是副本，不是實參本身）來初始化形參；

因此，在函數體內對形參的修改不會影響實參的值。

如果形參是指針類型的，那么函數體內是否可以修改指針所指向的對象的值呢？

如果您產生這樣的疑問，表示您很有想法~~~

答案是~~~需要分情況討論。

如果函數的形參是非const類型的指針，則函數可以通過指針實現賦值，修改指針所指向對象的值。

所以，如果需要保護指針指向的值，則形參需定義為指向const對象的指針（注意了，這里的指針依然是非const型的，只是其指向的對象是const型的）：

void use_ptr(const int *p){     //use_ptr這個函數可以讀指針p所指向的對象，但是不可以修改該對象的值}

const形參

如果函數使用的是非引用非const形參，則既可以給該它傳遞const實參，也可傳遞非const實參。

如果函數使用的是非引用const形參，也是既可以給該它傳遞const實參，也可傳遞非const實參。那么這兩者的差別是什么呢？對于后者，函數連實參的局部副本都不可以改變了。下面是第二種情況的一個例子： void fcn(const int i) {}

復制實參的局限性：復制實參不是在所有的情況下都適合，不是一復制實參的情況如下：

1.當需要在函數中修改實參的值時

2.當需要以大型對象作為實參傳遞時。對實際的應用而言，復制對象所付出的時間和存儲空間代價往往過大

3.當沒有辦法實現對象的復制時

對于上述幾種情況，有效的解決辦法是將形參定義為引用或指針類型。

（終于說完這個最簡單的傳遞方式了，╮(╯▽╰)╭）

2.引用形參

引用形參的用法：

1.讓函數修改實參的值

2.向主調函數返回額外的結果（本來return就可以返回一個值給主調函數，而且引用參數可以改變實參的值，所以相當于返回了額外的結果）

3.利用const引用避免復制（當向函數傳遞大型對象時，需要使用引用來提高效率，如果使用引用形參的唯一目的是避免復制實參，則應將形參定義為const引用）

這是一個不適宜復制實參的例子，該函數希望交換兩個實參的值

    void swap (int v1,int v2)    {      int tmp=v1;      v2=v1;      v1=tmp;    }

這個例子期望改變實參本身的值，但是swap無法影響實參本身，執行swap時，指示交換了其實參的局部副本，對實參根本沒有改變。解決的方法是：將形參定義為引用類型。

void swap (int &v1,int &v2){      int tmp=v1;      v2=v1;      v1=tmp;}

當調用swap（i,j）時，i和j的值才真正實現了交換。

更靈活的指向const的引用

應該將不需要修改的引用形參定義為const引用。普通的非const引用形參在使用時不大靈活。非const引用形參既不能用const對象初始化，也不能用字面值或者產生右值的表達式實參初始化。（如果函數的形參是非const引用形參，表示在函數體內可能會修改該形參值，即會修改實參的值，因此不可以用const對象來做實參傳遞給這樣的函數，所以不靈活。）

傳遞指向指針的引用

如果想編寫一個與前面交換兩個整數的swap類似的函數，實現兩個指針的交換。已知需用*定義指針，用&定義引用，問題在于，如何將這兩個操作符結合起來一獲得指向指針的引用。

//交換兩個指向整形的指針的值void ptrswap(int *&v1,int *&v2){       int=*tmp=v2;       v2=v1;       v1=tmp; }

形參int *&v1的定義，應該從右至左的理解：v1是一個引用，與指向int型對象的指針相關聯。也就是說，v1只是傳遞ptrswap函數的任意指針的別名。

3.vector和其他容器類型的形參

由于復制vector會使得效率降低，多以如果形參是vector的話，我們常常將該形參聲明為引用，避免復制。另一種方法在C++中更為常用，就是通過傳遞指向容器中需要處理的元素的迭代器來傳遞容器。

4.數組形參

由于數組是不可以復制的，所以不可以定義使用數組類型形參的函數。如果函數需要使用數組作為形參，那么就要通過操縱指向數組中元素的指針來處理數組。

以下定義都是正確的：

void printValues(int*){}void printValues(int[]){}void printValues(int[10]){}

注意了，雖然不能直接傳遞數組，但是函數的形參可以寫成數組的形式。上面三種定義是等價的，形參類洗個都是int*。

通常，將數組形參直接定義為指針要比使用數組語法定義更好。這樣就明確地表示，函數操縱的是指向數組元素的指針，而不是數組本身。由于忽略了數組長度，形參定義中如果包含了數組長度則特別容易引起誤解。

對于非引用型形參來說，編譯器檢查數組形參關聯的實參時，它只會檢查實參是不是指針、指針的形參和數組元素的類型是否匹配，而不會檢查數組的長度，所以即使實參數組的長度與形參不匹配時，編譯也可以通過，但是在調用時會出錯。

但是對于引用型形參來說，編譯器還會檢查是西安數組的大小與形參的大小是否匹配，所以如果實參數組的長度與形參不匹配，編譯時就會報錯。

如何確保函數的操作不超出數組實參的邊界？

方法有三：

1.在數組本身放置一個標記來檢測數組的結束。C風格字符串就是采用這個方法的一個例子，它是一個字符數組，并且以空字符null作為結束的標記。處理C風格字符串的程序就是使用這個標記停止數組元素的處理。

2.使用標準庫規范，傳遞指向數組第一個和最后一個元素的下一個位置的指針。void printValues(const int *beg, const int *end){}，如果定義int j[2]={0,1},在調用該函數時，printValues(j,j+2).

3.顯式傳遞表示數組大小的形參。void printValues(const int ia[], size_t size){}

5.可變形參

C++中的省略符形參是為了編譯使用了varargs的C語言程序。

void foo(parm_list,...);void foo(...);

以上這篇老生常談C++中實參形參的傳遞問題就是小編分享給大家的全部內容了，希望能給大家一個參考，也希望大家多多支持VEVB武林網。