(一)
C语言中的函数参数:
从固定参数和变化的参数角度分析C语言中的函数参数,例如下面的函数
void func(int a,int b,int c){}
上面的函数有3个参数,参数列表是一个栈的结构
入栈的顺序是从左到右,这样设置是为了可以比较方便的处理变参函数
所以a在栈底,c在栈顶(从a到c地址从低到高,在32位系统上地址是4字节,64位系统上地址是8字节)
(char *)&a+sizeof(char*) = (char *)&b;
(char *)&b + sizeof(char*) = (char *)&c;
下面是变参函数比较简单的形式(int n直接说明变参个数为n,变参类型为int)
void vafunc(int n,…){}
这种变参函数在前面的参数中都或多或少的包含…这个变参中包含的参数个数
上面这个例子比较简单,比如经常用到的printf的声明如下
int printf(const char *format,…);
format是一个格式化字符串,其中包含以%开头的各种格式化符号,
符号的个数是变参的个数,符号的名称对应变参的各种类型,符号的写法决定输出的形式
比如%d,代表的就是int类型,直接原样输出,%02d表示不足两位的整数输出两位(比如2,输出为02)
等等
(二)
printf函数的底层实现原理:
根据C语言函数的参数栈结构,C语言提供了va_list系列的宏用来操作变参
typedef char * va_list;
#define __INTSIZEOF(n)((sizeof(n)+sizeof(int)-1)& ~(sizeof(int)- 1) ) //这个宏可以得到4的倍数的值(为了内存对齐),32位系统下为4,64位系统下值为8.
#define va_start(ap,v) (ap = (va_list)&v + _INTSIZEOF(v) ) //这个宏可以获取第一个变参的地址
#define va_arg(ap,t) (*(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) ) //这个宏负责根据类型(t,type表示类型)这里有个比较难理解的地方,((ap+= _INTSIZEOF(t)) - _INTSIZEOF(t))
一眼看上去是没有什么变化,实际上这个分为两步
ap = ap + _INTSIZEOF(t);
Char*ptr =ap - _INTSIZEOF(t);
也就是说,执行完成后得到一个ptr也就是当前ap的地址,而宏执行完成后,ap的地址偏移了_INTSIZEOF(t);
也就是ap一直在变化,从栈底到栈顶
*(t*)ptr,其实就是把地址强制类型转换为对应类型的地址,然后再取对应的值;