阅读(3207) (0)

二元逻辑运算符

2017-06-16 15:20:10 更新

 语法

LogicalANDExpression : BitwiseORExpression LogicalANDExpression && BitwiseORExpressionLogicalANDExpressionNoIn : BitwiseORExpressionNoIn LogicalANDExpressionNoIn && BitwiseORExpressionNoInLogicalORExpression : LogicalANDExpression LogicalORExpression || LogicalANDExpressionLogicalORExpressionNoIn : LogicalANDExpressionNoIn LogicalORExpressionNoIn || LogicalANDExpressionNoIn

 语义

 产生式 LogicalANDExpression : LogicalANDExpression && BitwiseORExpression 按照下面的过程执行 :

  1. 令 lref 为解释执行 LogicalANDExpression 的结果 .
  2. 令 lval 为 GetValue(lref).
  3. 如果 ToBoolean(lval) 为 false ,返回 lval.
  4. 令 rref 为解释执行 BitwiseORExpression 的结果 .
  5. 返回 GetValue(rref).

 产生式 LogicalORExpression : LogicalORExpression || LogicalANDExpression 按照下面的过程执行 :

  1. 令 lref 为解释执行 LogicalORExpression 的结果 .
  2. 令 lval 为 GetValue(lref).
  3. 如果 ToBoolean(lval) 为 true ,返回 lval.
  4. 令 rref 为解释执行 LogicalANDExpression 的结果 .
  5. 返回 GetValue(rref).

 LogicalANDExpressionNoIn和LogicalORExpressionNoIn执行完全按照LogicalANDExpression和LogicalORExpression相同的方式,BitwiseORExpressionNoIn和LogicalORExpressionNoIn替代了BitwiseORExpression和LogicalORExpression除外。

 由&& 或者||运算符产生的值不是必须为Boolean类型,产生的值始终为两个运算表达式的结果之一。