起源: 今天在了解副作用side-effect的过程中，看到了，把我带到了由printf引起的一系列问题，纠结了一整天，勉强弄懂。

 

第一个代码没什么好解释的。而第二个printf("return of swap is %d\tx=%d,y=%d\n",swap(&x,&y),x,y)居然是"return of swap is 1　　x=1,y=0"，输出的x和y的值并没有改变！

原因在于C语言函数参数的处理是从右到左的压栈顺序（这个我在看第一个代码时还不知道，因为第一个代码从左往右操作的话，结果正好符合预期），但也跟编译器有关（这个下面再说）。

此时的①理解时：先处理y，y为0将0压入栈，再处理x，x为1将1压入栈内，最后处理swap，值为1将1压入栈内，所以输出的是110。

但我之后又浏览到了有关自增自减与printf的问题，

#include 
     
      int main(){    int x;    x=1;    printf("%d %d\n",x,x++);      x=1;    printf("%d %d\n",x++,x);      x=1;    printf("%d %d %d\n",x,x++,x);      x=1;    printf("%d %d %d %d\n",x,++x,x++,x);    return 0;}
     

 

按照①理解得出的答案应该是：

2 1

1 1

2 1 1

3 3 1 1

但GCC编译下来的结果是

2 1  

1 2  

2 1 2  

3 3 1 3

为什么要特指GCC下的结果呢，因为在后来的浏览中，发现，不同的编译器会得出不同的结果(在第一个网页里有人就贴出了第一个代码在vc6.0下的结果，没重视，后来不断有这类的信息出现，自己重装了VC6.0才发现还真是不一样！)。

在VC6.0下的：

1 1

1 1

1 1 1

2 2 1 1

这更邪乎了，在vc6.0里后置符在printf里都不管用了。

经过查阅得知，在GCC下，是先处理好所有参数，然后push，在遇到后置符时会立即输出此时的值。

而VC6.0是处理好一个参数push一个且后置符在整条printf完成后才会+1。

以这条为例

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

 GCC下：

　　处理x，此时x为1。

　　处理x++：temp = x, x = x + 1此时x为2，temp为1

　　处理++x：x = x + 1，此时x为3

　　处理x，此时x为3

　　将x，temp，x，x压入栈，然后一次弹出。结果为3 3 1 3。但如果前置符是表达式中的一部分的话，则会输出此时的值进行计算，例如：++x, ++x + 3,x（x初值是1）则输出的是3 5 1而不是3  6 1

在VC6.0下：

　　处理x，此时x为1，压栈。

　　处理x++，此时x为1，压栈。

　　处理++x，此时x为2，压栈。

　　处理x，此时x为2，压栈。

　　依次弹出，输出结果为2 2 1 1，然后处理x++，此时x为3，即在后面加printf输出x的值会输出3。

但又有问题了，按照GCC的方式，则printf("return of swap is %d\tx=%d,y=%d\n",swap(&x,&y),x,y)因该是1 0 1啊，为什么x 和 y的值没有换呢，难道是因为指针？

而且我又发现在进行指针处理后，之后在prinf中只有在该变量自增自减处理之后的才遵守上面GCC的操作，而在该变量自增自减处理之前的该变量则输出当时的值。如：

#include 
     
      int swap(int *a, int *b) {    int temp = *a;    *a = *b;    *b = temp;    return 1;}int main(){    int x = 1, y = 1;    printf("x = %d, y = %d\n", x, y);    swap(&x, &y);    printf("%d %d %d\n", x, ++x, x);      return 0;}
     

 

照着上面GCC的处理，则printf("%d %d %d\n", x, ++x, x)应输出一样的值2 2 2，但实际在GCC编译后输出的值是2 2 1。

我是彻底搞混了，但最终的结论是：这跟编译器如何处理有关（有人说是C/C++中未定义的行为，所以不同编译器有不同的操作），且在实际中不应该写出这样的代码，重点是知道C中函数参数是从右到左的压栈顺序和自增自减是如何操作。

 

参考文章连接：