可变参数与参数进栈顺序
来源:互联网 发布:网络招生哪家强 编辑:程序博客网 时间:2024/04/30 15:30
可变参数与参数进栈顺序
C支持可变参数的函数,这里的意思是C支持函数带有可变数量的参数,最常见的例子就是我们十分熟悉的printf()系列函数。我们还知道在函数调用时参数是自右向左压栈的。如果可变参数函数的一般形式是:
f(p1, p2, p3, …)
那么参数进栈(以及出栈)的顺序是:
…
push p3
push p2
push p1
call f
pop p1
pop p2
pop p3
…
我可以得到这样一个结论:如果支持可变参数的函数,那么参数进栈的顺序几乎必然是自右向左的。并且,参数出栈也不能由函数自己完成,而应该由调用者完成。
这个结论的后半部分是不难理解的,因为函数自身不知道调用者传入了多少参数,但是调用者知道,所以调用者应该负责将所有参数出栈。
在可变参数函数的一般形式中,左边是已经确定的参数,右边省略号代表未知参数部分。对于已经确定的参数,它在栈上的位置也必须是确定的。否则意味着已经确定的参数是不能定位和找到的,这样是无法保证函数正确执行的。衡量参数在栈上的位置,就是离开确切的函数调用点(call f)有多远。已经确定的参数,它在栈上的位置,不应该依赖参数的具体数量,因为参数的数量是未知的!
所以,选择只能是,已经确定的参数,离开函数调用点有确定的距离(较近)。满足这个条件,只有参数入栈遵从自右向左规则。也就是说,左边确定的参数后入栈,离函数调用点有确定的距离(最左边的参数最后入栈,离函数调用点最近)。
这样,当函数开始执行后,它能找到所有已经确定的参数。根据函数自己的逻辑,它负责寻找和解释后面可变的参数(在离开调用点较远的地方),通常这依赖于已经确定的参数的值(典型的如prinf()函数的格式解释,遗憾的是这样的方式具有脆弱性)。
据说在pascal中参数是自左向右压栈的,与C的相反。对于pascal这种只支持固定参数函数的语言,它没有可变参数带来的问题。因此,它选择哪种参数进栈方式都是可以的。甚至,其参数出栈是由函数自己完成的,而不是调用者,因为函数的参数的类型和数量是完全已知的。这种方式比采用C的方式的效率更好,因为占用更少的代码量(在C中,函数每次调用的地方,都生成了参数出栈代码)。
C++为了兼容C,所以仍然支持函数带有可变的参数。但是在C++中更好的选择常常是函数重载。
- 可变参数与参数进栈顺序
- C++特性探寻-可变参数和参数进栈顺序
- C语言函数入栈顺序与可变参数函数
- C语言函数入栈顺序与可变参数函数
- C语言函数入栈顺序与可变参数函数
- C语言函数入栈顺序与可变参数函数
- C语言函数入栈顺序与可变参数函数
- C语言函数入栈顺序与可变参数函数
- C语言函数入栈顺序与可变参数函数
- C语言函数入栈顺序与可变参数函数
- [C/C++]函数参数的入栈顺序与可变参数的实现
- 函数参数的入栈顺序与可变参数的实现
- [C/C++]函数参数的入栈顺序与可变参数的实现
- [C/C++]函数参数的入栈顺序与可变参数的实现
- VC++函数参数的入栈顺序与可变参数的实现
- [C/C++]函数参数的入栈顺序与可变参数的实现
- [ZZ]C++特性探寻-可变参数和参数进栈顺序。
- 可变参数与printf
- 我的第一个C++上机程序
- SQL In 和exists区别
- POJ 1050 To the Max
- 浅谈基数排序
- 微积分基础知识
- 可变参数与参数进栈顺序
- 实现服务器与数据库的连接
- 开源b3log代码赏析
- windows下emacs中c++编程简单实例
- 继承和对象自然增长
- 客户端访问服务器的一个例子
- 成员函数和this指针
- 2013 蓝桥杯 全国软件大赛 c/c++ B组 决赛 第 五题
- Apache与tomcat的使用