怎樣實(shí)現(xiàn)數(shù)目不定的函數(shù)參數(shù)

 

2006-12-28

erran

 

實(shí)現(xiàn)方法一：自定義指針找到函數(shù)參數(shù)的下一個(gè)參數(shù)；

 

// 例子 A ：

template<class T>

T umin(T _a, ...)

{           

       T _r = _a;

       T* _p = &_a;

      

       int count = 1;

      

       while ((*_p) != -1)

       {    

              if (_r > (*_p)) _r = (*_p);

              cout << "No." << count << ": " << (*_p) << endl;

              // 計(jì)算第二個(gè)參數(shù)的地址，并且輸出該地址

// 注： 在３２位（４字節(jié)）機(jī)器上表現(xiàn)為所有的變量地址都能被４整除

// 相當(dāng)于 _INTSIZEOF(n): ((sizeof(n) + sizeof(int) - 1) & ~(sizeof(int) - 1) )

// 問題是用這個(gè)式子去算，是無法知道哪個(gè)才是最后哪個(gè)參數(shù)。所以用－ 1 做結(jié)束參數(shù)。

              _p = (T*)((char *)_p + (sizeof(T) + sizeof(int) - 1) / sizeof(int) * sizeof(int));

               count++;

       }

      

       return _r;

}

// 調(diào)用：

int main(int argc, char* argv[])

{

       int a, b, c, d, e;      

       a = 1;    b = 3;       c = 2;       d = 12; e = 34;

      

       cout << umin<int>( a, b, c, d, e, -1) << endl;      

cout << umin<int>(1, 4, 2, 5, 2, -1) << endl;

cout << umin<char>('a', 'b', 'c', 'd', 'e', -1) << endl;

 

       return 0;

}

 

 

 

實(shí)現(xiàn)方法二：利用 ＡＮＳＩＣ提供的三個(gè)宏 va_arg， va_end, va_start 來實(shí)現(xiàn) ；

 

這三個(gè)宏定義在頭文件 stdarg.h 中 , 主要有： va_arg, va_end, va_start ， va_list

在 _WIN32 下：

typedef char * va_list;

其它的三個(gè) ( 不同的平臺(tái)會(huì)有不太一樣 )

/* A c at the proper definitions for other platforms */

#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 )

其實(shí)這個(gè)方法的實(shí)現(xiàn)原理同方法一是一樣的。

// 例子 B ：

template<class T>

T umin(T _a, ...)

{    

       T _p = _a;

       T _r = _a;

 

       int count = 1;

      

       va_list arg_ptr;

       va_start(arg_ptr, _a);

      

       while (_p != -1)// 所以用－ 1 做結(jié)束參數(shù)。

       {    

              if (_r > _p) _r = _p;

              cout << "No." << count << ": " << _p << endl;                                                       

              _p = va_arg(arg_ptr, int);

              count++;

       }

 

       va_end(arg_ptr);

      

       return _r;

}

// 調(diào)用：

int main(int argc, char* argv[])

{

       int a, b, c, d, e;      

       a = 1;    b = 3;       c = 2;       d = 12; e = 34;

      

       cout << umin<int>( a, b, c, d, e, -1) << endl;      

cout << umin<int>(1, 4, 2, 5, 2, -1) << endl;

cout << umin<char>('a', 'b', 'c', 'd', 'e', -1) << endl;

 

       return 0;

}

 

 

方法一和方法二都會(huì)遇到同一個(gè)問題：那就是沒有辦法知道該函數(shù)中一共到底有多少個(gè)參數(shù)。因?yàn)槟?/span> 沒有辦法去判斷到底哪個(gè)指針才是最后的哪個(gè)參數(shù)的地址。

 

想到一個(gè)解決方法是在該函數(shù)最后添加一個(gè)標(biāo)志參數(shù)，以標(biāo)志該參數(shù)是最后一個(gè)參數(shù)，但是應(yīng)該注意的是：作為標(biāo)志參數(shù)的條件是，該標(biāo)志是不可能出現(xiàn)在此前的參數(shù)表中。如以上函數(shù)調(diào)用的最后那個(gè)參數(shù)（－ 1 ）。

 

我想 c 語言里面的 scanf 和 printf 等函數(shù)應(yīng)該做過一些特殊處理。

 

函數(shù)的參數(shù)地址是連續(xù)的，但是 可變參數(shù)列表提供了很大的靈活性，且對(duì)可變部分的參數(shù)C語言編譯器不會(huì)進(jìn)行類型檢查，所以程序中要特別小心，必須確保參數(shù)的傳遞和接受是正確的；而且C語言的實(shí)現(xiàn)也依賴于ｃｐｕ和操作系統(tǒng)，所以并不適用于所有的計(jì)算機(jī)和系統(tǒng)，而且隨機(jī)器的不同會(huì)由很大的區(qū)別。所以 stdarg.h 定義很多宏。如：

#if     !defined(_WIN32) && !defined(_MAC)

#error ERROR: Only Mac or Win32 targets supported!

#endif

 

 

l          關(guān)于函數(shù)參數(shù)的地址

 

寫了一下測(cè)試代碼，來測(cè)試函數(shù)的參數(shù)地址是不是連續(xù)的。

測(cè)試代碼如下 :

// 例子 C

#include <iostream>

using namespace std;

 

template<class T>

T umin(T _a, T _b, T _c, T _d, T _e)

{    

// 輸出各個(gè)參數(shù)的地址

       cout << "_a : " << hex << (int*)(&_a) << endl;

       cout << "_b : " << hex << (int*)(&_b) << endl;

       cout << "_c : " << hex << (int*)(&_c) << endl;

       cout << "_d : " << hex << (int*)(&_d) << endl;

       cout << "_e : " << hex << (int*)(&_e) << endl;

      

       // 取得最小值

       T _r = _a;

     if (_r > _b) _r = _b;

     if (_r > _c) _r = _c;

     if (_r > _d) _r = _d;

      

       return _r;

}

 

int main(int argc, char* argv[])

{

       int a, b, c, d, e;      

       a = 1;    b = 3;       c = 2;       d = 12; e = 34;

 

       cout << umin<int>(a, b, c, d, e) << endl;// 調(diào)用一

       cout << umin<int>(1, 4, 2, 5, 2) << endl; // 調(diào)用二

       cout << umin<char>('a', 'b', 'c', 'd', 'e') << endl;// 調(diào)用三

 

       return 0;

}

 

在 VC6.0 下編譯，發(fā)現(xiàn)：

對(duì)于例子 C ： 在編譯器不作任何優(yōu)化的時(shí)候（及編譯選項(xiàng)選擇 Disable(Debug) ），對(duì)于調(diào)用一、二、三的參數(shù) _a, _b, _c, _d, _e 都是連續(xù)的。在選擇優(yōu)化運(yùn)行速度 ( 及編譯選項(xiàng)選擇 Maximize Speed), min 的參數(shù)地址并不都是連續(xù)的。而用對(duì)于例子 A 和例子 B ：兩種情況都是連續(xù)的 ( 測(cè)試的時(shí)候要更改相應(yīng)的代碼 ).

 

例 C Disable(Debug)	例 C Maximize Speed	例 A Maximize Speed	例 A Disable(Debug)
_a : 0012FF58 _b : 0012FF5C _c : 0012FF60 _d : 0012FF64 _e : 0012FF68   _a : 0012FF58 _b : 0012FF5C _c : 0012FF60 _d : 0012FF64 _e : 0012FF68   _a : 0012FF58 _b : 0012FF5C _c : 0012FF60 _d : 0012FF64 _e : 0012FF68	_a : 0012FF70 _b : 0012FF74 _c : 0012FF78 _d : 0012FF7C _e : 0012FF80   _a : 0012FF70 _b : 0012FF80 _c : 0012FF7C _d : 0012FF78 _e : 0012FF74   _a : 0012FF58 _b : 0012FF5C _c : 0012FF60 _d : 0012FF64 _e : 0012FF68	No.1: 0012FF50 No.2: 0012FF54 No.3: 0012FF58 No.4: 0012FF5C No.5: 0012FF60   No.1: 0012FF50 No.2: 0012FF54 No.3: 0012FF58 No.4: 0012FF5C No.5: 0012FF60   No.1: 0012FF50 No.2: 0012FF54 No.3: 0012FF58 No.4: 0012FF5C No.5: 0012FF60	No.1: 0012FF50 No.2: 0012FF54 No.3: 0012FF58 No.4: 0012FF5C No.5: 0012FF60   No.1: 0012FF50 No.2: 0012FF54 No.3: 0012FF58 No.4: 0012FF5C No.5: 0012FF60   No.1: 0012FF50 No.2: 0012FF54 No.3: 0012FF58 No.4: 0012FF5C No.5: 0012FF60