C++編程中實(shí)現(xiàn)可變參數(shù)函數(shù)有多種途徑，本文介紹一種最常見的實(shí)現(xiàn)途徑，即可變參數(shù)宏方法：形參生命為省略符，函數(shù)實(shí)現(xiàn)時用參數(shù)列表宏訪問參數(shù)。

1. 可變參數(shù)宏實(shí)現(xiàn)變參函數(shù)

可變參數(shù)宏實(shí)現(xiàn)可分為以下幾個步驟：

1. 函數(shù)形參原型中給出省略符；
2. 函數(shù)實(shí)現(xiàn)中聲明一個va_list可變參數(shù)列表變量；
3. 開始初始化構(gòu)造va_list變量；
4. 訪問變參列表；
5. 完成清理工作；
   

上述步驟的實(shí)現(xiàn)需要使用到四個宏：

1. va_list
2. void va_start(va_list ap, last_arg)
3. type va_arg (va_list ap, type)
4. void va_end(va_list ap)
   

va_list 是在C語言中解決變參問題的一組宏

void va_start(va_list ap, last_arg)

ap ：是一個 va_list 類型的對象，它用來存儲通過 va_arg 獲取額外參數(shù)時所必需的信息。

last_arg ：是最后一個傳遞給函數(shù)的已知的固定參數(shù)，即省略號之前的參數(shù)。

宏定義：type va_arg (va_list ap, type)

該宏用于變參數(shù)函數(shù)調(diào)用過程中，type是當(dāng)前參數(shù)類型，調(diào)用該宏后，ap指向變參數(shù)列表中的下一個參數(shù)，返回ap指向的參數(shù)值，是一個類型為type的表達(dá)式。 ap是arg_ptr參數(shù)指針之意。

void va_end(va_list ap)

允許使用了 va_start 宏的帶有可變參數(shù)的函數(shù)返回。如果在從函數(shù)返回之前沒有調(diào)用 va_end，則結(jié)果為未定義。
這些宏在頭文件stdarg.h中聲明定義。因此使用時需要包含該頭文件。

下面給出用法示例：

#include <stdarg.h>

//可變參數(shù)函數(shù)sum(),求任意個數(shù)整數(shù)的和。

//Step1: 函數(shù)形參原型中給出省略符
int Sum(int count, ...);

int Sum(int count, ...) {
 //Step2: 函數(shù)實(shí)現(xiàn)中聲明一個va_list可變參數(shù)列表變量；
 va_list ap;
 //Step3: 開始初始化構(gòu)造va_list變量, 第二個參數(shù)為最后一個確定的形參
 va_start(ap, count);
 int sum = 0;
 for(int i = 0; i < count; i++) {
  //讀取可變參數(shù)，的二個參數(shù)為可變參數(shù)的類型
  sum += va_arg(ap, int);
 }
 //清理工作
 va_end(ap);
 return sum;
}

實(shí)際中使用可變參數(shù)宏實(shí)現(xiàn)C++可變參數(shù)函數(shù)編程，還要注意一下幾點(diǎn)：

• 函數(shù)原型中省略號必須在參數(shù)列表的末尾：也就是說，在函數(shù)原型中參數(shù)列表省略號的右邊不能再出現(xiàn)確定參數(shù)；
• 試用完成是用va_end做清理工作步驟不可缺少，否則可能導(dǎo)致內(nèi)存或資源泄漏；
• va_list在一次訪問中不能后退，但可以多次構(gòu)造va_list多次訪問；
  

2. 更安全的可變參數(shù)函數(shù)實(shí)現(xiàn)方法

對于上面示例代碼中count傳進(jìn)的實(shí)參如果與后面...省略符對應(yīng)的實(shí)際參數(shù)數(shù)量不一致時，可能導(dǎo)致函數(shù)風(fēng)險。這一切完全依賴運(yùn)行時的具體情況而定，很不安全。

另一種更安全的可變參數(shù)宏實(shí)現(xiàn)方法是利用C++的 attribute ((format()))特性來輔助可變參數(shù)的檢查。

最常見的形式是有如下兩個：

__attribute__((format(printf, m, n))) 
__attribute__((format(scanf, m, n)))

其中參數(shù)m與n的含義為：

m：第幾個參數(shù)為格式化字符串(format string);

n：參數(shù)集合中的第一個，即參數(shù)“…”里的第一個參數(shù)在函數(shù)參數(shù)總數(shù)排在第幾;

attributeformat屬性可以給被聲明的函數(shù)加上類似printf或者scanf的特征，它可以使編譯器檢查函數(shù)聲明和函數(shù)實(shí)際調(diào)用參數(shù)之間的格式化字符串是否匹配。format屬性告訴編譯器，按照printf, scanf等標(biāo)準(zhǔn)C函數(shù)參數(shù)格式規(guī)則對該函數(shù)的參數(shù)進(jìn)行檢查。這在我們自己封裝調(diào)試信息的接口時非常的有用。

format的語法格式為：

format (archetype, string-index, first-to-check)
　　其中，“archetype”指定是哪種風(fēng)格；“string-index”指定傳入函數(shù)的第幾個參數(shù)是格式化字符串；“first-to-check”指定從函數(shù)的第幾個參數(shù)開始按上述規(guī)則進(jìn)行檢查。

下面給出2個示例：

一般函數(shù)：

為自己定義的一個帶有可變參數(shù)的函數(shù)，其功能類似于printf：

extern void myprint(const char *format,...) attribute ((format(printf,1,2))); //m=1；n=2

extern void myprint(int l，const char *format,...) attribute ((format(printf,2,3))); //m=2；n=3

類成員函數(shù)

需要特別注意的是，如果myprint是一個函數(shù)的成員函數(shù)，那么m和n的值可有點(diǎn)“懸乎”了，例如：

extern void myprint(int l，const char *format,...) attribute ((format(printf, 3,4 )));

其原因是，類成員函數(shù)的第一個參數(shù)實(shí)際上一個隱身的this指針。

到此這篇關(guān)于C++可變參數(shù)函數(shù)實(shí)現(xiàn)的文章就介紹到這了,更多相關(guān)C++可變參數(shù)函數(shù)實(shí)現(xiàn)內(nèi)容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

最新評論