探秘C<stdarg.h>实现自己的printf( )

最新推荐文章于 2021-09-09 18:16:01 发布

zmrlinux

最新推荐文章于 2021-09-09 18:16:01 发布

阅读量1.4k

点赞数 2

本文链接：https://blog.csdn.net/zmrlinux/article/details/49965653

版权

前言

最近一直再看C标准库的东西，今天看到了<stdarg.h> .

__START

C语言由一个非常强大的功能，就是它允许定义可接受一个可变参数列表的函数。

尽管C为了这个可变参数也一直在修改着自身的东西，现在基本稳定，现阶段主要是有一下一些宏来确定这些东西。

va_start : 一个函数必须至少声明一个固定的参数。这个宏引用了最后一个固定参数所以它能够对可变参数表进行定位。

va_arg : 不能在va_arg 中没有函数原型的情况下指定会被类型提升的参数类型。例如，必须使用double 来代替flaot .这些宏不能复制适用于可变参数表的改变参数类型的规则。

va_end: 一个函数在返回到它的调用者之前一定要调用va_end .这是因为某些实现在函数返回之前需要整理控制信息。

详细来看看这几个宏的用法

va_list :

这个宏其实就是void * .在VS下却被实现为char * 类型。看来不同的编译环境下还是有区别的。

va_start:

#include<stdarg.h>

void va_start (va-list ap,parmN);

在访问所有未命名的参数之前调用va_start.宏va_start 对ap 进行初始化，以便后面va_arg 和va_end 对它的使用。

va_arg:

这个宏被展开成一个包含类型为type,值为ap的表达式。参数ap应该首先被宏va_start 或 va_copy初始化，但又必须在被宏va_end调用之前使用。每次调用va_arg都会改变ap值使得后续的参数值能被依次添加。参数type应该是一个类型名，并且用type*能够得到该类型的指针类型。如果type为空，或者type和实际参数不匹配，那么除了以下两种情况，这个宏的行为是未定义的。
1. 一个是带符号整型，另一个是与之对应的无符号整型，并且值可以被表达成这两种类型的任何一种；
2. 一个是空类型指针，另一个是字符类型指针。

简而言之就是，每次像后偏移一个参数变量。

va_end:

函数完成清空这个可变参数指针变量。

再来看看这几个宏的实现

首先来看看几个需要用到的宏：

#define _ADDRESSOF (v) (&reinterpret_cast<const char &>(v) )

这个宏用来获取变量V 在函数栈中的地址

typedef char * va_list 这里实现成为char *完全是为了指针运算方便，也有实现为void * 的，但是运算的时候仍然需转换为char *.所以我们就讨论char *这种情况。

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

以int所占的字节数来对齐操作，如果int占四字节则以4字节为对齐为标准读取数据.

va_start:

#define va_start(ap,v) (ap = (va_list)_ADDRESSOF(v) + _INITSIZEOF(v))

它的第一个参数是指向可变参数字符串的变量，第二个参数是可变参数函数的第一个参数，通常是可变参数列表中的参数。

va_arg:

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

注意这里的 "ap += " 所以这里其实是修改了ap 的值，使它指向像一个参数，后边的 -_INTSIZEOF（）” 又加回了这个偏移量只是为了我们可以通过它获得当前的指针位置罢了。我们的ap 指针依然是变化了。

va_end:

#define va_arg ( ap ) (ap = (va_list ) 0)

清零可变参数指针。

[c]

#include<stdio.h>
#include<stdarg.h>

void print(char *fmt,...){
char *vaptr = NULL;
char *temp = NULL;
int count = 0;
int i = 0;
va_list ap;
va_start(ap,fmt);
temp = fmt;
while(*temp != '\0'){
if(*temp == '%'){
switch(*(++temp)){
case 's':
vaptr = va_arg(ap,char *);
puts(vaptr);
break;
case 'c':
vaptr = va_arg(ap,int);
putchar(vaptr);
break;
case 'd':
vaptr = va_arg(ap,int);
printint(vaptr);
break;
default:
break;
}
}
}
}