C语言中函数参数入栈的顺序
先通过一个小程序来看一看:
#include
void foo(int x, int y, int z)
{
printf("x = %d at [%X]n", x, &x);
printf("y = %d at [%X]n", y, &y);
printf("z = %d at [%X]n", z, &z);
}
int main(int argc, char *argv[])
{
foo(100, 200, 300);
c语言和c++区别return 0;
}
运行结果:
x = 100 at [BFE28760]
y = 200 at [BFE28764]
z = 300 at [BFE28768]
C程序栈底为高地址,栈顶为低地址,因此上面的实例可以说明函数参数入栈顺序的确是从右至左的。可到底为什么呢?查了一直些文献得知,参数入栈顺序是和具体编译器实现相关的。比如,Pascal语言中参数就是从左到右入栈的,有些语言中还可以通过修饰符进行指定,如Visual C++.即然两种方式都可以,为什么C语言要选择从右至左呢?
进一步发现,Pascal语言不支持可变长参数,而C语言支持这种特,正是这个原因使得C语言函数参数入栈顺序为从右至左。具体原因为:C方式参数入栈顺序(从右至左)的好处就是可以动态变化参数个数。通过栈堆分析可知,自左向右的入栈方式,最前面的参数被压在栈底。除非知道参数个数,否则是无法通过栈指针的相对位移求得最左边的参数。这样就变成了左边参数的个数不确定,正好和动态参数个数的方向相反。
因此,C语言函数参数采用自右向左的入栈顺序,主要原因是为了支持可变长参数形式。换句话说,如果不支持这个特,C语言完全和Pascal一样,采用自左向右的参数入栈方式。
这儿其实还涉及到C语言中调用约定所采用的方式,下面简单的介绍一下:
__stdcall与C调用约定(__cdecl)的区别
C调用约定在返回前,要作一次堆栈平衡,也就是参数入栈了多少字节,就要弹出来多少字节.这样很安全.
有一点需要注意:stdcall调用约定如果采用了不定参数,即VARARG的话,则和C调用约定一样,要由调用者来作堆栈平衡.
(1)_stdcall是Pascal方式清理C方式压栈,通常用于Win32 Api中,函数采用从右到左的压栈方式,自己在退出时清空堆栈。VC将函数编译后会在函数名前面加上下划线前缀,在函数名后加上"@"和参数的字节数。 int f(void *p) -->> _f@4(在外部汇编语言里可以用这个名字引用这个函数)
在WIN32 API中,只有少数几个函数,如wspintf函数是采用C调用约定,其他都是stdcall
(2)C调用约定(即用__cdecl关键字说明)(The C default calling convention)按从右至左的顺序压参数入栈,由调用者把参数弹出栈。对于传送参数的内存栈是由调用者来维护的(正因为如此,实现可变参数vararg的函数(如printf)只能使用该调用约定)。另外,在函数名修饰约定方面也有所不同。 _cdecl是C和C++程序的缺省调用方式。每一个调用
它的函数都包含清空堆栈的代码,所以产生的可执行文件大小会比调用_stdcall函数的大。函数采用从右到左的压栈方式。VC将函数编译后会在函数名前面加上下划线前缀。
(3)__fastcall调用的主要特点就是快,因为它是通过寄存器来传送参数的(实际上,它用ECX和EDX传送前两个双字(DWORD)或更小的参数,剩下的参数仍旧自右向左压栈传送,被调用的函数在返回前清理传送参数的内存栈),在函数名修饰约定方面,它和前两者均不同。__fastcall方式的函数采用寄存器传递参数,VC将函数编译后会在函数名前面加上"@"前缀,在函数名后加上"@"和参数的字节数。
(4)thiscall仅仅应用于"C++"成员函数。this指针存放于CX/ECX寄存器中,参数从右到左压。thiscall不是关键词,因此不能被程序员指定。
(5)naked call。 当采用1-4的调用约定时,如果必要的话,进入函数时编译器会产生代码来保存ESI,EDI,EBX,EBP寄存器,退出函数时则产生代码恢复这些寄存器的内容。
(这些代码称作 prolog and epilog code,一般,ebp,esp的保存是必须的).
但是naked call不产生这样的代码。naked call不是类型修饰符,故必须和_declspec共同
使用。
关键字 __stdcall、__cdecl和__fastcall可以直接加在要输出的函数前。它们对应的命令行参数分别为/Gz、/Gd和/Gr。缺省状态为/Gd,即__cdecl。
要完全模仿PASCAL调用约定首先必须使用__stdcall调用约定,至于函数名修饰约定,可以通过其它方法模仿。还有一个值得一提的是WINAPI宏,Windows.h支持该宏,它可以将出函数翻译成适当的调用约定,在WIN32中,它被定义为__stdcall。使用WINAPI宏可以创建自己的APIs。
综上,其实只有PASCAL调用约定的从左到右入栈的.而且PASCAL不能使用不定参数个数,其参数个数是一定的。
简单总结一下上面的几个调用方式:
调用约定 | 堆栈清除 | 参数传递 |
__cdecl | 调用者 | 从右到左,通过堆栈传递 |
__stdcall | 函数体 | 从右到左,通过堆栈传递 |
__fastcall | 函数体 | 从右到左,优先使用寄存器(ECX,EDX),然后使用堆栈 |
thiscall | 函数体 | this指针默认通过ECX传递,其他参数从右到左入栈 |
int x;printf("%d",(x=5*6,x*2,x+20));
为什么答案是30而我从VC上运行的是50呢
这题很奇怪啊...
根据定义,逗号表达式的返回值是最后一个子表达式的结果值。
x 在被赋值之前仅仅进行了 5*6, x*2 两个计算,这两个计算并没有给 x 赋值,所以到达最后一个表达式的时候,x 的值是尚不确定的,x + 20 的结果也因此而无法确定。
这道题的结果应该是 x 被分配内存之后内存中本来的值加上20而获得。因为每次分配的内存是随机的,结果应该每次都不一样。
补充:
呃...我的错,因为逗号表达式的优先级是最低的,所以 x 被先赋值为 5*6 = 30. 最后返回最后一个表达式的结果 x + 20 = 50...
你的运行结果应该是正确的...
追问:
可我总觉得ITAT大赛,这么大的一个比赛,会出个错题?
回答:
如果是30...那我只能理解为他们使用的编译器对逗号表达式的处理是从右到左的...
或者你把整个原题贴出来?
追问:
1. 执行下列程序中的输出语句后,x的值是______.(知识点3.10)
main()
{int x ;
printf(“%d\n”,(x=5*6,x*2,x+20));}
A)30 B)60 C)50 D)80
回答:
这样的话我确认在常见的编译器下这题的答案是C. A太奇怪了,除非编译器是从右到左计算的。
答案是错误的.
这个表达式:
(x=5*6,x*2,x+20)
是逗号表达式, 逗号表达式的运算方向是从左到右, 返回值是最后那个表达式的值.
所以这个表达式等价于:
(5*6, 30*2, 30+20)
返回30+20
追问:
我也觉得是错的,可是itat大赛我可不敢怀疑啊。
回答:
记住小平同志的话:
实践是检验真理的唯一标准
执行是左到右,如果对数有计算是右到左
答案30没错,至少在理论上是没错的,而且也不会想到会是50,赋值只会5*6但是实际在观察中出现了问题,可能是编译器的关系,这个就需要再思考了
下面的东西可能会对逗号表达的理解有用
逗号表达式,又称为“顺序求值运算符”。逗号表达式的一般形式为 表达式1,表达式2逗号表达式的求解过程是:先求解表达式1,再求解表达式2。整个逗号表达式的值是表达式2的值。例如,上面的逗号表达式“3+5,6+8”的值为14。又如,逗号表达式 a=3*5,a*4对此表达式的求解,读者可能会有两种不同的理解:一种认为“3*5,a*4” 是一个逗号表达式,先
求出此逗号表达式的值, 如果a的原值为3,则逗号表达式的值为12,将12赋给a, 因此最后a的值为12。另一种认为:“a=3*5”是一个赋值表达式”,“a*4”是另一个表达式,二者用逗号相连,构成一个逗号表达式。这两者哪一个对呢?赋值运算符的优先级别高于逗号运算符, 因此应先求解a=3*5(也就是把“a=3*5”作为一个表达式)。经计算和赋值后得到a的值为15,然后求解a*4,得60。整个逗号表达式的值为60。 一个逗号表达式又可以与另一个表达式组成一个新的逗号表达式,如(a=3*5,a*4),a+5 先计算出a的值等于15,再进行a*4的运算得60(但a值未变,仍为15),再进行a+5得20,即整个表达式的值为20。 逗号表达式的一般形式可以扩展为 表达式1,表达式2,表达式3……表达式n它的值为表达式n的值。 逗号运算符是所有运算符中级别最低的。因此,下面两个表达式的作用是不同的: ① x=(a=3,6*3) ② x=a=3,6*a 第①个是一个赋值表达式,将一个逗号表达式的值赋给x,x的值等于18。第②个是逗号表达式,它包括一个赋值表达式和一个算术表达式,x的值为3。 其实,逗号表达式无非是把若干个表达式“串联”起来。在许多情况下,使用逗号表达式的目的只是想分别得到各个表达式的值,而并非一定需要得到和使用整个逗号表达式的值,逗号表达式最常用于循环语句(for语句)中. 请注意并不是任何地方出现的逗号都是作为逗号运算符。例如函数参数也是用逗号来间隔的。如 printf("%d,%d,%d",a,b,c); 上一
行中的“a,b,c”并不是一个逗号表达式,它是printf函数的3个参数,参数间用逗号间隔。如果改写为 printf("%d,%d,%d",(a,b,c),b,c);则“(a,b,c)”是一个逗号表达式,它的值等于c的值。括弧内的逗号不是参数间的分隔符而是逗号运算符。括弧中的内容是一个整体,作为printf函数的一个参数。C语言表达能力强,其中一个重要方面就在于它的表达式类型丰富,运算符功能强,因而c使用灵活,适应性强
追问:
整个逗号表达式的值是表达式2的值。
x=5*6赋值,再执行x+20,就是50了
回答:
恍然大悟,(x=5*6,x*2,x+20)这样做的话,先执行括号内的x=5*6,这时x=30,然后是x*2,最后是x+20,因为这时x已经是30了,而因为在逗号表达式外是括号表达式,所以,最后的值就是x+30=50
如果把括号变成这样x=(5*6,x*2,x+20)那结果就是30了
这样分析不知道对吧,可以验证下
1. 执行下列程序中的输出语句后,x的值是______.(知识点3.10)
main()
{int x ;
printf(“%d\n”,(x=5*6,x*2,x+20));}
A)30 B)60 C)50 D)80
之所以选A是因为它是问你X的值是多少,而不是问你输出多少
x=5*6=30所以选30
C语言中函数参数的入栈顺序!(感觉挺好,在一个帖子到的)
栈,我想大家都知道。栈,是硬件。主要作用表现为一种数据结构,是只能在某一端插入和删除的特殊线性表。下面介绍C语言中函数参数的入栈顺序是怎样的。
对技术执着的人,比如说我,往往对一些问题,不仅想做到"知其然",还想做到"知其所以然".C语言可谓博大精深,即使我已经有多年的开发经验,可还是有许多问题不知其所以然。某天某地某人问我,C语言中函数参数的入栈顺序如何?从右至左,我随口回答。为什么是从右至左呢?我终究没有给出合理的解释。于是,只好做了个作业,于是有了这篇小博文。
运行结果:
x = 100 at [BFE28760]
y = 200 at [BFE28764]
z = 300 at [BFE28768]
C程序栈底为高地址,栈顶为低地址,因此上面的实例可以说明函数参数入栈顺序的确是从右至左的。可到底为什么呢?查了一直些文献得知,参数入栈顺序是和具体编译器实现相关的。比如,Pascal语言中参数就是从左到右入栈的,有些语言中还可以通过修饰符进行指定,如Visual C++.即然两种方式都可以,为什么C语言要选择从右至左呢?
版权声明:本站内容均来自互联网,仅供演示用,请勿用于商业和其他非法用途。如果侵犯了您的权益请与我们联系QQ:729038198,我们将在24小时内删除。
发表评论