编译器对 C 中的变量参数列表使用了什么样的数据结构？

Question

在处理 C 中的变量参数列表时，我只是想知道编译器在将变量 arguments 存储在列表中时可能使用哪种数据结构。

1. 它是一个空指针数组吗？
2. 它是 void 指针的链表吗？
3. 还是别的什么？

Answer 1

没有结构。 调用代码只是将 arguments 放在堆栈上，正确解码它们是 vararg 函数的责任。

例如，在 printf 的情况下，第一个参数是固定的，一个 c 字符串，rest 根据字符串中的内容进行解码。 C 只是为您提供访问这些元素的工具，因此您不必根据字段的大小进行堆栈指针运算（这取决于体系结构..）

Answer 2

编译器实际上并没有做任何特别的事情。 在编译期间，当调用 function 时，编译器将照常生成代码以将 arguments 的整个列表连续推入堆栈（通常以相反的顺序，取决于调用约定）。

然后被调用者负责从堆栈中检测和引用这些 arguments。 为此，被调用者必须知道 arguments 的编号以及第一个参数的堆栈 memory 地址（这始终是堆栈帧指针的已知偏移量）。 要确定 arguments 的数量，必须传达此信息。 这通常通过以下方式实现：

1. 第一个参数是一个 integer ，它明确表示 arguments 的数量。
2. 该信息被编码在第一个参数中，例如printf的情况。

通常使用 C 宏来自动执行此操作并封装其中一些细节。 请参阅： stdarg.h 宏