C/C++中用va_start/va_arg/va_end实现可变参数函数的原理与实例详解

2024-01-09 21:58

本文主要是介绍C/C++中用va_start/va_arg/va_end实现可变参数函数的原理与实例详解,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

        在C/C++中,我们经常会用到可变参数的函数(比如printf/snprintf等),本篇笔记旨在讲解编译器借助va_start/va_arg/va_end这簇宏来实现可变参数函数的原理,并在文末给出简单的实例。
        备注:本文的分析适用于Linux/Windows,其它操作系统平台的可变参数函数的实现原理大体相似。

1. 基础知识
        如果想要真正理解可变参数函数背后的运行机制,建议先理解两部分基础内容:
         1)函数调用栈
         2)函数调用约定
        关于这两个基础知识点,我之前的笔记有详细介绍,感兴趣的童鞋可以移步这里:栈与函数调用惯例—上篇 和栈与函数调用惯例—下篇

2. 三个宏:va_start/va_arg/va_end
        由man va_start可知,这簇宏定义在stdarg.h中,在我的测试机器上,该头文件路径为:/usr/lib/gcc/x86_64-redhat-linux/3.4.5/include/stdarg.h,在gcc源码中,其路径为:gcc/include/stdarg.h。
        在stdarg.h中,宏定义的相关代码如下:

    #define va_start(v,l)  __builtin_va_start(v,l)#define va_end(v)      __builtin_va_end(v)#define va_arg(v,l)    __builtin_va_arg(v,l)#if !defined(__STRICT_ANSI__) || __STDC_VERSION__ + 0 >= 199900L#define va_copy(d,s)    __builtin_va_copy(d,s)#endif#define __va_copy(d,s)  __builtin_va_copy(d,s)
        其中,前3行就是我们所关心的va_start & var_arg & var_end的定义(至于va_copy,man中有所提及,但通常不会用到,想了解的同学可man查看之)。可见,gcc将它们定义为一组builtin函数。
        关于这组builtin函数的实现代码,我曾试图在gcc源码中沿着调用路径往下探索,无奈gcc为实现这组builtin函数引入了很多自定义的数据结构和宏,对非编译器研究者的我来说,实在有点晦涩,最终探索过程无疾而终。在这里,我列出目前跟踪到的调用路径,以便有兴趣的童鞋能继续探索下去或指出我的不足,先在此谢过。
        __builtin_va_start()函数的调用路径:
// file: gcc/builtins.c
/* The "standard" implementation of va_start: just assign `nextarg' to the variable.  */
void std_expand_builtin_va_start (tree valist, rtx nextarg)                        
{                                                                             rtx va_r = expand_expr (valist, NULL_RTX, VOIDmode, EXPAND_WRITE);convert_move (va_r, nextarg, 0);  // definition is in gcc/expr.c
}
// 上述代码中调用了expand_expr()来展开表达式,我猜测该函数调用完后,va_list指向了可变参数list前的最后一个已知类型参数
//  file: gcc/expr.h
/* Generate code for computing expression EXP.An rtx for the computed value is returned.  The value is never null.In the case of a void EXP, const0_rtx is returned.  
*/
static inline rtx expand_expr (tree exp, rtx target, enum machine_mode mode,enum expand_modifier modifier)
{return expand_expr_real (exp, target, mode, modifier, NULL);
}

3. Windows系统VS内置编译器对va_start/va_arg/va_end的实现
        如前所述,我
没能 在gcc源码中 找出va_startva_arg/va_end这3个宏的实现代码(⊙﹏⊙b汗),所幸的是,Windows平台VS2008集成的编译器中,对这三个函数有很明确的实现代码,摘出如下。
/* file path: Microsoft Visual Studio 9.0\VC\include\stdarg.h */
#include <vadefs.h>#define va_start _crt_va_start
#define va_arg _crt_va_arg
#define va_end _crt_va_end
        可见,Windows系统下,仍然将va_start/va_arg/va_end定义为一组宏。他们对应的实现在vadefs.h中:
/* file path: Microsoft Visual Studio 9.0\VC\include\vadefs.h */
#ifdef  __cplusplus
#define _ADDRESSOF(v)   ( &reinterpret_cast<const char &>(v) )
#else
#define _ADDRESSOF(v)   ( &(v) )
#endif#define _INTSIZEOF(n)   ( (sizeof(n) + sizeof(int) - 1) & ~(sizeof(int) - 1) )#define _crt_va_start(ap,v)  ( ap = (va_list)_ADDRESSOF(v) + _INTSIZEOF(v) )
#define _crt_va_arg(ap,t)    ( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) )
#define _crt_va_end(ap)      ( ap = (va_list)0 )
        备注:在VS2008提供的vadefs.h文件中,定义了若干组宏以支持不同的操作系统平台,上面摘出的代码片段是针对IA x86_32的实现。
        下面对上面的代码做个解释:
          a. 宏_ADDRESSOF(v)作用:取参数v的地址。
          b. 宏_INTSIZEOF(n)作用:返回参数n的size并保证4字节对齐(32-bits平台)。这个宏应用了一个 小技巧来实现字节对齐: ~(sizeof(int) - 1)的值对应的2进制值的低k位一定是0,其中sizeof(int) = 2^k,因此,在IA x86_32下,k=2。理解了这一点,那么(sizeof(n) + sizeof(int) - 1) & ~(sizeof(int) - 1)的作用就很直观了,它保证了sizeof(n)的值按sizeof(int)的值做对齐,例如在32-bits平台下,就是按4字节对齐;在64-bits平台下,按8字节对齐。至于为什么要保证对齐,与编译器的底层实现有关,这里不再展开。
          c. _crt_va_start(ap,v)作用:通过v的内存地址来计算ap的起始地址,其中,v是可变参数函数的参数中, 最后一个类型已知的参数,执行的结果是ap指向可变参数列表的第1个参数。以int snprintf(char *str, size_t size, const char *format, ...)为例,其函数参数列表中最后一个已知类型的参数是const char *format,因此,参数format对应的就是_crt_va_start(ap, v)中的v, 而ap则指向传入的第1个可变参数。
        特别需要理解的是:为什么ap = address(v) + sizeof(v),这与 函数栈从高地址向低地址的增长方向函数调用时参数从右向左的压栈顺序有关,这里默认大家已经搞清楚了这些基础知识,不再展开详述。
          d. _crt_va_arg(ap,t)作用:更新指针ap后,取类型为t的变量的值并返回该值。
          e. _crt_va_end(ap)作用:指针ap置0,防止野指针。
        概括来说,可变参数函数的实现原理是:
         1)根据函数参数列表中最后一个已知类型的参数地址,得到可变参数列表的第一个可变参数
         2)根据程序员指定的每个可变参数的类型,通过地址及参数类型的size获取该参数值
         3)遍历,直到访问完所有的可变参数
        从上面的实现过程可以注意到, 可变参数的函数实现严重依赖于函数栈及函数调用约定(主要是参数压栈顺序),同时,依赖于程序员指定的可变参数类型 因此,若指定的参数类型与实际提供的参数类型不符时,程序出core简直就是一定的。

4. 程序实例
        经过上面对可变参数函数实现机制的分析,很容易实现一个带可变参数的函数。程序实例如下:

#include <stdio.h>
#include <stdarg.h>void foo(char *fmt, ...) 
{va_list ap;int d;char c, *p, *s;va_start(ap, fmt);while (*fmt) {if('%' == *fmt) {switch(*(++fmt)) {case 's': /* string */s = va_arg(ap, char *);printf("%s", s);break;case 'd': /* int */d = va_arg(ap, int);printf("%d", d);break;case 'c': /* char *//* need a cast here since va_arg only takes fully promoted types */c = (char) va_arg(ap, int);printf("%c", c);break;default:c = *fmt;printf("%c", c);}  // end of switch}  else {c = *fmt;printf("%c", c);}++fmt;}va_end(ap);
}int main(int argc, char * argv[])
{foo("sdccds%%, string=%s, int=%d, char=%c\n", "hello world", 211, 'k');return 0;
}

        上面的代码很简单,旨在抛砖引玉,只要真正搞清楚了可变参数函数的原理,相信各位会写出更加复杂精细的可变参函数。
         ^_^

【参考资料】
1. linux man : va_start
2. wikipedia - x86 calling conventions
3. VS2008头文件:stdarg.h和vadefs.h的源码

================== EOF =================


这篇关于C/C++中用va_start/va_arg/va_end实现可变参数函数的原理与实例详解的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/588560

相关文章

Spring Security基于数据库验证流程详解

Spring Security 校验流程图 相关解释说明(认真看哦) AbstractAuthenticationProcessingFilter 抽象类 /*** 调用 #requiresAuthentication(HttpServletRequest, HttpServletResponse) 决定是否需要进行验证操作。* 如果需要验证,则会调用 #attemptAuthentica

hdu1043(八数码问题,广搜 + hash(实现状态压缩) )

利用康拓展开将一个排列映射成一个自然数,然后就变成了普通的广搜题。 #include<iostream>#include<algorithm>#include<string>#include<stack>#include<queue>#include<map>#include<stdio.h>#include<stdlib.h>#include<ctype.h>#inclu

【C++ Primer Plus习题】13.4

大家好,这里是国中之林! ❥前些天发现了一个巨牛的人工智能学习网站,通俗易懂,风趣幽默,忍不住分享一下给大家。点击跳转到网站。有兴趣的可以点点进去看看← 问题: 解答: main.cpp #include <iostream>#include "port.h"int main() {Port p1;Port p2("Abc", "Bcc", 30);std::cout <<

深入探索协同过滤:从原理到推荐模块案例

文章目录 前言一、协同过滤1. 基于用户的协同过滤(UserCF)2. 基于物品的协同过滤(ItemCF)3. 相似度计算方法 二、相似度计算方法1. 欧氏距离2. 皮尔逊相关系数3. 杰卡德相似系数4. 余弦相似度 三、推荐模块案例1.基于文章的协同过滤推荐功能2.基于用户的协同过滤推荐功能 前言     在信息过载的时代,推荐系统成为连接用户与内容的桥梁。本文聚焦于

C++包装器

包装器 在 C++ 中,“包装器”通常指的是一种设计模式或编程技巧,用于封装其他代码或对象,使其更易于使用、管理或扩展。包装器的概念在编程中非常普遍,可以用于函数、类、库等多个方面。下面是几个常见的 “包装器” 类型: 1. 函数包装器 函数包装器用于封装一个或多个函数,使其接口更统一或更便于调用。例如,std::function 是一个通用的函数包装器,它可以存储任意可调用对象(函数、函数

Andrej Karpathy最新采访:认知核心模型10亿参数就够了,AI会打破教育不公的僵局

夕小瑶科技说 原创  作者 | 海野 AI圈子的红人,AI大神Andrej Karpathy,曾是OpenAI联合创始人之一,特斯拉AI总监。上一次的动态是官宣创办一家名为 Eureka Labs 的人工智能+教育公司 ,宣布将长期致力于AI原生教育。 近日,Andrej Karpathy接受了No Priors(投资博客)的采访,与硅谷知名投资人 Sara Guo 和 Elad G

hdu1171(母函数或多重背包)

题意:把物品分成两份,使得价值最接近 可以用背包,或者是母函数来解,母函数(1 + x^v+x^2v+.....+x^num*v)(1 + x^v+x^2v+.....+x^num*v)(1 + x^v+x^2v+.....+x^num*v) 其中指数为价值,每一项的数目为(该物品数+1)个 代码如下: #include<iostream>#include<algorithm>

OpenHarmony鸿蒙开发( Beta5.0)无感配网详解

1、简介 无感配网是指在设备联网过程中无需输入热点相关账号信息,即可快速实现设备配网,是一种兼顾高效性、可靠性和安全性的配网方式。 2、配网原理 2.1 通信原理 手机和智能设备之间的信息传递,利用特有的NAN协议实现。利用手机和智能设备之间的WiFi 感知订阅、发布能力,实现了数字管家应用和设备之间的发现。在完成设备间的认证和响应后,即可发送相关配网数据。同时还支持与常规Sof

C++11第三弹:lambda表达式 | 新的类功能 | 模板的可变参数

🌈个人主页: 南桥几晴秋 🌈C++专栏: 南桥谈C++ 🌈C语言专栏: C语言学习系列 🌈Linux学习专栏: 南桥谈Linux 🌈数据结构学习专栏: 数据结构杂谈 🌈数据库学习专栏: 南桥谈MySQL 🌈Qt学习专栏: 南桥谈Qt 🌈菜鸡代码练习: 练习随想记录 🌈git学习: 南桥谈Git 🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈�

【C++】_list常用方法解析及模拟实现

相信自己的力量,只要对自己始终保持信心,尽自己最大努力去完成任何事,就算事情最终结果是失败了,努力了也不留遗憾。💓💓💓 目录   ✨说在前面 🍋知识点一:什么是list? •🌰1.list的定义 •🌰2.list的基本特性 •🌰3.常用接口介绍 🍋知识点二:list常用接口 •🌰1.默认成员函数 🔥构造函数(⭐) 🔥析构函数 •🌰2.list对象