Ｃ语言中函数参数的入栈顺序
上一篇 /
下一篇 2012-07-26 09:29:04
/ 个人分类：C++
51Testing软件测试网g&ZM Bvj Z 对技术执着的人，比如说我，往往对一些问题，不仅想做到“知其然”，还想做到“知其所以然”。C语言可谓博大精深，即使我已经有多年的开发经
验，可还是有许多问题不知其所以然。某天某地某人问我，C语言中函数参数的入栈顺序如何？从右至左，我随口回答。为什么是从右至左呢？我终究没有给出合理
的解释。于是，只好做了个作业，于是有了这篇小博文。51Testing软件测试网Z#?T5T
g IH
Q'b8wI$USD0
51Testing软件测试网-U9g$I+c'Px-I"iy
|
%B$q-X:J9EE,L'mP.Z3{0#include <stdio.h>51Testing软件测试网*\#Z e$b6KpY(O
jr2u
_)t0void foo(int x, int y, int z)
U
k~6ZQ'^#ee0{51Testing软件测试网-F(Mm l}6k N
printf("x = %d at [%X]/n", x, &x);
*cKB V7[)T;?0 printf("y = %d at [%X]/n", y, &y);51Testing软件测试网 L VU'u.JvO
printf("z = %d at [%X]/n", z, &z);51Testing软件测试网,xI ? aNA$ll0^1H$H
}51Testing软件测试网*VJ,g0uyG
51Testing软件测试网u3sf0wC~j+C{-Hint main(int argc, char *argv[])51Testing软件测试网yF[}
T
{51Testing软件测试网 B on_"^ }
l @
foo(100, 200, 300);51Testing软件测试网7K
C*Q;R7s3G
return 0;
F(w;X @&q$IX0} Q wW(Z'r)p0 |
!M
_tb,A&m!r(r0 运行结果：51Testing软件测试网R? cBj1A+?+@%k w-e
3h _%n1YW_w
BWQ0 x = 100 at [BFE28760]51Testing软件测试网8S1bx:q2v6yH:Z
y = 200 at [BFE28764]51Testing软件测试网L oaH g Y?r`FZL
z = 300 at [BFE28768]
mQ#Z:zu{0
51Testing软件测试网;Yn5B {2@2b~[ C程序栈底为高地址，栈顶为低地址，因此上面的实例可以说明函数参数入栈顺序的确是从右至左的。可到底为什么呢？查了一直些文献得知，参数入栈
顺序是和具体编译器实现相关的。比如，Pascal语言中参数就是从左到右入栈的，有些语言中还可以通过修饰符进行指定，如Visual
C++。即然两种方式都可以，为什么C语言要选择从右至左呢？51Testing软件测试网8j A4[@M {1B
,Ii fG| g#F#d9s0 进一步发现，Pascal语言不支持可变长参数，而C语言支持这种特色，正是这个原因使得C语言函数参数入栈顺序为从右至左。具体原因为：C方
式参数入栈顺序（从右至左）的好处就是可以动态变化参数个数。通过栈堆分析可知，自左向右的入栈方式，最前面的参数被压在栈底。除非知道参数个数，否则是
无法通过栈指针的相对位移求得最左边的参数。这样就变成了左边参数的个数不确定，正好和动态参数个数的方向相反。51Testing软件测试网"~q
m"e0u;BR(j^
mE'QD/? B:s}%f0 因此，C语言函数参数采用自右向左的入栈顺序，主要原因是为了支持可变长参数形式。换句话说，如果不支持这个特色，C语言完全和Pascal一样，采用自左向右的参数入栈方式。51Testing软件测试网 F/d fjI;k3O
收藏
举报
TAG:
