详解学习记实现.pdfVIP

210学习(4)

--printf的实现

问：什么是可选参数？

答：比如函数intprintf(constchar*format,...)，那么参数format后面的都是可选参数(注：不包含format)，

即可以传入可以不传入的参数。

问：C函数是怎么被组织进C程序的？

答：C语言的函数是从下(低地址)向上(高地址)压入堆栈的，如下图所示：

栈底高地址

|

|函数返回地址

|

|函数最后一个参数

|

|函数第一个可变参数--va_start后ap指向

|函数最后一个固定参数

|

|函数第一个固定参数

栈顶低地址

问：实现可选参数，需要做些什么呢？

答：解析如下：

1.关键的宏：

typedefint*va_list;//va_list等价于int*即整型指针，该变量类型应该根据具体的架构(ARM，X86)确定

#defineva_start(ap,A)(ap=(int*)(A)+1)//(int*)得到A所在的地址，并强制类型转换为int*，然后这

//个地址加上A的大小，则使ap指向第一个可变参数!!

#defineva_arg(ap,T)(*(T*)ap++)//先对指针ap(即地址)进行强制类型转换，转换为该变量实际的类型，

//然后ap(即当前地址)自加1(即加一个类型的大小，指向下一个可变参

！

//数的地址)，这类应该注意的是，先使用后自加，然后取出该地址的值！

#defineva_end(ap)((void)0)

辅助理解(结合C函数是怎么被组织进C程序的)：

1).va_sg_ptr,argN)：使参数列表指针arg_ptr指向函数参数列表中的第一个可选参数，说明：argN

是位于第一个可选参数之前的固定参数，（或者说，最后一个固定参数，或者说，…之前的一个参数），函

数参数列表中参数在内存中的存放顺序与函数时的顺序是一致的。如果有一va_test()函数的是

voidva_test(chara,charb,charc,…)，则它的固定参数(和在内存中存放的顺序)依次是a,b,c，最后一个固定

参数argN为c，因此就是va_sg_ptr,c)；

2).va_arg(arg_ptr,type)：返回参数列表中指针arg_ptr所指的参数，返回类型为type，并使指针arg_ptr

指向参数列表中的下一个可选参数；

va_end(arg_ptr)：清空参数列表，并置参数指针arg_ptr无效。说明：指针arg_ptr被置无效后，可以通过调

用va_start()、va_copy()恢复arg_ptr。每次调用va_start()或va_copy()后，必须得有相应的va_end()与之匹

配。参数