考虑以下示例:
class Quirky { public static void main(String[] args) { int x = 1; int y = 3; System.out.println(x == (x = y)); // false x = 1; // reset System.out.println((x = y) == x); // true } }
我不确定Java语言规范中是否有一项规定要加载变量的先前值以便与右侧(x = y)进行比较,该变量应按照方括号内的顺序进行计算。
x = y
为什么第一个表达式求值false,而第二个表达式求值true?我本来希望(x = y)先被评估,然后再x与自身(3)比较并返回true。
false
true
(x = y)
x
3
这个问题与Java表达式中子表达式的求值顺序不同,因为x这里绝对不是“子表达式”。需要 加载 它以进行比较,而不是对其进行“评估”。这个问题是特定于Java的x == (x = y),与通常为棘手的面试问题设计的牵强的不切实际的构造不同,该表达式来自一个真实的项目。它本来是用于替换和替换成语的单行替换
x == (x = y)
int oldX = x; x = y; return oldX == y;
它比x86 CMPXCHG指令还要简单,因此值得在Java中使用较短的表达式。
首先应按照括号中的顺序计算
不会。圆括号对计算或评估顺序有任何(一般)影响,这是一个普遍的误解。它们仅将表达式的各部分强制转换为特定的树,将正确的操作数绑定到作业的正确操作。
(而且,如果您不使用它们,则此信息来自运算符的“优先级”和关联性,这是语言的语法树定义方式的结果。实际上,这仍然是您使用语言时的工作方式使用括号,但我们简化并说我们当时不依赖任何优先规则。)
一旦完成(即,将您的代码解析为程序),仍然需要对那些操作数进行求值,并且有分别的操作规则:所述规则(如安德鲁向我们展示的那样)指出每个操作的LHS首先用Java评估。
请注意,并非所有语言都如此。例如,在C ++中,除非您使用短路运算符(如&&或)||,否则操作数的求值顺序通常是不确定的,并且您不应以任何方式依赖它。
&&
||
教师需要停止使用具有误导性的短语来解释操作员优先级,例如“这使得添加首先发生”。给定一个表达式x * y + z,正确的解释是“运算符优先级使在x * y和之间进行加法z,而不是在y和之间进行加法,而z没有提及任何”顺序”。
x * y + z
x * y
z
y