高手请进：难道标准库STDARG.H是错的？

雨丝风片

咦，这段代码应该不会有“怎么知道第一个参数有多长”的问题吧，
好像是直接把第一个参数的类型传给va_arg，然后va_arg直接
把ap在栈里面移动这么多地方就行了，感觉就是代码里面写死了的，
也没用到什么灵活判断吧，至少表面上看是这样的，

flw

现在的年轻人可真是富有怀疑精神啊！
不服老不行啊！

thinhare

flw, 你先别忙着卖老，先帮我把问题解答一下行不？

win_hate

参数入栈是4字节对齐的，你给它一个 `a', 也要占用 4 个字节。至少在 x86 上是如此。

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

复制代码

这个宏计算对象 n 所占用的 4 字节大小。 n 是根据 %* 得到的，比如 %c，则 n 为 char

stdarg 依靠这个宏计算偏移值。

字符串或数组作为参数时只是地址, 本身的长度并不能从参数列表中体现出来, stdarg 无需计算它。

thinhare

win_hate，你说到点子上了，其实就是variable-length argument的处理中的一个细节，可能我表达得也不是很清楚，所以其他人没有理解我的意思。
不过你为什么要hate win呀？最多也就是dislike就可以了，hate好像说不通。说句闲话，别见怪。

win_hate

我承认 win_hate 名字起得太糟糕，本来没准备长用的。

现在写程序的时候就经常琢磨，哇，这个变量该叫什么好呢？ 命名，是一件很重要的事情。

FH

反汇编一下不是就明白了？

wolf0403

第一次见到这么多神仙，拜一个……

其实我们首先应该怀疑的是，va_start 的本质。如果 va_start 是一个宏，那么 sizeof() 得到的和调用处进行 sizeof 得到的不会有区别。
其次，va_start 只关注参数本身，不关注参数作为一个指针实际指向的是什么。printf 的第一个参数是 char *fmt，紧跟其后的就是一个与 fmt 中对应的类型的参数（如 "%s" 后紧跟的应该是一个 char *）。换言之，va_* 不关心 fmt 指向的东西有多大，不关心 *arg 有多大，只关心 fmt 本身。

btw，本来想看看 va_start 的实现，结果发现 gcc 3.3 中 va_start 居然是 __builtin_*，吐血。