前几天看见小伙伴们发了一个面试题,题目是printf的可变参数是如何实现的?
然后我就专门研究了一下,通过汇编可以知道他们的实现步骤。
下面我们通过汇编来带大家了解下他们的输出结果到底是多少。
printf("int %d, %d\n", 10, a);
这个大家应该都知道输出的是多少,他们的结果是10, 0.那么,这个可变参的函数编译器是怎么确定的,为什么printf可以有任意的长度的参数?这里我通过汇编的方式说明一下:
汇编如下:
通过汇编可以看出,printf是从右向左进行入栈的,,a和10进行入栈后,最后还会把最前的字符串进行入栈。 而在printf函数的实现中有va_arg ,va_start等函数,这几个函数就是用来解析最先入栈的字符串,它们会去检查有多少个%d,%x等之类的符号,通过这个进行确认后面跟了多少参数。
可变参数的类型不是固定的,需由格式字符串进行识别(由%f、%d、%s等确定)
在这个函数中,需通过对传入的格式字符串进行识别来获知可变参数个数及各个可变参数的类型,譬如,在识别为%d后,做的是va_arg ( vap, int ),而获知为%l和%lf后则进行的是va_arg ( vap, long )、va_arg ( vap, double )。格式字符串识别完成后,可变参数也就处理完了。