- 相關(guān)推薦
C語(yǔ)言的可變參數(shù)問(wèn)題
C語(yǔ)言中有一種長(zhǎng)度不確定的參數(shù)，形如："…"，它主要用在參數(shù)個(gè)數(shù)不確定的函數(shù)中，我們最容易想到的例子是printf函數(shù)。下面就來(lái)一起看看C語(yǔ)言的可變參數(shù)問(wèn)題吧。
原型：
| int printf( const char *format [, argument]... ); |
使用例：
| printf("Enjoy yourself everyday!
"); printf("The value is %d! ", value); |
這種可變參數(shù)可以說(shuō)是C語(yǔ)言一個(gè)比較難理解的部分，這里會(huì)由幾個(gè)問(wèn)題引發(fā)一些對(duì)它的分析。
注意：在C++中有函數(shù)重載（overload）可以用來(lái)區(qū)別不同函數(shù)參數(shù)的調(diào)用，但它還是不能表示任意數(shù)量的函數(shù)參數(shù)。
問(wèn)題：printf的實(shí)現(xiàn)
請(qǐng)問(wèn)，如何自己實(shí)現(xiàn)printf函數(shù)，如何處理其中的可變參數(shù)問(wèn)題？ 答案與分析：
在標(biāo)準(zhǔn)C語(yǔ)言中定義了一個(gè)頭文件
| typedef char* va_list; #define va_start(list) list = (char*)&va_alist #define va_end(list) #define va_arg(list, mode) ((mode*) (list += sizeof(mode)))[-1] 自己實(shí)現(xiàn)printf： #include <stdarg.h> int printf(char* format, …) { va_list ap; va_start(ap, format); int n = vprintf(format, ap); va_end(ap); return n; } |
問(wèn)題：運(yùn)行時(shí)才確定的參數(shù)
有沒有辦法寫一個(gè)函數(shù)，這個(gè)函數(shù)參數(shù)的具體形式可以在運(yùn)行時(shí)才確定？
答案與分析：
目前沒有"正規(guī)"的解決辦法，不過(guò)獨(dú)門偏方倒是有一個(gè)，因?yàn)橛幸粋�(gè)函數(shù)已經(jīng)給我們做出了這方面的榜樣，那就是main()，它的原型是:
| int main(int argc,char *argv[]); |
函數(shù)的參數(shù)是argc和argv。
深入想一下，"只能在運(yùn)行時(shí)確定參數(shù)形式"，也就是說(shuō)你沒辦法從聲明中看到所接受的參數(shù)，也即是參數(shù)根本就沒有固定的形式。常用的辦法是你可以通過(guò)定義一個(gè)void *類型的參數(shù)，用它來(lái)指向?qū)嶋H的參數(shù)區(qū)，然后在函數(shù)中根據(jù)根據(jù)需要任意解釋它們的含義。這就是main函數(shù)中argv的含義，而argc，則用來(lái)表明實(shí)際的參數(shù)個(gè)數(shù)，這為我們使用提供了進(jìn)一步的方便，當(dāng)然，這個(gè)參數(shù)不是必需的。
雖然參數(shù)沒有固定形式，但我們必然要在函數(shù)中解析參數(shù)的意義，因此，理所當(dāng)然會(huì)有一個(gè)要求，就是調(diào)用者和被調(diào)者之間要對(duì)參數(shù)區(qū)內(nèi)容的格式，大小，有效性等所有方面達(dá)成一致，否則南轅北轍各說(shuō)各話就慘了。
問(wèn)題：可變長(zhǎng)參數(shù)的傳遞
有時(shí)候，需要編寫一個(gè)函數(shù)，將它的可變長(zhǎng)參數(shù)直接傳遞給另外的函數(shù)，請(qǐng)問(wèn)，這個(gè)要求能否實(shí)現(xiàn)？
答案與分析：
目前，你尚無(wú)辦法直接做到這一點(diǎn)，但是我們可以迂回前進(jìn)，首先，我們定義被調(diào)用函數(shù)的參數(shù)為va_list類型，同時(shí)在調(diào)用函數(shù)中將可變長(zhǎng)參數(shù)列表轉(zhuǎn)換為va_list，這樣就可以進(jìn)行變長(zhǎng)參數(shù)的傳遞了�？慈缦滤荆�
| void subfunc (char *fmt, va_list argp) { ... arg = va_arg (fmt, argp); /* 從argp中逐一取出所要的參數(shù) */ ... } void mainfunc (char *fmt, ...) { va_list argp; va_start (argp, fmt); /* 將可變長(zhǎng)參數(shù)轉(zhuǎn)換為va_list */ subfunc (fmt, argp); /* 將va_list傳遞給子函數(shù) */ va_end (argp); ... } |
問(wèn)題：可變長(zhǎng)參數(shù)中類型為函數(shù)指針
我想使用va_arg來(lái)提取出可變長(zhǎng)參數(shù)中類型為函數(shù)指針的參數(shù)，結(jié)果卻總是不正確，為什么？
答案與分析：
這個(gè)與va_arg的實(shí)現(xiàn)有關(guān)。一個(gè)簡(jiǎn)單的、演示版的va_arg實(shí)現(xiàn)如下：
| #define va_arg(argp, type) (*(type *)(((argp) += sizeof(type)) - sizeof(type))) |
其中，argp的類型是char *。
如果你想用va_arg從可變參數(shù)列表中提取出函數(shù)指針類型的參數(shù)，例如
| int (*)()，則va_arg(argp, int (*)())被擴(kuò)展為： (*(int (*)() *)(((argp) += sizeof (int (*)())) -sizeof (int (*)()))) |
顯然，（int (*)() *）是無(wú)意義的。
解決這個(gè)問(wèn)題的辦法是將函數(shù)指針用typedef定義成一個(gè)獨(dú)立的數(shù)據(jù)類型，例如：
| typedef int (*funcptr)()； |
這時(shí)候再調(diào)用va_arg(argp, funcptr)將被擴(kuò)展為：
| (* (funcptr *)(((argp) += sizeof (funcptr)) - sizeof (funcptr))) |
這樣就可以通過(guò)編譯檢查了。
問(wèn)題：可變長(zhǎng)參數(shù)的獲取
有這樣一個(gè)具有可變長(zhǎng)參數(shù)的函數(shù)，其中有下列代碼用來(lái)獲取類型為float的實(shí)參：
| va_arg (argp, float); |
這樣做可以嗎？
答案與分析：
不可以。在可變長(zhǎng)參數(shù)中，應(yīng)用的是"加寬"原則。也就是float類型被擴(kuò)展成double；char, short被擴(kuò)展成int。因此，如果你要去可變長(zhǎng)參數(shù)列表中原來(lái)為float類型的參數(shù)，需要用va_arg(argp, double)。對(duì)char和short類型的則用va_arg(argp, int)。
問(wèn)題：定義可變長(zhǎng)參數(shù)的一個(gè)限制
為什么我的編譯器不允許我定義如下的函數(shù)，也就是可變長(zhǎng)參數(shù)，但是沒有任何的固定參數(shù)？
| int f (...) { ... } |
答案與分析：
不可以。這是ANSI C 所要求的，你至少得定義一個(gè)固定參數(shù)。
這個(gè)參數(shù)將被傳遞給va_start()，然后用va_arg()和va_end()來(lái)確定所有實(shí)際調(diào)用時(shí)可變長(zhǎng)參數(shù)的類型和值。
【C語(yǔ)言的可變參數(shù)問(wèn)題】相關(guān)文章：
C語(yǔ)言中編寫可變參數(shù)函數(shù)09-28
C語(yǔ)言中實(shí)現(xiàn)參數(shù)個(gè)數(shù)可變函數(shù)11-12
C語(yǔ)言函數(shù)參數(shù)傳遞問(wèn)題10-17
C語(yǔ)言中參數(shù)的傳值問(wèn)題考題08-22
C語(yǔ)言中參數(shù)的傳值問(wèn)題考題詳解10-08
C語(yǔ)言main函數(shù)的參數(shù)07-25
C語(yǔ)言函數(shù)參數(shù)傳遞規(guī)律10-12
C語(yǔ)言函數(shù)調(diào)用與參數(shù)傳遞08-05
關(guān)于淺談C語(yǔ)言函數(shù)調(diào)用參數(shù)壓棧的相關(guān)問(wèn)題11-03