关于++运算的问题

whyglinux

C/C++标准规定了运算符的功能和结合性。运算符的结合性决定了同级运算时的运算顺序。例如：对于表达式 a - b + c，+、-为同级运算符，左结合，因此它的运算顺序为 (a - b) + c，即先计算 a - b 的值，然后再与 c 相加。这个运算顺序对于任何的C/C++编译器都是一致的。

问题是：C/C++标准没有规定操作数运算的先后顺序。这也就是说，对于上面的表达式，操作数 a、b 和 c 的计算顺序是不固定的。其原因在于：每个编译器采取的计算操作数顺序不同。对于同级运算，有的从左到右，有的与此相反；a、b、c的计算顺序也可能受到各自表达式中运算符的优先级的影响。

表达式或者操作数的结果不应该倚赖于表达式中操作数计算的先后顺序。

例外情况是：&&、||、?: 和 ,。对于它们，C/C++标准明确规定了操作数的计算先后顺序。例如：对于a && b，一定是先计算 a，然后根据 a 的结果决定是否再计算 b。对于这些特殊情况，应该与一般情况加以区分。

THEBEST

怎么我觉得不管操作数的计算顺序如何结果都应该是9呀?
因为它用了括号呀.
iTest=(++iCounter)+(++iCounter)+(++iCounter);
不管是先计算哪个括号,那iCounter都是先加1呀.然后变成2的.会有什么影响呢?
这三个带括号的表达式虽然都互相依赖,但最终的依赖是在iCounter的值上面.它参考的是iCounter而不是哪个表达式呀.怎么理解?

aero

但你怎么知道它是先计算完所有的操作数在来计算运算符啊？这个也没有规定啊？

THEBEST

[quote]原帖由 "aero"]但你怎么知道它是先计算完所有的操作数在来计算运算符啊？这个也没有规定啊？[/quote 发表：
谁说了先计算完所有的操作数?直接点吧,12怎么得来?随便一种实现.

aero

可以算完第一个，当它等于2的时候运算加法，而这个时候就不知道第二个操作数也是2，还是还要算＋＋，是3？

其实，这些都是取决与编译器的，怎么说都是有道理的。事实上也没有人这么写程序啊。

THEBEST

既然你说第一个括号先计算,那等第一个括号算完了iCounter的值不就自然就是2了吗?然后你运算加法你就要去计算第二个括号,当然要先计算++,而当前的iCounter已经是2了,那就变成3了...这个编译器都不确定吗?

aero

好，那么前面就是2＋3了。这是一个方式。
那么还可能编译器在计算运算符之前计算所有的操作数。
就有可能在运算＋之前就计算了3个＋＋，那么就是4＋4＋4了，不就是12了？

标准没有规定，怎么都有可能的。所以说这是个没有意义的问题。

THEBEST

哇,3个++也可以同时算哪?还可以同时得到4啊?
1>;最起码也要一个一个来吧,后面的总是用前面的iCounter.
2>;有括号怎么可能这样呢?

aero

你不相信也就算了。总之，标准里没有规定的事情，编译器要怎么做都可以。
你可以看看CU里以前讨论这个问题的帖子。有过好多。
编译器的优化更是让你迷糊呢！有些程序，优化后的性能不及优化前的，你怎么解释。编译器始终都是死的，只有人是活的。要想仔细了解细节就要去看编译器的源码，看汇编出来的汇编代码，不是干想就能得到答案的。

whyglinux

在楼主程序的基础上增加了一点变化。如果你能从其“混乱”的运行结果中看出点什么，也就达到我的目的了。

1. 
   
2. #include <stdio.h>;
   
3. 
   
4. int main()
   
5. {
   
6.   int i;
   
7.   float f;
   
8. 
   
9.   i = 1;
   
10.   printf("%d\n", ++i + ++i + ++i);
    
11.   i = 1;
    
12.   printf("%d\n", (++i + ++i) + ++i);
    
13.   i = 1;
    
14.   printf("%d\n", ++i + (++i + ++i));
    
15. 
    
16.   f = 1.0;
    
17.   printf("%f\n", ++f + ++f + ++f);
    
18.   f = 1.0;
    
19.   printf("%f\n", (++f + ++f) + ++f);
    
20.   f = 1.0;
    
21.   printf("%f\n", ++f + (++f + ++f));
    
22. }
    

复制代码

当然，各个编译器可能得到不同的结果。我用GCC 3.4.0编译后的运行结果如下：
10
10
12
9.000000
9.000000
9.000000