C ++标准规定:
对于不确定顺序的函数调用,复合赋值的操作是单个评估。[注意:因此,函数调用不应介于左值到右值转换和与任何单个复合赋值运算符相关的副作用之间。—尾注]
§5.17[expr.ass]
因此,与您在同一评估中使用
X并且对产生副作用的函数一样
X,结果是不确定的,因为:
如果相对于相同标量对象上的另一个副作用或使用相同标量对象的值进行的值计算,相对于一个标量对象的副作用是未排序的,则该行为是不确定的。
§1.9[介绍执行]
在许多编译器上它恰好是11,但是不能保证C ++编译器不会像其他语言那样为您提供1。
如果您仍持怀疑态度,则对该标准的另一分析将得出相同的结论:该标准在上述同一部分中也表示:
形式的表达式的行为与行为
E1 op = E2相同,E1 = E1 op E2只是E1它只计算一次。
在您的情况下
X = X + f(),
X只评估一次。
由于不能保证评估的顺序
X + f(),因此您不能认为先评估f然后评估
X。
附录
我不是Java专家,但是Java规则清楚地指定了表达式中的求值顺序,这在Java语言规范的
15.7节中保证从左到右。在 15.26.2。 Java规范还说, Compound Assignment Operators 与
E1 op=E2等效
E1 = (T) ((E1) op (E2))。
在您的Java程序中,这再次意味着您的表达式等于
X = X + f()并且首先
X被求值,然后是
f()。因此,结果中
f()未考虑的副作用。
因此,您的Java编译器没有错误。它只是符合规格。



