不定參數(shù)在C語言中的應(yīng)用

剛學(xué)C語言的時(shí)候，一般人都會(huì)首先接觸printf函數(shù)。通過這個(gè)函數(shù)，你可以打印不定個(gè)數(shù)的變量到屏幕，如：

printf（%d， 3）；

printf（%d，%d，3，4）；

上述代碼看似簡單，實(shí)際上卻需要我們解決許多問題。在我們?cè)O(shè)計(jì)printf的時(shí)候，我們是不知道到底會(huì)傳入幾個(gè)參數(shù)的。在這種未知的情況下，我們需要解決下面幾個(gè)問題：

怎么告訴printf我們會(huì)傳入幾個(gè)參數(shù)

printf怎么去訪問這些參數(shù)

函數(shù)調(diào)用完成后，系統(tǒng)怎么把參數(shù)從傳遞用的堆棧中釋放

為了解決這些問題，我們首先要解釋cdecl調(diào)用約定，所有使用不定參數(shù)的函數(shù)必須是使用cdecl（全局函數(shù)）或者this call（類成員函數(shù)）調(diào)用約定。該約定對(duì)于參數(shù)傳遞規(guī)定如下：

參數(shù)從右向左入棧（也就是如果你調(diào)用f（a，b，c），則c先入棧，然后是b，最后是a入棧）

調(diào)用者負(fù)責(zé)清理堆棧

其中第二點(diǎn)直接解決了前面三個(gè)問題中的第三個(gè)問題。我們來詳細(xì)說說其他兩個(gè)問題。

確定參數(shù)的個(gè)數(shù)

在一個(gè)函數(shù)中，一般有如下prelog代碼：

00401020 push ebp

00401021 mov ebp，esp

00401023 sub esp，48h

執(zhí)行上述代碼之后，func（a，b，c）函數(shù)所處的堆棧上下文就變成如下布局：



其中，ebp指向保存舊的ebp的堆棧內(nèi)存的下一個(gè)字的地址，ebp＋8指向eip地址，ebp+12則指向函數(shù)調(diào)用的第一個(gè)參數(shù)，而ebp和esp之間是用于臨時(shí)變量（也就是堆棧變量）的空間。

注意，由于上述prelog代碼的存在，我們很容易通過ebp得到第一個(gè)參數(shù)的地址，對(duì)于不定參數(shù)列表之前的類型固定的參數(shù)，我們也可以根據(jù)類型信息得到其實(shí)際的位置（例如，第一個(gè)參數(shù)的位置偏移第一個(gè)參數(shù)的大小，就是第二個(gè)參數(shù)的地址）。

注意不定參數(shù)函數(shù)有個(gè)限制，就是不定參數(shù)的列表必須在整個(gè)函數(shù)的參數(shù)列表的最后。我們不可以定義如下的函數(shù)：

void func（int a， ……， int c）

所有類型固定的參數(shù)都必須出現(xiàn)在參數(shù)列表的開始。這樣根據(jù)前面的論述，我們就可以得到所有類型固定的參數(shù)。

在設(shè)計(jì)具有不定參數(shù)列表的函數(shù)的時(shí)候，我們有兩種方法來確定到底多少參數(shù)會(huì)被傳遞進(jìn)來。

方法1是在類型固定的參數(shù)中指明后面有多少個(gè)參數(shù)以及他們的類型。printf就是采用的這種方法，它的format參數(shù)指明后面每個(gè)參數(shù)的類型。

方法2是指定一個(gè)結(jié)束參數(shù)。這種情況一般是不定參數(shù)擁有同樣的類型，我們可以指定一個(gè)特定的值來表示參數(shù)列表結(jié)束。下面這個(gè)sum函數(shù)就是一個(gè)例子：