轉自:http://blog.csdn.net/arong1234/archive/2008/05/18/2456455.aspx
不定參數當年做爲C/C++語言一個特長被很多人推崇，但是實際上這種技術並沒有應用很多。除了格式化輸出之外，我實在沒看到多少應用。主要原因是這種技術比較麻煩，副作用也比較多，而一般情況下重載函數也足以替換它。儘管如此，既然大家對它比較感興趣，我就簡單總結一下它的使用和需要注意的常見問題。
原理
剛學C語言的時候，一般人都會首先接觸printf函數。通過這個函數，你可以打印不定個數的變量到屏幕，如：
printf("%d", 3);
printf("%d,%d",3,4);
上述代碼看似簡單，實際上卻需要我們解決許多問題。在我們設計printf的時候，我們是不知道到底會傳入幾個參數的。在這種未知的情況下，我們需要解決下面幾個問題：
- 怎麼告訴printf我們會傳入幾個參數
- printf怎麼去訪問這些參數
- 函數調用完成後，系統怎麼把參數從傳遞用的堆棧中釋放
爲了解決這些問題，我們首先要解釋cdecl調用約定（參見論調用約定），所有使用不定參數的函數必須是使用cdecl（全局函數）或者this call（類成員函數）調用約定。該約定對於參數傳遞規定如下：
- 參數從右向左入棧（也就是如果你調用f(a,b,c)，則c先入棧，然後是b，最後是a入棧）
- 調用者負責清理堆棧
其中第二點直接解決了前面三個問題中的第三個問題。我們來詳細說說其他兩個問題。
確定參數的個數
在一個函數中，一般有如下prolog代碼：
00401020 push ebp
00401021 mov ebp,esp
00401023 sub esp,48h
執行上述代碼之後，func(a,b,c)函數所處的堆棧上下文就變成如下佈局：
其中，ebp指向保存舊的ebp的堆棧內存的下一個字的地址，ebp＋8指向eip地址，ebp+12則指向函數調用的第一個參數，而ebp和esp之間是用於臨時變量（也就是堆棧變量）的空間。
注意，由於上述prolog代碼的存在，我們很容易通過ebp得到第一個參數的地址，對於不定參數列表之前的類型固定的參數，我們也可以根據類型信息得到其實際的位置（例如，第一個參數的位置偏移第一個參數的大小，就是第二個參數的地址)。
注意不定參數函數有個限制，就是不定參數的列表必須在整個函數的參數列表的最後。我們不可以定義如下的函數：
void func(int a, ..., int c)
所有類型固定的參數都必須出現在參數列表的開始。這樣根據前面的論述，我們就可以得到所有類型固定的參數。
在設計具有不定參數列表的函數的時候，我們有兩種方法來確定到底多少參數會被傳遞進來。
方法1是在類型固定的參數中指明後面有多少個參數以及他們的類型。printf就是採用的這種方法，它的format參數指明後面每個參數的類型。
方法2是指定一個結束參數。這種情況一般是不定參數擁有同樣的類型，我們可以指定一個特定的值來表示參數列表結束。下面這個sum函數就是一個例子：
int sumi(int c, ...)
{
va_list ap; va_start(ap,c); int i; int sum = c; c = va_arg(ap,int); while(0!=c)
{ sum = sum+c; c = va_arg(ap,int);
} return sum;
}使用這個函數的代碼爲：
int main(int argc, char* argv[]){ int i=sumi(1,2,3,4,5,6,7,8,9,0); return 0;}訪問各個參數
其實前文已經告訴我們怎麼去訪問不定參數。va_start和va_arg函數可以被結合起來用於依次訪問每個函數，他們實際上都是宏函數。
在vc6，va_start函數定義爲：
#define _INTSIZEOF(n) ( (sizeof(n) + sizeof(int) - 1) & ~(sizeof(int) - 1) )#define va_start(ap,v) ( ap = (va_list)&v + _INTSIZEOF(v) )其中_INTSIZEOF(n)計算比n大的sizeof(int)的最小倍數，如果n=101，則_INTSIZEOF(n)爲104。
va_start執行完畢後，ap指向變量v後第一個4字節對齊的地址。例如，v的地址爲0x123456, v的大小爲13，則v後面的下一個與字邊界對齊的地址爲0x123456+0x0D=0x123463再調整爲與4字節對齊的下一個地址，也就是0x123464.
va_arg函數定義爲：
#define va_arg(ap,t) ( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) )分析與va_start一樣，它的結果是使ap指向當前變量的下一個變量。
這樣，我們只要在開始時使用va_start把不定參數列表賦值給ap，然後依次用va_arg獲得不同參數即可。
潛在問題
使用不定參數列表，有兩個問題特別需要注意。
問題1的理解相對簡單：我們在重載一個函數的時候，不能依賴不定參數列表部分對函數進行區分。
假定我們定義兩個重載函數如下：
int func(int a, int b, ...)
int func(int a, int b, float c);
則上述函數會導致編譯器不知道怎麼去解釋func(1,2, 3.3)，因爲當第三個參數爲浮點數時，兩個實現都可以滿足匹配要求。一般情況，個人建議對於不定參數函數不要去做重載。
另外一個問題是關於類型問題。絕大多數情況下，C和C＋＋的變量都是強類型的，而不定參數列表屬於一個特例。
當我們調用va_arg的時候，我們指明下一個參數的類型，而在執行的時候，va_arg正是根據這個信息在堆棧上來找到對應的參數的。如果我們需要的類型和真實傳遞進來的參數完全一致時自然沒有問題，但是假如類型不一樣，則會有大麻煩。
假如上面的的sumi函數，我們用下面方法調用：
int sum = sumi(1, 2.2, 3, 0)注意第二個參數我們傳入了一個double類型的2.2，我們希望sumi在做加法時可以做隱式類型轉換，轉換爲int進行計算。但是實際情況時，當我們分析到這個參數時，調用的是：
c=va_arg(ap,int)根據前文va_arg的定義，這個宏被翻譯成：
#define va_arg(ap,t) ( *(int *)((ap += _INTSIZEOF(int)) - _INTSIZEOF(int)) )如果後面的+=計算出正確的地址，最後就變成
如果希望能得到正確的整數值，必須要求addr所在的地址是一個真實的int類型。但是當我們傳入double時，實際上其內存佈局和int完全不同，因此我們得不到需要的整數。感興趣的朋友可以用下面簡單的代碼做測試：
double a;a=1.1;int b = *(int*) & a;因此，當我們調用有不定參數列表的函數時，不要期望系統做隱式類型轉換，系統不會做這種檢查或者轉換，你給的參數類型必須嚴格和你希望的值一樣。
