我的编程空间,编程开发者的网络收藏夹
学习永远不晚

浅析C/C++中的可变参数与默认参数

短信预约 -IT技能 免费直播动态提醒
省份

北京

  • 北京
  • 上海
  • 天津
  • 重庆
  • 河北
  • 山东
  • 辽宁
  • 黑龙江
  • 吉林
  • 甘肃
  • 青海
  • 河南
  • 江苏
  • 湖北
  • 湖南
  • 江西
  • 浙江
  • 广东
  • 云南
  • 福建
  • 海南
  • 山西
  • 四川
  • 陕西
  • 贵州
  • 安徽
  • 广西
  • 内蒙
  • 西藏
  • 新疆
  • 宁夏
  • 兵团
手机号立即预约

请填写图片验证码后获取短信验证码

看不清楚,换张图片

免费获取短信验证码

浅析C/C++中的可变参数与默认参数

千万要注意,C不支持默认参数

C/C++支持可变参数个数的函数定义,这一点与C/C++语言函数参数调用时入栈顺序有关,首先引用其他网友的一段文字,来描述函数调用,及参数入栈:

------------ 引用开始 ------------
C支持可变参数的函数,这里的意思是C支持函数带有可变数量的参数,最常见的例子就是我们十分熟悉的printf()系列函数。我们还知道在函数调用时参数是自右向左压栈的。如果可变参数函数的一般形式是:
    f(p1, p2, p3, …)
那么参数进栈(以及出栈)的顺序是:
    …
    push p3
    push p2
    push p1
    call f
    pop p1
    pop p2
    pop p3
    …
我可以得到这样一个结论:如果支持可变参数的函数,那么参数进栈的顺序几乎必然是自右向左的。并且,参数出栈也不能由函数自己完成,而应该由调用者完成。

这个结论的后半部分是不难理解的,因为函数自身不知道调用者传入了多少参数,但是调用者知道,所以调用者应该负责将所有参数出栈。

在可变参数函数的一般形式中,左边是已经确定的参数,右边省略号代表未知参数部分。对于已经确定的参数,它在栈上的位置也必须是确定的。否则意味着已经确定的参数是不能定位和找到的,这样是无法保证函数正确执行的。衡量参数在栈上的位置,就是离开确切的函数调用点(call f)有多远。已经确定的参数,它在栈上的位置,不应该依赖参数的具体数量,因为参数的数量是未知的!

所以,选择只能是,已经确定的参数,离开函数调用点有确定的距离(较近)。满足这个条件,只有参数入栈遵从自右向左规则。也就是说,左边确定的参数后入栈,离函数调用点有确定的距离(最左边的参数最后入栈,离函数调用点最近)。

这样,当函数开始执行后,它能找到所有已经确定的参数。根据函数自己的逻辑,它负责寻找和解释后面可变的参数(在离开调用点较远的地方),通常这依赖于已经确定的参数的值(典型的如prinf()函数的格式解释,遗憾的是这样的方式具有脆弱性)。

据说在pascal中参数是自左向右压栈的,与C的相反。对于pascal这种只支持固定参数函数的语言,它没有可变参数带来的问题。因此,它选择哪种参数进栈方式都是可以的。
甚至,其参数出栈是由函数自己完成的,而不是调用者,因为函数的参数的类型和数量是完全已知的。这种方式比采用C的方式的效率更好,因为占用更少的代码量(在C中,函数每次调用的地方,都生成了参数出栈代码)。

C++为了兼容C,所以仍然支持函数带有可变的参数。但是在C++中更好的选择常常是函数重载。
------------ 引用结束 ------------

根据上文描述,我们查看printf()及sprintf()等函数的定义,可以验证这一点:
_CRTIMP int __cdecl printf(const char *, ...);
_CRTIMP int __cdecl sprintf(char *, const char *, ...);

这两个函数定义时,都使用了__cdecl关键字,__cdecl关键字约定函数调用的规则是:
调用者负责清除调用堆栈,参数通过堆栈传递,入栈顺序是从右到左。

下一步,我们来看看printf()这种函数是如何使用变个数参数的,下面是摘录MSDN上的例子,
只引用了ANSI系统兼容部分的代码,UNIX系统的代码请直接参考MSDN。

------------ 例子代码 ------------

复制代码 代码如下:

#include <stdio.h>
#include <stdarg.h>
int average( int first, ... );

void main( void )
{
   printf( "Average is: %d/n", average( 2, 3, 4, -1 ) );
}

int average( int first, ... )
{
   int count = 0, sum = 0, i = first;
   va_list marker;

   va_start( marker, first );    
   while( i != -1 )
   {
      sum += i;
      count++;
      i = va_arg( marker, int);
   }
   va_end( marker );             
   return( sum ? (sum / count) : 0 );
}


上例代码功能是计算平均数,函数允许用户输入多个整型参数,要求作后一个参数必须是-1,表示参数输入完毕,然后返回平均数计算结果。

逻辑很简单,首先定义
   va_list marker;
表示参数列表,然后调用va_start()初始化参数列表。注意va_start()调用时不仅使用了marker
这个参数列表变量,还使用了first这个参数,说明参数列表的初始化与函数给定的第一个确定参数是有关系的,这一点很关键,后续分析会看到原因。

调用va_start()初始化后,即可调用va_arg()函数访问每一个参数列表中的参数了。注意va_arg()
的第二个参数指定了返回值的类型(int)。

当程序确定所有参数访问结束后,调用va_end()函数结束参数列表访问。

这样看起来,访问变个数参数是很容易的,也就是使用va_list,va_start(),va_arg(),va_end()
这样一个类型与三个函数。但是对于函数变个数参数的机制,感觉仍是一头雾水。看来需要继续深入探究,才能的到确切的答案了。

找到va_list,va_start(),va_arg(),va_end()的定义,在.../VC98/include/stdarg.h文件中。
.h中代码如下(只摘录了ANSI兼容部分的代码,UNIX等其他系统实现略有不同,感兴趣的朋友可以自己研究):

复制代码 代码如下:

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 )


从代码可以看出,va_list只是一个类型转义,其实就是定义成char*类型的指针了,这样就是为了以字节为单位访问内存。
其他三个函数其实只是三个宏定义,且慢,我们先看夹在中间的这个宏定义_INTSIZEOF:

#define _INTSIZEOF(n)   ( (sizeof(n) + sizeof(int) - 1) & ~(sizeof(int) - 1) )

这个宏的功能是对给定变量或者类型n,计算其按整型字节长度进行字节对齐后的长度(size)。在32位系统中int占4个字节,16位系统中占2字节。
表达式
 (sizeof(n) + sizeof(int) - 1)
的作用是,如果sizeof(n)小于sizeof(int),则计算后
的结果数值,会比sizeof(n)的值在二进制上向左进一位。

如:sizeof(short) + sizeof(n) - 1 = 5
5的二进制是0x00000101,sizeof(short)的二进制是0x00000010,所以5的二进制值比2的二进制值
向左高一位。

表达式
 ~(sizeof(int) - 1)
的作用时生成一个蒙版(mask),以便舍去前面那个计算值的"零头"部分。
如上例,~(sizeof(int) - 1) = 0x00000011(谢谢glietboys的提醒,此处应该是0xFFFFFF00)
同5的二进制0x00000101做"与"运算得到的是0x00000100,也就是4,而直接计算sizeof(short)应该得到2。
这样通过_INTSIZEOF(short)这样的表达式,就可以得到按照整型字节长度对齐的其他类型字节长度。
之所以采用int类型的字节长度进行对齐,是因为C/C++中的指针变量其实就是整型数值,长度与int相同,而指针的偏移量是后面的三个宏进行运算时所需要的。

关于编程中字节对齐的内容请有兴趣的朋友到网上参考其他文章,这里不再赘述。

继续,下面这个三个宏定义:

第一:
#define va_start(ap,v)  ( ap = (va_list)&v + _INTSIZEOF(v) )

编程中这样使用
   va_list marker;
   va_start( marker, first );
可以看出va_start宏的作用是使给定的参数列表指针(marker),根据第一个确定参数(first)所属类型的指针长度向后偏移相应位置,计算这个偏移的时候就用到了前面的_INTSIZEOF(n)宏。

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

此处乍一看有点费解,(ap += _INTSIZEOF(t)) - _INTSIZEOF(t)表达式的一加一减,对返回值是不起作用的啊,也就是返回值都是ap的值,什么原因呢?
原来这个计算返回值是一方面,另一方面,请记住,va_start(),va_arg(),va_end这三个宏的调用是有关联性的,ap这个变量是调用va_start()时给定的参数列表指针,所以

(ap += _INTSIZEOF(t)) - _INTSIZEOF(t)

表达式不仅仅是为了返回当前指向的参数的地址,还是为了让ap指向下一个参数(注意ap跳向下一参数是,是按照类型t的_INTSIZEOF长度进行计算的)。

第三:
#define va_end(ap)      ( ap = (va_list)0 )

这个很好理解了,不过是将ap指针置为空,算作参数读取结束。

至此,C/C++变个数函数参数的机制已经很清晰了。最后还要说一点要注意的问题:
在用va_arg()顺序跳转指针读取参数的过程中,并没有方法去判断所得到的下一个指针是否是有效地址,也没有地方能够明确得知到底要读取多少个参数,这就是这种变个数参数的危险所在。前面的求平均数的例子中,要求输入者必须在参数列表最后提供一个特殊值(-1)来表示参数列表结束,所以可以假设,万一调用者没有遵循这种规则,将导致指针访问越界。

那么,可能有朋友会问,printf()函数就没有提供这样的特殊值进行标识啊。

别急,printf()使用的是另一种参数个数识别方式,可能比较隐蔽。注意他的第一个确定参数,也就是被我们用作格式控制的format字符串,他的里面有"%d","%s"这样的参数描述符,printf()函数在解析format字符串时,可以根据参数描述符的个数,确定需要读取后面几个参数。我们不妨做下面这样的试验:

printf("%d,%d,%d,%d/n",1,2,3,4,5);

实际提供的参数多于前面给定的参数描述符,这样执行的结果是

1,2,3,4

也就是printf()根据format字符串认为后面只有4个参数,其他的就不管了。那么再做一个试验:

printf("%d,%d,%d,%d/n",1,2,3);

实际提供的参数少于给定的参数描述符,这样执行的结果是(如果没有异常的话)

1,2,3,2367460

这个地方,每个人的执行结果可能都不相同,原因是读取最后一个参数的指针已经指向了非法的地址。这也是使用printf()这类函数需要特别注意的地方。

总结:
变个数的函数参数在使用时需要注意的地方比较多。我个人建议尽量回避使用这种模式。比如前面的计算平均数,宁可使用数组或其他列表作为参数将一系列数值传递给函数,也不用写这样的变态函数。一方面是容易出现指针访问越界,另一方面,在实际的函数调用时,要把所有计算值依次作为参数写在代码里,很龌龊。

虽然这么说,但有些地方这个功能还是很有用处的,比如字符串的格式化合成,像printf()函数;在实际应用中,我还经常使用一个自己写的WriteLog()函数,用于记录文件日志,定义与printf()相同,使用起来非常灵活便利,如:

WriteLog("用户%s, 登录次数%d","guanzhong",10);

写在文件里的内容就是

用户guanzhong, 登录次数10

编程语言的使用,在遵循基本规则的前提下,是仁者见仁,智者见智。总之,透彻了解之后,选择一个符合自己的好的习惯即可

免责声明:

① 本站未注明“稿件来源”的信息均来自网络整理。其文字、图片和音视频稿件的所属权归原作者所有。本站收集整理出于非商业性的教育和科研之目的,并不意味着本站赞同其观点或证实其内容的真实性。仅作为临时的测试数据,供内部测试之用。本站并未授权任何人以任何方式主动获取本站任何信息。

② 本站未注明“稿件来源”的临时测试数据将在测试完成后最终做删除处理。有问题或投稿请发送至: 邮箱/279061341@qq.com QQ/279061341

浅析C/C++中的可变参数与默认参数

下载Word文档到电脑,方便收藏和打印~

下载Word文档

猜你喜欢

浅析C/C++中的可变参数与默认参数

C支持可变参数的函数,这里的意思是C支持函数带有可变数量的参数,最常见的例子就是我们十分熟悉的printf()系列函数。我们还知道在函数调用时参数是自右向左压栈的
2022-11-15

C++ 函数的默认参数和可变参数详解

c++++ 默认参数允许为函数参数设置默认值,而在可变参数中,可以为函数提供任意数量的参数。具体而言:默认参数:允许在函数声明时为参数指定默认值,在调用时如果没有提供值则使用默认值。可变参数:使用 ... 表示,允许函数接受任意数量的参数,
C++ 函数的默认参数和可变参数详解
2024-04-19

C++ 函数默认参数与可变参数的优缺点比较

c++++ 函数中默认参数的优点包括简化调用、增强可读性、避免错误。缺点是限制灵活性、命名限制。可变参数的优点包括无限灵活性、动态绑定。缺点包括复杂性更高、隐式类型转换、调试困难。C++ 函数默认参数与可变参数的优缺点比较在 C++ 中,
C++ 函数默认参数与可变参数的优缺点比较
2024-04-21

C++ 函数默认参数和可变参数的内存管理剖析

默认参数和可变参数的内存管理:默认参数:在函数栈帧中分配内存,大小为其类型的字节数。可变参数:在堆栈帧的尾部分配内存,大小由可变参数数量决定:sizeof(void ) (传入参数数量 + 1)C++ 函数默认参数和可变参数的内存管理剖析
C++ 函数默认参数和可变参数的内存管理剖析
2024-04-19

如何优化 C++ 函数中默认参数和可变参数的使用

优化 c++++ 默认和可变参数函数:默认参数:允许函数使用默认值,减少冗余。将默认参数放在最后以提高可读性。使用 constexpr 默认参数以减少开销。使用结构化绑定以提高复杂默认参数的可读性。可变参数:允许函数接受数量不定的参数。尽量
如何优化 C++ 函数中默认参数和可变参数的使用
2024-04-20

C++ 函数默认参数和可变参数在异步编程中的用法

在异步编程中,c++++ 函数的默认参数和可变参数特性可以简化回调函数:默认参数允许省略可选参数,减少编写和使用回调函数的复杂性。可变参数允许向函数传递任意数量的参数,方便传递动态参数列表。C++ 函数默认参数和可变参数在异步编程中的用法
C++ 函数默认参数和可变参数在异步编程中的用法
2024-04-23

C++ 函数默认参数和可变参数在 Lambda 表达式中的应用

lambda 表达式中,默认参数允许指定参数默认值,而可变参数则允许传递数量不定的参数。默认参数应紧随必选参数,而可变参数必须是函数参数中最后一个。这些功能可以简化代码并提高可读性,例如在处理字符串列表时添加前缀和后缀。C++ 函数默认参数
C++ 函数默认参数和可变参数在 Lambda 表达式中的应用
2024-04-22

C++ 函数默认参数和可变参数在泛型编程中的作用

c++++ 中的默认参数和可变参数在泛型编程中发挥着至关重要的作用:默认参数允许函数在调用时指定可选参数,便于处理不同类型和默认值的元素。可变参数允许函数接受任意数量的参数,便于处理可变数量的元素。实战案例中,泛型容器(例如 vector
C++ 函数默认参数和可变参数在泛型编程中的作用
2024-04-22

探究 C++ 函数默认参数和可变参数的底层实现

默认参数: 在函数定义中指定参数默认值,使用常数预定义;可变参数: 使用省略号表示,编译为指向数组的指针,打包传入参数,遍历数组访问参数。探究 C++ 函数默认参数和可变参数的底层实现默认参数默认参数是一种可以在函数定义中指定参数默认值
探究 C++ 函数默认参数和可变参数的底层实现
2024-04-22

C++中占位参数和默认参数的示例分析

这篇文章将为大家详细讲解有关C++中占位参数和默认参数的示例分析,小编觉得挺实用的,因此分享给大家做个参考,希望大家阅读完这篇文章后可以有所收获。1,默认参数在c++中,函数的形参列表中的形参是可以有默认值的。语法: 返回值类型 函数名 (
2023-06-29

C++ 函数默认参数和可变参数对程序性能的影响

默认参数在编译时展开,不影响运行时性能;可变参数会产生运行时开销,应避免密集使用。C++ 函数默认参数和可变参数对程序性能的影响默认参数默认参数允许函数在不传递实际参数的情况下指定默认值。在编译时展开默认参数,因此不会影响程序的运行时性
C++ 函数默认参数和可变参数对程序性能的影响
2024-04-22

C++ 函数默认参数和可变参数在不同编译器中的差异

默认参数允许函数使用预设值,c++++11 及以上版本支持,在 visual studio 中使用不同语法。可变参数允许函数接收不定参数,c++11 及以上版本支持,在 visual studio 中不支持,gcc 中需要使用特殊语法。C+
C++ 函数默认参数和可变参数在不同编译器中的差异
2024-04-23

如何调试 C++ 函数中默认参数和可变参数相关的问题

调试 c++++ 函数中默认参数和可变参数的问题可以通过以下方法:使用调试器查看函数中实际使用的参数值。在代码中添加日志语句,记录传给函数的实际参数。使用调试器查看可变参数列表的内容。在代码中添加日志语句,打印传递给函数的可变参数。遵循这些
如何调试 C++ 函数中默认参数和可变参数相关的问题
2024-04-22

C++中默认无参构造函数的工作机制浅析

构造函数主要作用在于创建对象时为对象的成员属性赋值,构造函数由编译器自动调用,无须手动调用;析构函数主要作用在于对象销毁前系统自动调用,执行一些清理工作
2023-02-28

C++ 函数默认参数和可变参数在错误处理中的最佳实践

在 c++++ 中,使用默认参数和可变参数可以优化错误处理:默认参数允许设置默认错误代码和消息,简化函数调用。可变参数接受不定数量的参数,便于记录多个错误信息。最佳实践包括使用默认值替代特殊值、记录所有错误并保持一致性,以提高代码可读性和可
C++ 函数默认参数和可变参数在错误处理中的最佳实践
2024-04-22

C++ 函数默认参数和可变参数在面向对象编程中的应用

c++++ 中可应用于面向对象编程的默认参数和可变参数,提升代码可读性和重用性:默认参数:允许为函数参数指定默认值,缺省时使用;可变参数:支持函数处理不定数量的参数,提升代码灵活性。C++ 函数默认参数和可变参数在面向对象编程中的应用默认
C++ 函数默认参数和可变参数在面向对象编程中的应用
2024-04-23

C++ 函数默认参数和可变参数在模板编程中的特殊用法

c++++ 中针对默认参数和可变参数在模板编程中的特殊用法:默认参数允许函数在没有指定参数时使用默认值,从而实现函数重载的泛型化。可变参数允许函数接收任意数量的参数,实现了代码的通用性,可以用于处理任意数量的参数的函数或泛型化容器。实战案例
C++ 函数默认参数和可变参数在模板编程中的特殊用法
2024-04-22

C++ 函数的默认参数和命名参数

在 c++++ 中,函数参数可设置默认值,简化函数调用和提高代码可读性。此外,c++11 引入了命名参数,允许在函数调用时使用参数名称指定参数值,从而增强代码可读性和灵活性:默认参数:使用等号 (=) 指定参数默认值。命名参数:使用冒号 (
C++ 函数的默认参数和命名参数
2024-04-13

C++ 函数默认参数和可变参数在多线程环境中的使用策略

在多线程环境中使用 c++++ 函数的默认参数和可变参数时,务必考虑线程安全问题。默认参数: 若默认参数不可变(如整型或字符串字面量),则线程安全,因为它们不会被修改。可变参数: 可将可变参数复制到线程本地存储中,每个线程拥有独立的副本,避
C++ 函数默认参数和可变参数在多线程环境中的使用策略
2024-04-23

编程热搜

  • Python 学习之路 - Python
    一、安装Python34Windows在Python官网(https://www.python.org/downloads/)下载安装包并安装。Python的默认安装路径是:C:\Python34配置环境变量:【右键计算机】--》【属性】-
    Python 学习之路 - Python
  • chatgpt的中文全称是什么
    chatgpt的中文全称是生成型预训练变换模型。ChatGPT是什么ChatGPT是美国人工智能研究实验室OpenAI开发的一种全新聊天机器人模型,它能够通过学习和理解人类的语言来进行对话,还能根据聊天的上下文进行互动,并协助人类完成一系列
    chatgpt的中文全称是什么
  • C/C++中extern函数使用详解
  • C/C++可变参数的使用
    可变参数的使用方法远远不止以下几种,不过在C,C++中使用可变参数时要小心,在使用printf()等函数时传入的参数个数一定不能比前面的格式化字符串中的’%’符号个数少,否则会产生访问越界,运气不好的话还会导致程序崩溃
    C/C++可变参数的使用
  • css样式文件该放在哪里
  • php中数组下标必须是连续的吗
  • Python 3 教程
    Python 3 教程 Python 的 3.0 版本,常被称为 Python 3000,或简称 Py3k。相对于 Python 的早期版本,这是一个较大的升级。为了不带入过多的累赘,Python 3.0 在设计的时候没有考虑向下兼容。 Python
    Python 3 教程
  • Python pip包管理
    一、前言    在Python中, 安装第三方模块是通过 setuptools 这个工具完成的。 Python有两个封装了 setuptools的包管理工具: easy_install  和  pip , 目前官方推荐使用 pip。    
    Python pip包管理
  • ubuntu如何重新编译内核
  • 改善Java代码之慎用java动态编译

目录