printf 参数入栈顺序

先看一段代码

a=1;   printf("%d %d\n",a,a++);  a=1;   printf("%d %d\n",a++,a);  a=1;   printf("%d %d %d\n",a,a++,a);  a=1;   printf("%d %d %d %d\n",a,++a,a++,a); 

其输出为：

2 1 1 2 2 1 2 3 3 1 3

因为C语言函数参数入栈顺序是从右到左的，所以计算顺序是从右到左开始计算的；对于a++的结果，是有ebp寻址函数栈空间来记录中间结果的，在最后给printf压栈的时候，再从栈中把中间结果取出来；而对于++a的结果，则直接压寄存器变量，寄存器经过了所有的自增操作。

    /*再下面这个例子*/    int a = 1;    printf("%d %d %d %d %d %d\n",a++, ++a, a++, ++a, a++, ++a );    /*结果   6 7 4 7 2 7*/

关于C语言函数参数的入栈顺序为什么要选择从右至左，查了一直些文献得知，参数入栈顺序是和具体编译器实现相关的。比如，Pascal语言中参数就是从左到右入栈的，有些语言中还可以通过修饰符进行指定，如Visual C++.即然两种方式都可以，为什么C语言要选择从右至左呢？

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

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