二元邏輯運算符

 語法

 語義

 產(chǎn)生式 LogicalANDExpression : LogicalANDExpression && BitwiseORExpression 按照下面的過程執(zhí)行 :

1. 令 lref 為解釋執(zhí)行 LogicalANDExpression 的結(jié)果 .
2. 令 lval 為 GetValue(lref).
3. 如果 ToBoolean(lval) 為 false ，返回 lval.
4. 令 rref 為解釋執(zhí)行 BitwiseORExpression 的結(jié)果 .
5. 返回 GetValue(rref).

 產(chǎn)生式 LogicalORExpression : LogicalORExpression || LogicalANDExpression 按照下面的過程執(zhí)行 :

1. 令 lref 為解釋執(zhí)行 LogicalORExpression 的結(jié)果 .
2. 令 lval 為 GetValue(lref).
3. 如果 ToBoolean(lval) 為 true ，返回 lval.
4. 令 rref 為解釋執(zhí)行 LogicalANDExpression 的結(jié)果 .
5. 返回 GetValue(rref).

 LogicalANDExpressionNoIn和LogicalORExpressionNoIn執(zhí)行完全按照LogicalANDExpression和LogicalORExpression相同的方式，BitwiseORExpressionNoIn和LogicalORExpressionNoIn替代了BitwiseORExpression和LogicalORExpression除外。

 由&& 或者||運算符產(chǎn)生的值不是必須為Boolean類型，產(chǎn)生的值始終為兩個運算表達式的結(jié)果之一。