函数的可变数目参数 与 栈 .

作者:不及格的程序员-八神

函数是写程序中被广泛使用的通用模块，目前流行的主要语言或平台一般都支持的可变数目参数,可实现方式大不一样。

就是说当函数被调用时，参数的个数是不固定的。

 

C/C++的实现

该平台实现可变数目参数的函数,最复杂,它靠调用者将参数压栈传递给它，同时在调用完成函数时，调用者负责清理栈，将栈空间恢复，维持栈平衡。

经典的C语言函数printf就支持可变数目的参数，因为它约定了由调用者清理栈。这种约定很重要,不然调用者清理栈,函数本身也清理栈,栈的结构就会被破坏.

因为只有调用者知道要传给它多少个参数.如果由函数本身清理,就会出现问题,它根本不知道外层都有哪些栈空间传递过来.

x86平台下有几种约定方式，c调用协定（支持） 标准调用协定 快速调用协定 this调用协定 clr调用协定 x64调用协定（支持）

 

.NET 平台

以C#为例,它也可以通过在函数中使用params关键字实现可变数目参数（其实是假的,其实即时编译器会成类似数组的参数传过进去），它使用的是快速调用协定，通过cx与dx寄存器传递参数首地址。

由clr运行时的即时编译器来处理计算函数参数的个数与地址。

总之它是假的，并不是真正用像"c调用协定"的方式使用栈空间操作。

WEB平台的javascript

更简单js解析器会在函数范围内维护一个对象(类似数组) ,它包含了全部函数的使用的参数...

不过现在比较时兴将javascript编译成本地码的js引擎,我猜它们的实现方式也应该类似以上两种形式,每家都有各自的高招.