关于
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
的设计决策和未定义行为。
欢迎分享,转载请注明来源:内存溢出
评论列表(0条)