關於C++中實參形參的傳遞問題
這裡說的傳遞當然是指 實參是如何傳遞給形參的啦
還挺複雜的~~~~~~~~⊙﹏⊙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(...);