C语言中函数参数入栈的顺序

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);

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寄存器，退出函数时则产生代码恢复这些寄存器的内容。

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语言要选择从右至左呢？

进一步发现，Pascal语言不支持可变长参数，而C语言支持这种特色，正是这个原因使得C语言函数参数入栈顺序为从右至左。具体原因为：C方式参数入栈顺序(从右至左)的好处就是可以动态变化参数个数。通过栈堆分析可知，自左向右的入栈方式，最前面的参数被压在栈底。除非知道参数个数，否则是无法通过栈指针的相对位移求得最左边的参数。这样就变成了左边参数的个数不确定，正好和动态参数个数的方向相反。

因此，C语言函数参数采用自右向左的入栈顺序，主要原因是为了支持可变长参数形式。换句话说，如果不支持这个特色，C语言完全和Pascal一样，采用自左向右的参数入栈方式。