C++Tricks2.6I386 平臺 C 函數的可變參數表 (Variable Arguments) 從 farseerfc.wordpress.com 導

Size: px

Start display at page:

Download "C++Tricks2.6I386 平臺 C 函數的可變參數表 (Variable Arguments) 從 farseerfc.wordpress.com 導"

郦弹封
4 years ago
Views:

1 C++Tricks2.6I386 平臺 C 函數的可變參數表 (Variable Arguments) 從 farseerfc.wordpress.com 導

2 2.6I386 平臺 C 函數的可變參數表 (Variable Arguments) 基於前 (2.4 節 ) 分析, 我們可以不通過函數簽名, 直接通過指針運算, 來得到函數的參數由於參數的壓棧和彈出操作都由主調函數進, 所以被調函數對於參數的真實數量不需要知曉因此, 函數簽名中的變量聲明不是必需的爲了持這種參數使形式,C 語提供可變參數表可變參數表的語法形式是在參數表末尾添加三個句點形成的省略號... : voidg(inta,char*c,...); 省略號之前的逗號是可選的, 並不影響詞法語法分析上的函數 g 可以接受 2 個或 2 個以上的參數, 前兩個參數的類型固定, 其後的參數類型未知, 參數的個數也未知爲了知道參數個數, 我們必須通過其他法, 如通過第個參數傳遞 : g(3, Hello,2,4,5);// 調 g 並傳遞 5 個參數, 其中後 3 個爲可變參數在函數的實現代碼中, 可以通過 2.4 節敘述的, 參數在棧中的排列順序, 來訪問位於可變參數表的參數如 : voidg(inta,char*c...){

3 void*pc=&c;int*pi=static_cast<int*>(pc)+1;// 將 pi 指向個可變參數 for(inti=0;i<a;i++)std::cout<<pi[i]<< ; std::cout<<c<<std::endl; 我們甚可以讓個函數的所有參數都是可變參數, 只要有辦法獲知參數的數量即可如, 我們約定, 在傳遞給 addall 的參數都是 int, 並且最後個以 0 結束 : intaddall(...); inta=f(1,4,2,5,7,0); 那麼 addall 可以這樣實現 : intaddall(...){ intsum=0;int*p= //p 指向第個局部變量數 p+=3;// 跳過 sum,ebp,eip, 現在 p 指向第個參 for(;*p;++p)// 如果 p 不指向 0 就繼續循環 sum+=*p; returnsum;

4 可變參數表的最廣泛應是 C 的標準庫函數中的格式化輸輸出 :printf 和 scanf voidprintf(char*c,...); voidscanf(char*c,...); 兩者都通過它的個參數指出後續參數表中的參數類型和參數數量如果可變參數表中的參數類型不樣, 那麼操縱可變參數表就需要複雜的指針運算, 並且還要時刻注意邊界對 (align) 問題, 常令頭痛好在 C 標準庫提供了於操縱可變參數表的宏 (macro) 和結構 (struct), 他們被定義在庫件 stdarg.h 中 : typedefstruct{char*p;intoffset;va_list; #defineva_start(valist,arg) #defineva_arg(valist,type) #defineva_end(valist) 其中結構 va_list 於指參數在棧中的位置, 宏 va_start 接受個 va_list 和函數的可變參數表之前的參數, 通過第個參數初始化 va_list 中的相應數據, 因此要使 stdarg.h 中的宏, 你的可變參數表的函數必須少有個具名參數 va_arg 返回下個類型爲 type 的參數,va_end 結束可變參數表的使還是以上的 addall 爲例, 這次寫出它的使標準宏的版本 : intaddall(inti,...)

5 { va_listvl;// 定義個 va_list 結構 va_start(vl,i);// 省略號之前的參數初始化 vl if(i=0)return0;// 如果第個參數就是 0, 返回 intsum=i;// 將第個參數加 sum for(;;){ i=va_arg(vl,int);// 取得下個參數, 類型是 sum if(i==0)break;// 如果參數是 0, 跳出循環 sum+=i; va_end(vl); returnsum; 可以看出, 如果參數類型致, 使標準庫要多些幾代碼不過如果參數類型不致或者未知 (printf 的情況 ), 使標準庫就要便很多, 因爲我們很難猜出編譯器處置邊界對 (align) 等彙編代碼的細節使標準庫的代碼是可以移植的, 使上所述的其它法操縱可變參數表都是不可移植的, 僅限於在 I386 平臺上使

6 縱使可變參數表有使上的便利性, 它的缺陷也有很多, 不可移植性和平臺依賴性只是其, 最的問題在於它的類型不安全性使可變參數表就意味着編譯器不對參數作任何類型檢查, 這在 C 中算是難盡的歷史遺留問題, 在 C++ 中就意味着惡魔 reinterpret_cast 被你喚醒 C 的可變參數表是 C++ 代碼錯誤頻發的根源之, 以於 C++ 標準將可變參數表列爲即將被廢除的 C 語遺留特性 C++ 語法中的許多新特性, 如重載函數默認參數值模板, 都可以定程度上替代可變參數表, 並且可變參數表更加安全可變參數表在 C++ 中惟值得嘉獎的貢獻, 是在模板元編程 (TMP) 的 SFINAE 技術中利可變參數表製作最差匹配重載根據 C++ 標準中有關函數重載決議的規則, 具有可變參數表的函數總是最差匹配, 編譯器在被逼無奈頭無路時纔會選擇可變參數表利這點, 我們可以精製作重載函數來提取類型信息如, 要判斷個通過模板傳遞來的類型是不是 int: longisintimp(int); charisintimp(...); template<typenamet> structisint { enum{value=sizeof(isintimp(t()))==sizeof(long);

7 寫然後, 在個具有模板參數 T 的函數中, 我們就可以 if(isint<t>::value)//... 在這個 ( 不怎麼精緻的 ) 例中, 如果 T 是 int, 那麼 isintimp 的第個重載版本就會被選中, 返回值類型就是 long, 這樣 value 就爲 1 否則, 編譯器只能選中第個具有可變參數表的重載版本, 返回值類型成爲 char, 這樣 value 就爲 0 把它說得再明些, 上的代碼所表達的意思是 : 如果類型 T 是 int, 那它就是 int, 否則它就不是 int, 呵呵簡單吧這種通過重載決議規則來提取類型信息的技術, 在模板元編程中被稱作 SFINAE, 它和其它模板元編程技術被廣泛運於 STL Boost 等模板庫的開發實現之中值得注意的是, 在上 SFINAE 的運中,isIntImp 並沒有出現定義只提供了聲明, 因爲我們並沒有實際調 isintimp 函數, 只是讓它參與重載決議並 sizeof 判斷其返回值類型這是 C++ 的個設計準則的完美體現 : 不需要的東可以不出現由於這準則, 我們避免了在 C++ 中調具有可變參數表的函數這危險舉動, 僅僅利了可變參數表在語法分析過程中的特殊地位, 這種對於危險語特性的巧妙利是善意無害的

2003 1,,,,,,1902,1905 3, 1911,11, 4,641,, :,,,,, :,,,,,1930,,,, (1910 1977), (1903 1977) (1885 1967) 1936 4 3, 3 25 :, 1963,1 :,1972,497 :, 25,1937 3,

(1848 1905), 1877 12,,, 1879 :,,,,,,,,,,,,?,,, (,1827 1902), 1891, : 267 2003 1,,,,,,1902,1905 3, 1911,11, 4,641,, :,,,,, :,,,,,1930,,,, (1910 1977), (1903 1977) (1885 1967) 1936 4 3, 3 25 :, 1963,1 :,1972,497