重学js —— 二进制按位运算符和二进制逻辑运算符以及条件运算符

[lizhongzhen11]

二进制按位运算符和二进制逻辑运算符以及条件运算符

• MDN——表达式和运算符
• MDN——二进制按位
• MDN——二进制逻辑
• MDN——条件运算符
• MDN——空值合并运算符

二进制按位运算符求值

• &(按位与), ^(按位异或), |(按位或)

A : A @ B

1. 定义 lref 为 A 的求值结果
2. 定义 lval 为 ? GetValue(lref)
3. 定义 rref 为 A 的求值结果
4. 定义 rval 为 ? GetValue(rref)
5. 定义 lnum 为 ? ToNumeric(lval)
6. 定义 rnum 为 ? ToNumeric(rval)
7. 如果 lnum 的类型和 rnum 不同，抛 TypeError 异常
8. 定义 T 为 lnum 的类型
9. 如果 @ 是 &，返回 T::bitwiseAND(lnum, rnum) （PS：可能是 BigInt 类型的 ::bitwiseAND）
10. 如果 @ 是 |，返回 T::bitwiseOR(lnum, rnum) （PS：可能是 BigInt 类型的 ::bitwiseOR）
11. 否则，
    1. 断言：@ 是 ^
    2. 返回 T::bitwiseXOR(lnum, rnum) （PS：可能是 BigInt 类型的 ::bitwiseXOR）

&&

逻辑与表达式 : 逻辑与表达式 && 按位或表达式

1. 定义 lref 为 逻辑与表达式 求值结果
2. 定义 lval 为 ? GetValue(lref)
3. 定义 lbool 为 ! ToBoolean(lval)
4. 如果 lbool 为 false，返回 lval
5. 定义 rref 为 按位或表达式 求值结果
6. 返回 ? GetValue(rref)

||

逻辑或表达式 : 逻辑或表达式 || 逻辑与表达式

1. 定义 lref 为 逻辑或表达式 求值结果
2. 定义 lval 为 ? GetValue(lref)
3. 定义 lbool 为 ! ToBoolean(lval)
4. 如果 lbool 为 true，返回 lval
5. 定义 rref 为 逻辑与表达式 求值结果
6. 返回 ? GetValue(rref)

??

这个叫空值合并运算符（MDN），以前真没见过，兼容性问题多

合并表达 : 合并表达头 ?? 按位或表达式

1. 定义 lref 为 合并表达头 求值结果
2. 定义 lval 为 ? GetValue(lref)
3. 如果 lval 是 undefined 或 null，
   1. 定义 rref 为 按位或表达式 求值结果
   2. 返回 ? GetValue(rref)
4. 否则，返回 lval

条件运算符 ? :

1. 定义 lref 为 短路表达式 求值结果
2. 定义 lval 为 ! ToBoolean(? GetValue(lref))
3. 如果 lval 为 true，
   1. 定义 trueRef 为第一个 赋值表达式 求值结果
   2. 返回 ? GetValue(trueRef)
4. 否则，
   1. 定义 falseRef 为第二个 赋值表达式 求值结果
   2. 返回 ? GetValue(falseRef)