剖析C++ Sum函數(shù)獲取參數(shù)
在C++中的函數(shù)當(dāng)中，C++ Sum函數(shù)可以使用SUM來進行任何求和，但無法使用任何名稱訪問其他的幾個不定參數(shù)，但此時由于棧上其他的幾個參數(shù)實際恰好依序排列在參數(shù)SUM的高地址方向。
因此可以很簡單地通過num的地址計算出其他參數(shù)的地址。sum函數(shù)的實現(xiàn)如下：
- int sum(unsigned num, ...)
- {
- int* p = &num + 1;
- int ret = 0;
- while (num--)
- ret += *p++;
- return ret;
- }
在這里我們可以觀察到兩個事實：
(1)C++ Sum函數(shù)獲取參數(shù)的量僅取決于num參數(shù)的值，因此，如果num參數(shù)的值不等于實際傳遞的不定參數(shù)的數(shù)量，那么C++ Sum函數(shù)可能取到錯誤的或不足的參數(shù)。
(2)cdecl調(diào)用慣例保證了參數(shù)的正確清除。我們知道有些調(diào)用慣例(如stdcall)是由被調(diào)用方負(fù)責(zé)清除堆棧的參數(shù)，然而，被調(diào)用方在這里其實根本不知道有多少參數(shù)被傳遞進來，所以沒有辦法清除堆棧。而cdecl恰好是調(diào)用方負(fù)責(zé)清除堆棧，因此沒有這個問題。
printf的不定參數(shù)比sum要復(fù)雜得多，因為printf的參數(shù)不僅數(shù)量不定，而且類型也不定。所以printf需要在格式字符串中注明參數(shù)的類型，例如用%d表明是一個整數(shù)。printf里的格式字符串如果將類型描述錯誤，因為不同參數(shù)的大小不同，不僅可能導(dǎo)致這個參數(shù)的輸出錯誤，還有可能導(dǎo)致其后的一系列參數(shù)錯誤。
- #define va_list char*
- #define va_start(ap,arg) (ap=(va_list)&arg+sizeof(arg))
- #define va_arg(ap,t) (*(t*)((ap+=sizeof(t))-sizeof(t)))
- #define va_end(ap) (ap=(va_list)0)
- printf的狂亂輸出
- #include
- int main()
- {
- printf("%lf\t%d\t%c\n", 1, 666, 'a');
- }
在這個程序里，printf的第一個輸出參數(shù)是一個int(4字節(jié))，而我們告訴printf它是一個double(8字節(jié)以上)，因此C++ Sum函數(shù)的輸出會錯誤，由于printf在讀取double的時候?qū)嶋H造成了越界，因此后面幾個參數(shù)的輸出也會失敗。
在很多時候我們希望在定義宏的時候也能夠像print一樣可以使用變長參數(shù)，即宏的參數(shù)可以是任意個，這個功能可以由編譯器的變長參數(shù)宏實現(xiàn)。在GCC編譯器下，變長參數(shù)宏可以使用“##”宏字符串連接操作實現(xiàn)。
【編輯推薦】
