C 可變參數學習

一、什麼是可變參數

我們在C語言編程中有時會遇到一些參數個數可變的函數,例如printf()函數,其函數原型為:

int printf( const char* format, ...);

它除了有一個參數format固定以外,後面跟的參數的個數和類型是可變的（用三個點“…”做參數預留位置）,實際調用時可以有以下的形式: printf("%d",i);

printf("%s",s);

printf("the number is %d ,string is:%s", i, s);    

以上這些東西已為大家所熟悉。但是究竟如何寫可變參數的C函數以及這些可變參數的函數編譯器是如何?，這個問題卻一直困擾了我好久。本文就這個問題進行一些探討,希望能對大家有些協助.

二、寫一個簡單的可變參數的C函數

先看例子程式。該函數至少有一個整數參數,其後預留位置…，表示後面參數的個數不定. 在這個例子裡，所有的輸入參數必須都是整數，函數的功能只是列印所有參數的值.

函數代碼如下：

//範例程式碼1：可變參數函數的使用

#include "stdio.h"#include "stdarg.h"void simple_va_fun(int start, ...){    va_list arg_ptr;    int nArgValue =start;    int nArgCout=0;     //可變參數的數目    va_start(arg_ptr,start); //以固定參數的地址為起點確定變參的記憶體起始地址。    do    {        ++nArgCout;        printf("the %d th arg: %d\n",nArgCout,nArgValue);     //輸出各參數的值        nArgValue = va_arg(arg_ptr,int);                      //得到下一個可變參數的值    } while(nArgValue != -1);                   return;}int main(int argc, char* argv[]){    simple_va_fun(100,-1);    simple_va_fun(100,200,-1);    return 0;}

下面解釋一下這些代碼

從這個函數的實現可以看到,我們使用可變參數應該有以下步驟:

⑴由於在程式中將用到以下這些宏:

void va_start( va_list arg_ptr, prev_param );type va_arg( va_list arg_ptr, type );void va_end( va_list arg_ptr ); 

va在這裡是variable-argument(可變參數)的意思.

這些宏定義在stdarg.h中,所以用到可變參數的程式應該包含這個標頭檔.

⑵函數裡首先定義一個va_list型的變數,這裡是arg_ptr,這個變

量是儲存參數地址的指標.因為得到參數的地址之後，再結合參數的類型，才能得到參數的值。

⑶然後用va_start宏初始化⑵中定義的變數arg_ptr,這個宏的第二個參數是可變參數列表的前一個參數,即最後一個固定參數.

⑷然後依次用va_arg宏使arg_ptr返回可變參數的地址,得到這個地址之後，結合參數的類型，就可以得到參數的值。

⑸設定結束條件，這裡的條件就是判斷參數值是否為-1。注意被調的函數在調用時是不知道可變參數的正確數目的，程式員必須自己在代碼中指明結束條件。至於為什麼它不會知道參數的數目，讀者在看完這幾個宏的內部實現機制後，自然就會明白。

(二)可變參數在編譯器中的處理

我們知道va_start,va_arg,va_end是在stdarg.h中被定義成宏的, 由於1)硬體平台的不同 2)編譯器的不同,所以定義的宏也有所不同,下面看一下VC++6.0中stdarg.h裡的代碼（檔案的路徑為VC安裝目錄下的\vc98\include\stdarg.h）

typedef char *  va_list;#define _INTSIZEOF(n) ((sizeof(n) + sizeof(int) - 1) & ~(sizeof(int) - 1) )#define va_start(ap,v)  ( ap = (va_list)&v + _INTSIZEOF(v) )#define va_arg(ap,t)    ( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) )#define va_end(ap)      ( ap = (va_list)0 )

下面我們解釋這些代碼的含義：

1、首先把va_list被定義成char*，這是因為在我們目前所用的PC機上，字元指標類型可以用來儲存記憶體單元地址。而在有的機器上va_list是被定義成void*的

2、定義_INTSIZEOF(n)主要是為了某些需要記憶體的對齊的系統.這個宏的目的是為了得到最後一個固定參數的實際記憶體大小。在我的機器上直接用sizeof運算子來代替，對程式的運行結構也沒有影響。（後文將看到我自己的實現）。

3、va_start的定義為 &v+_INTSIZEOF(v) ,這裡&v是最後一個固定參數的起始地址，再加上其實際佔用大小後，就得到了第一個可變參數的起始記憶體位址。所以我們運行va_start(ap, v)以後,ap指向第一個可變參數在的記憶體位址,有了這個地址，以後的事情就簡單了。

這裡要知道兩個事情：

    ⑴在intel+windows的機器上，函數棧的方向是向下的，棧頂指標的記憶體位址低於棧底指標，所以先進棧的資料是存放在記憶體的高地址處。

    (2)在VC等絕大多數C編譯器中，預設情況下，參數進棧的順序是由右向左的，因此，參數進棧以後的記憶體模型如所示：最後一個固定參數的地址位於第一個可變參數之下，並且是連續儲存的。

|——————————————————————————||  最後一個可變參數             |   ->高記憶體位址處|——————————————————————————|   ...................|——————————————————————————||  第N個可變參數              |     ->va_arg(arg_ptr,int)後arg_ptr所指的地方,|                               |     即第N個可變參數的地址。|——————————————— |       ………………………….|——————————————————————————||  第一個可變參數               |     ->va_start(arg_ptr,start)後arg_ptr所指的地方|                               |     即第一個可變參數的地址|——————————————— |    |———————————————————————— ——||                               ||  最後一個固定參數             |    -> start的起始地址|—————————————— —|       .................|—————————————————————————— ||                               | |——————————————— |  -> 低記憶體位址處

(4) va_arg():有了va_start的良好基礎，我們取得了第一個可變參數的地址，在va_arg()裡的任務就是根據指定的參數類型取得本參數的值，並且把指標調到下一個參數的起始地址。

因此，現在再來看va_arg()的實現就應該心中有數了：

#define va_arg(ap,t)    ( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) )

這個宏做了兩個事情，

       ①用使用者輸入的類型名對參數地址進行強制類型轉換，得到使用者所需要的值

   ②計算出本參數的實際大小，將指標調到本參數的結尾，也就是下一個參數的首地址，以便後續處理。

(5)va_end宏的解釋：x86平台定義為ap=(char*)0;使ap不再 指向堆棧,而是跟NULL一樣.有些直接定義為((void*)0),這樣編譯器不會為va_end產生代碼,例如gcc在linux的x86平台就是這樣定義的. 在這裡大家要注意一個問題:由於參數的地址用於va_start宏,所以參數不能聲明為寄存器變數或作為函數或數群組類型. 關於va_start, va_arg, va_end的描述就是這些了,我們要注意的 是不同的作業系統和硬體平台的定義有些不同,但原理卻是相似的.

 (三)可變參數在編程中要注意的問題

因為va_start, va_arg, va_end等定義成宏,所以它顯得很愚蠢, 可變參數的類型和個數完全在該函數中由程式碼控制,它並不能智能 地識別不同參數的個數和類型. 有人會問:那麼printf中不是實現了智能識別參數嗎?那是因為函數 printf是從固定參數format字串來分析出參數的類型,再調用va_arg 的來擷取可變參數的.也就是說,你想實現智能識別可變參數的話是要通過在自己的程式裡作判斷來實現的. 例如，在C的經典教材《the c programming language》的7.3節中就給出了一個printf的可能實現方式，由於篇幅原因這裡不再敘述。

（四）小結:

1、標準C庫的中的三個宏的作用只是用來確定可變參數列表中每個參數的記憶體位址，編譯器是不知道參數的實際數目的。

2、在實際應用的代碼中，程式員必須自己考慮確定參數數目的辦法，如

⑴在固定參數中設標誌—— printf函數就是用這個辦法。後面也有例子。

⑵在預先設定一個特殊的結束標記，就是說多輸入一個可變參數，調用時要將最後一個可變參數的值設定成這個特殊的值，在函數體中根據這個值判斷是否達到參數的結尾。本文前面的代碼就是採用這個辦法.

無論採用哪種辦法，程式員都應該在文檔中告訴調用者自己的約定。

3、實現可變參數的要點就是想辦法取得每個參數的地址，取得地址的辦法由以下幾個因素決定：

①函數棧的生長方向

②參數的入棧順序

③CPU的對齊

④記憶體位址的表達方式

結合原始碼，我們可以看出va_list的實現是由④決定的，_INTSIZEOF(n)的引入則是由③決定的，他和①②又一起決定了va_start的實現，最後va_end的存在則是良好編程風格的體現，將不再使用的指標設為NULL,這樣可以防止以後的誤操作。

4、取得地址後，再結合參數的類型，程式員就可以正確的處理參數了。理解了以上要點，相信稍有經驗的讀者就可以寫出適合於自己機器的實現來。下面就是一個例子

（五）擴充——自己實現簡單的可變參數的函數。

下面是一個簡單的printf函數的實現，參考了<The C Programming Language>中的156頁的例子，讀者可以結合書上的代碼與本文參照。

#include "stdio.h"#include "stdlib.h"void myprintf(char* fmt, ...)        //一個簡單的類似於printf的實現，//參數必須都是int 類型{    char* pArg=NULL;               //等價於原來的va_list    char c;    pArg = (char*) &fmt;          //注意不要寫成p = fmt !!因為這裡要對//參數取址，而不是取值    pArg += sizeof(fmt);         //等價於原來的va_start             do    {        c =*fmt;        if (c != '%')        {            putchar(c);            //照原樣輸出字元        }        else{//按格式字元輸出資料            switch(*++fmt){            case 'd':                printf("%d",*((int*)pArg));                          break;            case 'x':                printf("%#x",*((int*)pArg));                break;            default:                break;            }            pArg += sizeof(int);               //等價於原來的va_arg        }        ++fmt;    }while (*fmt != '\0');    pArg = NULL;                               //等價於va_end    return;}int main(int argc, char* argv[]){    int i = 1234;    int j = 5678;    myprintf("the first test:i=%d\n",i,j);    myprintf("the secend test:i=%d; %x;j=%d;\n",i,0xabcd,j);    system("pause");    return 0;}

在intel+win2k+vc6的機器執行結果如下：

the first test:i=1234

the secend test:i=1234; 0xabcd;j=5678;