Question

5 运算结果： int main() { int x=1; printf(“%d,%d,%d\n”, x+=10,x=16,x++); }

求大神讲明白，想不明白

Answer 1

这如果是一个考试题目，则是一个钻牛角尖的题目。

这实际上是考函数的参数入栈顺序。

但是该顺序和具体编译器实现相关，并无一定。

因为C语言支持可变长参数，所以它的函数参数入栈顺序为从右至左，最右边的参数在栈底，最左边的在栈顶。在函数内部，出栈顺序正好相反。

所以上述是从右往左计算，即先算x++(返回副本值1),再算x=16(返回16),最后是x+=10(返回26）,最后输出：

26,16,1

参见调试代码：

9:        int x = 1;
00401028   mov         dword ptr [ebp-4],1
10:       printf( "% d, % d, % d\n", x += 10, x = 16, x++ );
0040102F   mov         eax,dword ptr [ebp-4]
00401032   mov         dword ptr [ebp-8],eax
00401035   mov         ecx,dword ptr [ebp-8]
00401038   push        ecx
00401039   mov         dword ptr [ebp-4],10h
00401040   mov         edx,dword ptr [ebp-4]
00401043   push        edx
00401044   mov         eax,dword ptr [ebp-4]
00401047   add         eax,0Ah
0040104A   mov         dword ptr [ebp-4],eax
0040104D   mov         ecx,dword ptr [ebp-4]
00401050   push        ecx
00401051   push        offset string "% d, % d, % d\n" (0042501c)
00401056   mov         edx,dword ptr [ebp-4]
00401059   add         edx,1
0040105C   mov         dword ptr [ebp-4],edx
0040105F   call        printf (00401140)
00401064   add         esp,10h
11:     return 0;

但是，c++中函数调用约定__fastcall会改变这种顺序。所以尽量避免使用这种容易发生错误的写法。

追问

我在linux环境下编译了 结果是26 26 1 为什么啊

追答

这个应该和编译器的实现机制有关，建议dump一下，上述调试代码来自于VC++6.0

VS2012汇编代码:

9: int a = 1 ;
00D3102E C7 45 F8 01 00 00 00 mov dword ptr [a],1
10: printf("%d,%d,%d", a+=10, a=16, a++);
00D31035 8B 45 F8 mov eax,dword ptr [a]
00D31038 89 85 30 FF FF FF mov dword ptr [ebp-0D0h],eax '保存a值副本
00D3103E 8B 4D F8 mov ecx,dword ptr [a]
00D31041 83 C1 01 add ecx,1 'a++
00D31044 89 4D F8 mov dword ptr [a],ecx 'a=2
00D31047 C7 45 F8 10 00 00 00 mov dword ptr [a],10h 'a=16
00D3104E 8B 55 F8 mov edx,dword ptr [a]
00D31051 83 C2 0A add edx,0Ah 'a+10
00D31054 89 55 F8 mov dword ptr [a],edx 'a=26
00D31057 8B 85 30 FF FF FF mov eax,dword ptr [ebp-0D0h] 'a值副本入栈(值为1)
00D3105D 50 push eax
00D3105E 8B 4D F8 mov ecx,dword ptr [a] 'a值入栈(值为26)
00D31061 51 push ecx
00D31062 8B 55 F8 mov edx,dword ptr [a] 'a值入栈(值为26)
00D31065 52 push edx
00D31066 68 88 5C D8 00 push 0D85C88h
00D3106B E8 80 01 00 00 call printf (0D311F0h)
00D31070 83 C4 10 add esp,10h
11: }

输出为:26,26,1
//-------------------------------------------------

9: int a = 1 ;
000A102E C7 45 F8 01 00 00 00 mov dword ptr [a],1
10: printf("%d,%d,%d", a+=10, a=16, a+=1);
000A1035 8B 45 F8 mov eax,dword ptr [a]
000A1038 83 C0 01 add eax,1 'a+1
000A103B 89 45 F8 mov dword ptr [a],eax 'a=2
000A103E C7 45 F8 10 00 00 00 mov dword ptr [a],10h 'a=16
000A1045 8B 4D F8 mov ecx,dword ptr [a]
000A1048 83 C1 0A add ecx,0Ah 'a+10

000A104B 89 4D F8 mov dword ptr [a],ecx 'a=26
000A104E 8B 55 F8 mov edx,dword ptr [a] 'a值入栈(值为26)
000A1051 52 push edx
000A1052 8B 45 F8 mov eax,dword ptr [a] 'a值入栈(值为26)
000A1055 50 push eax
000A1056 8B 4D F8 mov ecx,dword ptr [a] 'a值入栈(值为26)
000A1059 51 push ecx
000A105A 68 88 5C 0F 00 push 0F5C88h
000A105F E8 8C 01 00 00 call printf (0A11F0h)
000A1064 83 C4 10 add esp,10h
11: }

输出为:26,26,26

总结：
一、例1,之所以右项为1,是由后置自增的运算规则导致的，即后置单目运算返回结果为运算前的副本值。
二、因赋值表达式返回的值都是最左侧变量的值，所以入栈的都是最左侧变量。
三、而VC2012与VC6函数参数入栈都是遵守从右往左顺序。
四、VC6编译器处理调用函数的参数时，计算一项入栈一项,而VC2012先计算所有项,再依次入栈,这是两个编译器输出结果不一致的原因。

Answer 2

26 26 1
取参数，从右往左——但第1个和第2个，又不是。

这个只能记忆，，，，在实际写程序中，尽量避免这样使用

追问

是楼上说的入栈的问题吗。。。。

追答

那是一般的情况，，，，，中间的x=16特殊。。。。

VC2015 编译结果是
26 26 1