當你的函式的引數個數不確定時，就可以使用上述巨集進行動態處理，這無疑為你的程式增加了靈活性。

Example:

CString AppendString(CString str1,...)//一個連線字串的函式，引數個數可以動態變化
{
      LPCTSTR str=str1;//str需為指標型別，因為va_arg巨集返回的是你的引數的指標，但是如果你的引數為int等簡                       //單型別，則不必為指標，因為變數名實際上即是指標。
      CString res;
      va_list marker;     //你的型別連結串列
      va_start(marker,str1);//初始化你的marker連結串列

      while(str!="ListEnd")//ListEnd:引數的結束標誌，十分重要，在實際中需自行指定
      {
          res+=str;
          str=va_arg(marker,CString);//取得下一個指標
      }
      va_end(marker);//結束，與va_start合用
      return res;
}

int main()
{
      CString    str=AppendString("xu","zhi","hong","ListEnd");
      cout<<str.GetBuffer(str.GetLength())<<endl;
      return 0;
}

輸出 xuzhihong
CString AppendString(CString str1,...)，因為連線字串的引數可以動態變化，你不知使用者要進行連線的字串個數是多少，所以你可以用…來代替。但是要注意的是你的函式要有一個引數作為標誌來表示結束，否則會出錯。在上例中用ListEnd作為結束符。還有va_arg返回的是你引數內容的指標。上例在支援MFC程式的console下執行通過。

可變引數函式的原型宣告格式為：

type VAFunction(type arg1, type arg2, … );

引數可以分為兩部分：個數確定的固定引數和個數可變的可選引數。函式至少需要一個固定引數，固定引數的宣告和普通函式一樣；可選引數由於個數不確定，宣告時用"…"表示。固定引數和可選引數公同構成一個函式的引數列表。

藉助上面這個簡單的例2，來看看各個va_xxx的作用。

va_list arg_ptr：定義一個指向個數可變的引數列表指標；

va_start(arg_ptr, argN)：使引數列表指標arg_ptr指向函式引數列表中的第一個可選引數，說明：argN是位於第一個可選引數之前的固定引數，（或者說，最後一個 固定引數；…之前的一個引數），函式引數列表中引數在記憶體中的順序與函式宣告時的順序是一致的。如果有一va函式的宣告是void va_test(char a, char b, char c, …)，則它的固定引數依次是a,b,c，最後一個固定引數argN為c，因此就是va_start(arg_ptr, c)。

va_arg(arg_ptr, type)：返回引數列表中指標arg_ptr所指的引數，返回型別為type，並使指標arg_ptr指向引數列表中下一個引數。

va_copy(dest, src)：dest，src的型別都是va_list，va_copy()用於複製引數列表指標，將dest初始化為src。

va_end(arg_ptr)：清空引數列表，並置引數指標arg_ptr無效。說明：指標arg_ptr被置無效後，可以通過呼叫va_start ()、va_copy()恢復arg_ptr。每次呼叫va_start() / va_copy()後，必須得有相應的va_end()與之匹配。引數指標可以在引數列表中隨意地來回移動，但必須在va_start() … va_end()之內。

typedef char *   va_list;   // x86平臺下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 )                            // 將指標置為無效

從上圖中可以很清楚地看出va_xxx巨集如此編寫的原因。

1． va_start。為了得到第一個可選引數的地址，我們有三種辦法可以做到：

A) = &n3 + _INTSIZEOF(n3)

// 最後一個固定引數的地址 + 該引數佔用記憶體的大小

B) = &n2 + _INTSIZEOF(n3) + _INTSIZEOF(n2)

// 中間某個固定引數的地址 + 該引數之後所有固定引數佔用的記憶體大小之和

C) = &n1 + _INTSIZEOF(n3) + _INTSIZEOF(n2) + _INTSIZEOF(n1)

// 第一個固定引數的地址 + 所有固定引數佔用的記憶體大小之和

從編譯器實現角度來看，方法B)，方法C)為了求出地址，編譯器還需知道有多少個固定引數，以及它們的大小，沒有把問題分解到最簡單，所以不是很聰明的途 徑，不予採納；相對來說，方法A)中運算的兩個值則完全可以確定。va_start()正是採用A)方法，接受最後一個固定引數。呼叫va_start ()的結果總是使指標指向下一個引數的地址，並把它作為第一個可選引數。在含多個固定引數的函式中，呼叫va_start()時，如果不是用最後一個固定 引數，對於編譯器來說，可選引數的個數已經增加，將給程式帶來一些意想不到的錯誤。(當然如果你認為自己對指標已經知根知底，遊刃有餘，那麼，怎麼用就隨 你，你甚至可以用它完成一些很優秀（高效）的程式碼，但是，這樣會大大降低程式碼的可讀性。)

注意：巨集va_start是對引數的地址進行操作的，要求引數地址必須是有效的。一些地址無效的型別不能當作固定引數型別。比如：暫存器型別，它的地址不是有效的記憶體地址值；陣列和函式也不允許，他們的長度是個問題。因此，這些型別時不能作為va函式的引數的。

2． va_arg身兼二職：返回當前引數，並使引數指標指向下一個引數。

初看va_arg巨集定義很彆扭，如果把它拆成兩個語句，可以很清楚地看出它完成的兩個職責。

#define va_arg(ap,t)    ( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) ) //下一個引數地址
// 將( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) )拆成：
/* 指標ap指向下一個引數的地址 */
1． ap += _INTSIZEOF(t)；         // 當前，ap已經指向下一個引數了
/* ap減去當前引數的大小得到當前引數的地址，再強制型別轉換後返回它的值 */
2． return *(t *)( ap - _INTSIZEOF(t))