一尘不染

请解释为什么Java和C对此代码给出不同的答案

java

public class Test
{
public static void main(String[] args) {
int i = 10;
i = i++;
System.out.println(“value of i is : ” + i);
}
}

输出为: 10

当我在执行类似的代码时C,输出为11


阅读 191

收藏
2020-12-03

共1个答案

一尘不染

关于C此问题,这是未定义的行为,因为您试图在同一行的同一序列点内多次修改同一变量:

i = i++;

C99标准草案中部分6.5
第2段 说:

在上一个序列点与下一个序列点之间,对象的存储值最多只能 通过对表达式的求 值来修改 。此外, 先验值应仅被读取以确定要存储的值

这在Java中已得到很好的定义,而Java没有与之相同的顺序点概念,C因此Java语言规范(
JLS
竭尽 所能以确保定义了此类操作。JLS
15.7条规定:

评估右侧操作数的任何部分之前,似乎已对二进制运算符左侧操作数进行了完全评估。
例如,如果左侧操作数包含对该变量的赋值,而右侧操作数包含对该变量的引用,则该引用所产生的值将反映该赋值首先发生的事实。[…]

和部分15.7.2说:

Java编程语言还保证, 在执行操作本身的任何部分之前 ,对运算符的每个操作数(条件运算符&&,||和?:除外) 都应进行完全评估。

请注意,C未指定评估顺序,主要是为了给编译器提供更好的优化选项。从标准草案6.5
第3段开始

语法表示操作符和操作数的分组。74)除非稍后指定(对于函数调用(),&&,||,?:和逗号运算符), 子表达式的求值顺序和哪种副作用都未指定。

更新资料

如果您想讨论Java和C在未定义行为方面的一些哲学差异,那么您将拥有未定义行为是Java
的设计决策未定义行为

2020-12-03