可变参数的问题

来源:互联网 发布:桌面工作计划安排软件 编辑:程序博客网 时间:2024/06/05 16:49
 

可变参数的问题陷阱

分类: C++学习 137人阅读 评论(0) 收藏 举报
float编译器buffer语言list工作

几个经常用到的函数

[cpp] view plaincopy
  1. * 取第一个可变参数的指针给arg_ptr    
  2.    last_firm_arg是函数声明中最后一个固定参数,该    
  3.     宏参方便编译器定位第一个可变参数的地址,因为在函数    
  4.     调用的栈结构中,可变参数总是在因定参数的后面 */    
  5. void va_start( va_list arg_ptr, last_firm_arg );     
  6.   
  7. /* 返回arg_ptr指定的当前可变参数的值,然后arg_ptr指向下一参数   
  8.     cur_arg_type是当前参数的类型,如int,该   
  9.     宏参方便编译器定位下一可变参数的地址   
  10.     注意支持的类型为int和double,这是一个陷井,下文将详述   
  11.     可循环调用此宏得到N个参数值 */    
  12. cur_arg_type va_arg( va_list arg_ptr, cur_arg_type );     
  13.     
  14. /* arg_ptr置为NULL */    
  15. void va_end( va_list arg_ptr );   
  16.   
  17. 不多说,先看个例子吧:  
  18. void test_varg(const char* name, ...)  
  19.   
  20. {  
  21.     va_list args;  
  22.     va_start( args, name);  
  23.     char buffer[1024];  
  24.     vsprintf_s( buffer, 1024, name,  args );   //将所有的参数copy到buffer去  
  25.      va_end(args);  
  26.   
  27. }  
  28.   
  29.    
  30.   
  31. 那如果要针对单个的参数做行为处理呢?  
  32.   
  33.    
  34.   
  35. char* param;  
  36.   
  37. while (true)  
  38.   
  39. {  
  40.   
  41.     param = va_arg(args, char*);  
  42.   
  43.     //得到当前的参数后做对应的事情  
  44.   
  45.    ..............................  
  46.   
  47. }  
  48.   
  49. va_end(args);//这个清理的函数一定要  

 

下面的东西转自http://blog.csdn.net/flyoxs/archive/2009/04/22/4099317.aspx

 

可变参类型陷井

下面的代码是错误的,运行时得不到预期的结果:

view plaincopy to clipboardprint?
va_start(pArg, plotNo);   
fValue = va_arg(pArg, float);  // 类型应改为double,不支持float   
va_end(pArg);  
va_start(pArg, plotNo);
fValue = va_arg(pArg, float);  // 类型应改为double,不支持float
va_end(pArg);

下面列出va_arg(argp, type)宏中不支持的type:

—— char、signed char、unsigned char
—— short、unsigned short
—— signed short、short int、signed short int、unsigned short int
—— float

在C语言中,调用一个不带原型声明的函数时,调用者会对每个参数执行“默认实际参数提升(default argument promotions)”。该规则同样适用于可变参数函数——对可变长参数列表超出最后一个有类型声明的形式参数之后的每一个实际参数,也将执行上述提升工作。

提升工作如下:
——float类型的实际参数将提升到double
——char、short和相应的signed、unsigned类型的实际参数提升到int
——如果int不能存储原值,则提升到unsigned int

然后,调用者将提升后的参数传递给被调用者。

所以,可变参函数内是绝对无法接收到上述类型的实际参数的。


关于该陷井,C/C++著作中有以下描述:


在《C语言程序设计》对可变长参数列表的相关章节中,并没有提到这个陷阱。但是有提到默认实际参数提升的规则:
在没有函数原型的情况下,char与short类型都将被转换为int类型,float类型将被转换为double类型。
                ——《C语言程序设计》第2版  2.7 类型转换 p36

在其他一些书籍中,也有提到这个规则:

事情很清楚,如果一个参数没有声明,编译器就没有信息去对它执行标准的类型检查和转换。
在这种情况下,一个char或short将作为int传递,float将作为double传递。
这些做未必是程序员所期望的。
脚注:这些都是由C语言继承来的标准提升。
对于由省略号表示的参数,其实际参数在传递之前总执行这些提升(如果它们属于需要提升的类型),将提升后的值传递给有关的函数。——译者注
                ——《C++程序设计语言》第3版-特别版 7.6 p138

…… float类型的参数会自动转换为double类型,short或char类型的参数会自动转换为int类型 ……
                ——《C陷阱与缺陷》 4.4 形参、实参与返回值 p73

这里有一个陷阱需要避免:
va_arg宏的第2个参数不能被指定为char、short或者float类型。
因为char和short类型的参数会被转换为int类型,而float类型的参数会被转换为double类型 ……
例如,这样写肯定是不对的:
c = va_arg(ap,char);
因为我们无法传递一个char类型参数,如果传递了,它将会被自动转化为int类型。上面的式子应该写成:
c = va_arg(ap,int);

原创粉丝点击