入栈规则


可变参数函数的实现与函数调用的栈帧结构是密切相关的。所以在我们实现可变参数之前,先得搞清楚 栈是怎样传参的。

正常情况下,C的函数参数入栈遵照__stdcall规则, 它是从右到左的,即函数中的参数入栈是从右到左的。

例如:

 void test(char a, int b,double c,char * d){
printf("a:%#p\nb:%#p\nc:%#p\nd:%#p",&a,&b,&c,d);
}
int main(){
char ch;
test('a',,,&ch);
return ;
}

从各个形参变量的地址可以看出它们地址大小确实是从右到左依次减小的,说明它们是从右到左压栈的,

实现原理


对于固定参数列表的函数,每个参数的名称、类型都是直接可见的,他们的地址也都是可以直接得到的,比如:通过&a就可以得到a的地址,并通过函数原型声明了解到a是char类型的。

  对于变长参数的函数,怎么办呢?其实想想函数传参的过程,无论"..."中有多少个参数、每个参数是什么类型的,它们都和固定参数的传参过程是一样的,简单来讲都是栈操作,同时C标准的说明中,是支持变长参数的函数在原型声明中的,但须至少有一个最左固定参数,嘿嘿~ 这样,我们不就可以得到其中固定参数的地址了吗?

  知道了某函数帧的栈上的一个固定参数的位置,所以我们完全可以自己通过栈操作,推导出其他变长参数的位置,进而实现可变参数函数。(这个“固定的参数”一般就是可变参数函数里在第一个位置的参数,通过它就可以开始找到后面各种类型、个数不定的参数了)

(上述说了一下实现原理,知道的大佬就请忽略咯~)

实现步骤


我们常用的可变参数列表有这几个:
1.va_list

 源码:typedef char * va_list; 

va_list为char*类型重定义,所以va_list为一个指向char类型的指针(va_list p就等同于 char *p)

2.va_start(ap,v)

源码:.#define va_start _crt_va_start
.#define _crt_va_start(ap,v) (ap=(va_list)_ADDRESSOF(v)+ _INTSIZEOF(V))

把v的地址强转为va_list类型即char* ,把其移动_INTSIZEOF(V)个字节后的地址赋值给ap,其实就是让ap跳过第一个参数,指向"..."里的第一个可变参数。
(这里这个_ADDRESSOF(v)是一个宏,对变量v取地址的意思;这个INSIZEOF(v)也是宏,是对变量v向上取4的倍数,
也就是说如果v占字节大小在1~4个字节范围内,就取4,v所占字节大小在5~8字节之间就取8,以此类推...
至于这里,_ADDRESSOF(v),_INTSIZEOF(V)这两个宏怎么实现,后面有小弟我一点浅浅的见解~

3.va_arg(ap,t)

源码:.#define va_arg _crt_va_arg
.#define _crt_va_arg(ap,t) ( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) )

它的作用就是将ap移动_INTSIZEOF(t)个字节后,然后再取出ap未移动前所指向位置对应的数据。

下面假使t为一个int型变量,如下图分析

4.va_end(ap)

源码:.#define va_end _crt_va_end
.#define _crt_va_end(ap) ( ap = (va_list)0 )

将0强转为va_list类型,并赋值给ap,使其置空

于是这样就可以开始实现my_print函数

#include<stdio.h>
#include<assert.h>
#include<stdarg.h>
void putInt(int n){
if(n>){
putInt(n/);
}
putchar(n%+ '');
}
int My_print(const char *formt, ...)
{
assert(formt);
va_list arg;//定义arg
va_start(arg, formt);//初始化arg 即跳过传进来的第一个参数 ,这里相当于跳过"output:>%s %c %c %d"这个字符串
const char *start=formt;
while (*start!= '\0')
{
if(*start =='%'){
start++;
switch(*start)
{
case 'd':
putInt(va_arg(arg, int));
break;
case 'c':
putchar(va_arg(arg, int)); //char类型提升,用int类型。
break;
case 's':
{ /*puts(va_arg(arg, char*));*/ //字符串可以直接用puts()函数输出
char *ch = va_arg(arg, char*);//定义一个指针变量接收获取的字符,用putchar()一个一个输出
while (*ch)
{
putchar(*ch);
ch++;
}
}
break;
case 'f':{
float a=(float)va_arg(arg,double); //float类型提升,所以用double (小陷阱)
printf("%f",a); //BUG 要模拟浮点型比较复杂,这里耍个小聪明~
}
break;
default :
break;
}
}
else {
putchar(*start) ;
}
start++;
}
va_end(arg); //必须有这一步,结束栈操作
return ;
} int main()
{
char str[]="Beat box!";
My_print("Output:>%f %c%c %d %s",3.14,'t','p',,str) ;
return ;
}


结果:

注意陷阱


从上面的例子中,不难注意到了这样一个问题,这里借助查询的资料来说明:

我们用va_arg(ap,type)取出一个参数的时候,
type绝对不能为以下类型:
——char、signed char、unsigned char
——short、unsigned short
——signed short、short int、signed short int、unsigned short int
——float

在没有函数原型的情况下,char与short类型都将被默认转换为int类型,float类型将被转换为double类型。
                ——《C语言程序设计》第2版  2.7 类型转换 p36

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

这就是在实现可变参数时,常常需要注意的小问题

至于前面所说的那两个宏

_ADDRESSOF(V)

源码:#define _ADDRESSOF(v)   ( &(v) )
其实就是对变量v取地址的意思。

_INTSIZEOF(v)

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

按式子可以先把这个宏改写成:(sizeof(n) + 4 - 1)& (-3)  然后传入变量 n,
n如占2个字节,就成了 5&(111...100)=4;
如占3个字节,就成了6&(111...100)=4;
如占5个字节,就成了8&(111...100)=8;
。。。
结果始终是4的倍数,如此便不难发现上面所述的规律了。

如有错误,希望指出!

欢迎来扰~~

利用可变参数模拟Printf()函数实现一个my_print()函数和调用可变参数注意的陷阱!的更多相关文章

  1. 可变参数模拟printf()函数实现一个my_print()函数以及调用可变参数需注意的陷阱

    入栈规则 可变参数函数的实现与函数调用的栈帧结构是密切相关的.所以在我们实现可变参数之前,先得搞清楚 栈是怎样传参的. 正常情况下,C的函数参数入栈遵照__stdcall规则, 它是从右到左的,即函数 ...

  2. 一个 Map 函数、一个 Reduce 函数和一个 main 函数

    MapReduce 最简单的 MapReduce应用程序至少包含 3 个部分:一个 Map 函数.一个 Reduce 函数和一个 main 函数.main 函数将作业控制和文件输入/输出结合起来.在这 ...

  3. [c++][语言语法]函数模板和模板函数 及参数类型的运行时判断

    参考:http://blog.csdn.net/beyondhaven/article/details/4204345 参考:http://blog.csdn.net/joeblackzqq/arti ...

  4. jquery回调函数的一个案例

    1.引言 今天在学习<jQuery基础教程>在学习编写插件的时候,书中说利用回调函数来当参数,会极大的提高程序的灵活性.对回调函数很陌生.研究了一下给的示例程序.感觉对回调函数有了基本的了 ...

  5. python一个用例,多组参数,多个结果

    在某种情况下,需要用不同的参数组合测试同样的行为,你希望从test case的执行结果上知道在测试什么,而不是单单得到一个大的 test case:此时如果仅仅写一个test case并用内嵌循环来进 ...

  6. const参数,const返回值与const函数

    在C++程序中,经常用const 来限制对一个对象的操作,例如,将一个变量定义为const 的: const  int  n=3; 则这个变量的值不能被修改,即不能对变量赋值. const 这个关键字 ...

  7. Scala 基础(十一):Scala 函数式编程(三)高级(一)偏函数、作为参数的函数、匿名函数、高阶函数

    1 偏函数 1)在对符合某个条件,而不是所有情况进行逻辑操作时,使用偏函数是一个不错的选择 2)将包在大括号内的一组case语句封装为函数,我们称之为偏函数,它只对会作用于指定类型的参数或指定范围值的 ...

  8. Callback函数详解(我感觉,回掉函数的本质是函数指针,在业务做循环处理的时候,调用一下通知外部)

    2010年的最后一天了,转载一篇自己认为还不错的文章与大家分享.希望对大家有所帮助. 一,回调函数 我们经常在C++设计时通过使用回调函数可以使有些应用(如定时器事件回调处理.用回调函数记录某操作进度 ...

  9. 深入浅出剖析C语言函数指针与回调函数(一)【转】

    本文转载自:http://blog.csdn.net/morixinguan/article/details/65494239 关于静态库和动态库的使用和制作方法. http://blog.csdn. ...

随机推荐

  1. 基于Redis位图实现系统用户登录统计

    项目需求,试着写了一个简单登录统计,基本功能都实现了,日志数据量小.具体性能没有进行测试~ 记录下开发过程与代码,留着以后改进! 1. 需求 1. 实现记录用户哪天进行了登录,每天只记录是否登录过,重 ...

  2. Hadoop(七)HDFS容错机制详解

    前言 HDFS(Hadoop Distributed File System)是一个分布式文件系统.它具有高容错性并提供了高吞吐量的数据访问,非常适合大规模数据集上的应用,它提供了一个高度容错性和高吞 ...

  3. iOS正确使用const,static,extern

    static 修饰局部变量 让局部变量只初始化一次 局部变量在程序中只有一份内存 并不会改变局部变量的作用域,仅仅是改变了局部变量的生命周期(只到程序结束,这个局部变量才会销毁) 修饰全局变量 全局变 ...

  4. Java-JMS Bug记录

    1.Junit测试时,使用for循环发送JMS(ReportQuestionSender)的时候,监听器(ReportQuestionListener)只接受到一条消息. 原因:使用Junit测试会阻 ...

  5. AspxGridView控件的使用

    在网上找到的不错的资料: http://www.lmwlove.com/ai/SubjectID6 以下是自我总结: 要实现的功能:使用AspxGridView显示Scott数据库中emp与dept两 ...

  6. C# 基础之类型(一)

    一.类型 类型总共分为两种,一种是值类型(Value Type),如枚举.结构:另一种是引用类型(Reference Type),如类.接口.委托等. 值类型 1,值类型通常分配在线程的堆栈上 2,作 ...

  7. Xamarin.Forms 开发IOS、Android、UWP应用

    C#语言特点,简单.快速.高效.本次我们通过C#以及Xaml来做移动开发. 1.开发工具visual studio 2015或visual studio 2017.当然visual studio 20 ...

  8. HashMap工作原理 和 HashTable

    原文链接: Javarevisited 翻译: ImportNew.com - 唐小娟 译文链接: http://www.importnew.com/7099.html 你用过HashMap吗 譬如H ...

  9. Linux命令用法

    1.cut http://www.cnblogs.com/dong008259/archive/2011/12/09/2282679.html 2.sed http://www.cnblogs.com ...

  10. Ionic3 编程-应用启动进入引导页

    新建引导页面 ionic g page welcome 导入组件 修改模版文件:welcome.html 修改样式文件:welcome.scss 安装相关插件: 数据库使用SQLite:ionic c ...