以下是理解 JavaScript 条件表达式和 Java 条件表达式之间区别的两个关键:
请阅读ECMAScript 5注释规范本节底部的注释:
http://es5.github.io/#x11.12
现在,请阅读条件表达式的 Java 规范部分:
http://docs.oracle.com/javase/specs/jls/se7/html/jls-15.html#jls-15.25
您会注意到,正如 ECMAScript 5 注释所述,Java 中三元运算符中的第三个操作数不能只是任何旧表达式 - 它只能是 ConditionalExpression。但是,对于 ECMAScript 5,第三个操作数可以是任何 AssignmentExpression。
进一步查看 Java 规范,我们看到 Expression 是任何赋值表达式:
http://docs.oracle.com/javase/specs/jls/se7/html/jls-15.html#jls-15.27
但是 ConditionalExpression 要么是带有三元运算符 (... ? ... : ...) 的 ConditionalExpression,要么只是一个 ConditionalOrExpression(在 ES5 中称为 LogicalOrExpression)(有关该信息,请参见上面的前两个链接)。ConditionalOrExpression 的“链”可以从 Java 开始:
http://docs.oracle.com/javase/specs/jls/se7/html/jls-15.html#jls-15.24
在 ECMAScript 5 中:
http://es5.github.io/#x11.11
沿着 ECMAScript 5 规范中的表达式类型“链”(因为它比 Java 规范更容易遵循),从 ConditionalExpression 一直到基本上所有其他表达式,但赋值表达式最终让我们回到了开头 - 主表达式:
http://es5.github.io/#x11.1
上面两个代码片段中的第二个操作数是主表达式:
1
所有这些繁琐的结果(如果我是正确的)是在 Java 中,三元运算符的第三个操作数不能是赋值,但在 JavaScript 中可以。这就是为什么你的两个例子在 Java 中都失败了,而在 JavaScript 中只有第二个。
为什么第一个在 JavaScript 中有效,而第二个无效?
operand1 ? operand2 : operand3;
像下面的IIFE代码一样工作(实际上不是,但下面的代码说明了上面的工作原理):
(function () { if (operand0) return operand1; else return operand2;}());
所以:
false ? 1 : x = 2;
变为(同样,实际上并非如此- 下面的代码说明了上面的代码):
(function () { if (false) return 1; else return x = 2;}());
但是,在您的第二个片段中,当使用括号时,您明确地将条件表达式与“= 2;”分开:
(false ? 1 : x) = 2;
变为(同样,实际上并非如此- 下面的代码说明了上面的代码):
(function () { if (false) return 1; else return x;}()) = 2;
三元运算符的“行为类似于示例 IIFE 函数调用”行为将返回 x 是什么,这将是一个值,而不是一个引用,不能分配给它。因此错误。这将类似于以下代码(如果 x === 3):
3 = 2;
显然,这是做不到的。
我相信在 Java 中,第一个会出错,因为第三个运算符不能是赋值,第二个会出错,因为你不能赋值(就像在 JavaScript 中一样)。
至于运算符优先级,请看以下代码:
var x = 3;
console.log(false ? 1 : x); // ?: evaluates to "3"
console.log(false ? 1 : x = 2); // ?: evaluates to "2"
console.log(false ? 1 : x = 2, 4); // ?: evaluates to "2" - "2" and "4" arguments passed to log
console.log((false ? 1 : x = 2, 4)); // ?: evaluates to "4"
从上面的 IIFE 说明性代码来看,前两个很容易理解。
在第一行 x 被评估并且条件表达式评估为 3 - 这很容易。
在第二行中,我可以描述它的最佳方式是条件运算符 (?:) 导致即使是较低优先级的 '=' 运算符也被评估为一个完整的表达式,这不是因为 (?:) 具有更高的优先级,而是因为 as该规范声明“:”后面的赋值表达式被评估(包括“= 2”部分)作为AssignmentExpression。这种行为在上面 IIFE 示例的 return 语句中看起来更清晰。至少在 JavaScript 中,您不仅可以在第二个操作数中进行赋值,还可以在条件表达式的第三个中进行赋值。
但是,在第三行中,“x = 2”表达式中已经找到了一个完整的赋值表达式,并且三元运算符将其用作完整的第三个操作数,并且“,”运算符的优先级低于其他任何运算符,我们得到等效于以下代码:
console.log((false ? 1 : x = 2), 4);
在第四行代码中,将整个表达式封装在括号中的 console.log() 语句中,将 ', 4' 带入 '?:' 三元表达式,作为第三个操作数的一部分。
以下 jsfiddles 使用实时代码演示了上述讨论。请注意,前两个在打印 '2' 两次后具有相同的确切错误:
小提琴1
小提琴2
小提琴3