随笔-48  评论-259  文章-1  trackbacks-0

怎样实现数目不定的函数参数

 

2006-12-28

erran

 

实现方法一:自定义指针找到函数参数的下一个参数;

 

// 例子 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;


             
//
计算第二个参数的地址,并且输出该地址

// 注: 在32位(4字节)机器上表现为所有的变量地址都能被4整除

// 相当于 _INTSIZEOF(n): ((sizeof(n) + sizeof(int) - 1) & ~(sizeof(int) - 1) )

// 问题是用这个式子去算,是无法知道哪个才是最后哪个参数。所以用- 1 做结束参数。

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


       
       count++;

       }

      

       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, -1) << endl;      

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

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

 

       return 0;

}

 

 

 

实现方法二:利用 ANSIC提供的三个宏 va_arg, va_end, va_start 来实现

 

这三个宏定义在头文件 stdarg.h , 主要有: va_arg, va_end, va_start va_list


_WIN32 下:

typedef char * va_list;


其它的三个
( 不同的平台会有不太一样 )


/* 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 )


其实这个方法的实现原理同方法一是一样的。


//
例子 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 做结束参数。

       {    

              if (_r > _p) _r = _p;

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

              _p = va_arg(arg_ptr, int);

              count++;

       }

 

       va_end(arg_ptr);

      

       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, -1) << endl;      

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

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

 

       return 0;

}

 

 

方法一和方法二都会遇到同一个问题:那就是没有办法知道该函数中一共到底有多少个参数。因为你 没有办法去判断到底哪个指针才是最后的哪个参数的地址。

 

想到一个解决方法是在该函数最后添加一个标志参数,以标志该参数是最后一个参数,但是应该注意的是:作为标志参数的条件是,该标志是不可能出现在此前的参数表中。如以上函数调用的最后那个参数(- 1 )。

 

我想 c 语言里面的 scanf printf 等函数应该做过一些特殊处理。

 

函数的参数地址是连续的,但是 可变参数列表提供了很大的灵活性,且对可变部分的参数C语言编译器不会进行类型检查,所以程序中要特别小心,必须确保参数的传递和接受是正确的;而且C语言的实现也依赖于cpu和操作系统,所以并不适用于所有的计算机和系统,而且随机器的不同会由很大的区别。所以 stdarg.h 定义很多宏。如:

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

#error ERROR: Only Mac or Win32 targets supported!

#endif

 

 

l          关于函数参数的地址

 

写了一下测试代码,来测试函数的参数地址是不是连续的。

测试代码如下 :


//
例子 C

#include <iostream>

using namespace std;

 

template<class T>

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

{    

// 输出各个参数的地址

       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;// 调用一

       cout << umin<int>(1, 4, 2, 5, 2) << endl; // 调用二

       cout << umin<char>('a', 'b', 'c', 'd', 'e') << endl;// 调用三

 

       return 0;

}

 

VC6.0 下编译,发现:

对于例子 C 在编译器不作任何优化的时候(及编译选项选择 Disable(Debug) ),对于调用一、二、三的参数 _a, _b, _c, _d, _e 都是连续的。在选择优化运行速度 ( 及编译选项选择 Maximize Speed), min 的参数地址并不都是连续的。而用对于例子 A 和例子 B :两种情况都是连续的 ( 测试的时候要更改相应的代码 ).

 

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

 

 

posted on 2007-06-09 00:05 星梦情缘 阅读(2124) 评论(4)  编辑 收藏 引用 所属分类: 关于编程

评论:
# re: 怎样实现数目不定的函数参数 2007-06-09 11:55 | alai04
纯粹的C风格,在C++中没有道理这样用,既然各参数类型都是一样的,用容器和迭代器是既安全又方便的方法。个人认为,类型安全应该是首要的。  回复  更多评论
  
# re: 怎样实现数目不定的函数参数 2007-06-11 00:20 | To Be C++
明显楼主对高级语言的机器代码级实现的了解还是比较模糊的!  回复  更多评论
  
# re: 怎样实现数目不定的函数参数 2007-06-11 12:48 | 星梦情缘
嘿嘿,每个人都有各自的不足,希望多多指教,谢谢,嘿嘿  回复  更多评论
  
# re: 怎样实现数目不定的函数参数 2007-06-11 12:49 | 星梦情缘
嘿嘿,可以加我的编程群,或者加我好友,一起讨论啊
493100900 群13084474  回复  更多评论
  

只有注册用户登录后才能发表评论。
网站导航: 博客园   IT新闻   BlogJava   知识库   博问   管理