C語(yǔ)言中的可變參數(shù)-printf的實(shí)現(xiàn)原理

C語(yǔ)言中的可變參數(shù)-printf的實(shí)現(xiàn)原理

在C/C++中，對(duì)函數(shù)參數(shù)的掃描是從后向前的。C/C++的函數(shù)參數(shù)是通過(guò)壓入堆棧的方式來(lái)給函數(shù)傳參數(shù)的（堆棧是一種先進(jìn)后出的數(shù)據(jù)結(jié)構(gòu)），最先壓入的參數(shù)最后出來(lái)，在計(jì)算機(jī)的內(nèi)存中，數(shù)據(jù)有2塊，一塊是堆，一塊是棧（函數(shù)參數(shù)及局部變量在這里），而棧是從內(nèi)存的高地址向低地址生長(zhǎng)的，控制生長(zhǎng)的就是堆棧指針了，最先壓入的參數(shù)是在最上面，就是說(shuō)在所有參數(shù)的最后面，最后壓入的參數(shù)在最下面，結(jié)構(gòu)上看起來(lái)是第一個(gè)，所以最后壓入的參數(shù)總是能夠被函數(shù)找到，因?yàn)樗驮诙褩Ｖ羔樀纳戏?。printf的第一個(gè)被找到的參數(shù)就是那個(gè)字符指針，就是被雙引號(hào)括起來(lái)的那一部分，函數(shù)通過(guò)判斷字符串里控制參數(shù)的個(gè)數(shù)來(lái)判斷參數(shù)個(gè)數(shù)及數(shù)據(jù)類型，通過(guò)這些就可算出數(shù)據(jù)需要的堆棧指針的偏移量了，下面給出printf("%d,%d",a,b);（其中a、b都是int型的）的匯編代碼.

? .section .data string out = "%d,%d" push b ?//最后的先壓入棧中 push a //最先的后壓入棧中 push $out//參數(shù)控制的那個(gè)字符串常量是最后被壓入的 call printf ? 你會(huì)看到，參數(shù)是最后的先壓入棧中，最先的后壓入棧中，參數(shù)控制的那個(gè)字符串常量是最后被壓入的，所以這個(gè)常量總是能被找到的。 ? 通常情況下函數(shù)可變參數(shù)表的長(zhǎng)度是已知的，通過(guò)num參數(shù)傳入，這種函數(shù)比較容易實(shí)現(xiàn)。 而printf函數(shù)的實(shí)現(xiàn)非常復(fù)雜因?yàn)?1）可變參數(shù)的個(gè)數(shù)不能輕易的得到 2）而可變參數(shù)的類型也不是固定的，需由格式字符串進(jìn)行識(shí)別（由%f、%d、%s等確定）
在這個(gè)函數(shù)中，需通過(guò)對(duì)傳入的格式字符串（首地址為lpStr）進(jìn)行識(shí)別來(lái)獲知可變參數(shù)個(gè)數(shù)及各個(gè)可變參數(shù)的類型，具體實(shí)現(xiàn)體現(xiàn)在for循環(huán)中。譬如，在識(shí)別為%d后，做的是va_arg ( vap, int )，而獲知為%l和%lf后則進(jìn)行的是va_arg ( vap, long )、va_arg ( vap, double )。格式字符串識(shí)別完成后，可變參數(shù)也就處理完了。 ? printf的簡(jiǎn)單實(shí)現(xiàn)： #include #include ? void myitoa(int n, char str[], int radix) { int i , j , remain; char tmp; i = 0; do { remain = n % radix; if(remain > 9) str[i] = remain ?- 10 + 'A'; else str[i] = remain + '0'; i++; }while(n /= radix); str[i] = '