任何未在寄存器中传递的实参都会倒序放置在栈上。每个实参都放置在下一个可用地址处，并根据其类型正确对齐，但需考虑以下其他因素：

• 标量的栈对齐方式是其所声明类型的栈对齐方式。
• 无论成员要求何种对齐，值传递结构体的栈对齐都是大于或等于其大小的 2 最小幂。（此值不能超过 2 个字节，这是值传递结构体的最大允许大小）。这样一来，即使类型本身未足够严格地对齐，也允许对齐加载实参，而大小为 32 且包含字符数组的结构可能就是这种情况。
• 每个实参都保留一定数量的栈空间，其大小等于其四舍五入为其栈对齐的下一个倍数。

对于可变实参的 C 函数（即，用省略号声明，表明它是使用不同数量的实参调用的函数），最后一个显式声明的实参和所有剩余的实参都在栈上传递，以便其栈地址可以作为访问未声明实参的参考。

根据 C 语言，小于整数值的可变实参函数的未声明标量实参被提升为整数值并作为整数值传递。

在栈上传递的实参之间可能会出现对齐“孔”，但不会出现“回填”。