C語言中的可變參數(shù)-printf的實(shí)現(xiàn)原理
C語言中的可變參數(shù)-printf的實(shí)現(xiàn)原理
在C/C++中,對函數(shù)參數(shù)的掃描是從后向前的。C/C++的函數(shù)參數(shù)是通過壓入堆棧的方式來給函數(shù)傳參數(shù)的(堆棧是一種先進(jìn)后出的數(shù)據(jù)結(jié)構(gòu)),最先壓入的參數(shù)最后出來,在計算機(jī)的內(nèi)存中,數(shù)據(jù)有2塊,一塊是堆,一塊是棧(函數(shù)參數(shù)及局部變量在這里),而棧是從內(nèi)存的高地址向低地址生長的,控制生長的就是堆棧指針了,最先壓入的參數(shù)是在最上面,就是說在所有參數(shù)的最后面,最后壓入的參數(shù)在最下面,結(jié)構(gòu)上看起來是第一個,所以最后壓入的參數(shù)總是能夠被函數(shù)找到,因?yàn)樗驮诙褩V羔樀纳戏?。printf的第一個被找到的參數(shù)就是那個字符指針,就是被雙引號括起來的那一部分,函數(shù)通過判斷字符串里控制參數(shù)的個數(shù)來判斷參數(shù)個數(shù)及數(shù)據(jù)類型,通過這些就可算出數(shù)據(jù)需要的堆棧指針的偏移量了,下面給出printf("%d,%d",a,b);(其中a、b都是int型的)的匯編代碼.
?
.section
.data
string out = "%d,%d"
push b ?//最后的先壓入棧中
push a //最先的后壓入棧中
push $out//參數(shù)控制的那個字符串常量是最后被壓入的
call printf
?
你會看到,參數(shù)是最后的先壓入棧中,最先的后壓入棧中,參數(shù)控制的那個字符串常量是最后被壓入的,所以這個常量總是能被找到的。
?
通常情況下函數(shù)可變參數(shù)表的長度是已知的,通過num參數(shù)傳入,這種函數(shù)比較容易實(shí)現(xiàn)。
而printf函數(shù)的實(shí)現(xiàn)非常復(fù)雜因?yàn)?1)可變參數(shù)的個數(shù)不能輕易的得到
2)而可變參數(shù)的類型也不是固定的,需由格式字符串進(jìn)行識別(由%f、%d、%s等確定)
在這個函數(shù)中,需通過對傳入的格式字符串(首地址為lpStr)進(jìn)行識別來獲知可變參數(shù)個數(shù)及各個可變參數(shù)的類型,具體實(shí)現(xiàn)體現(xiàn)在for循環(huán)中。譬如,在識別為%d后,做的是va_arg ( vap, int ),而獲知為%l和%lf后則進(jìn)行的是va_arg ( vap, long )、va_arg ( vap, double )。格式字符串識別完成后,可變參數(shù)也就處理完了。
?
printf的簡單實(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] = '