为什么JavaScript中的移位操作结果在条件判断中会被判定为真值？

你疑惑的现象本质涉及两个JavaScript核心基础规则，和不存在的「严格比较运算符」无关：

所有值被放入if判断、三元运算符的判断位置时，都会被自动转换为布尔值，仅以下几类值会被判定为假（falsy）：

• false
• 数值类的0：0、-0、BigInt类型的0n
• 空字符串：''、""
• null
• undefined
• NaN

除上述值之外的所有值都会被判定为真（truthy）。你测试得到的移位结果27属于非0数字，自然判定为真，只有移位结果为0时才会判定为假。这和C#要求条件判断必须显式为布尔值、不允许隐式数字转布尔的规则完全不同，也是你产生困惑的主要原因。

>>是带符号右移运算符，作用是将左操作数的二进制位向右移动指定位数，溢出位直接丢弃，最终返回值是数字类型而非布尔值。
你拆解的嵌套三元运算代码：

b += c >> 11 ? 3 : c >> 7 ? 2 : 1

等价于完整逻辑：

const shift11 = c >> 11;
const shift7 = c >>7;
if (shift11) { // 非0即真
  b +=3;
} else if (shift7) { // 非0即真
  b +=2;
} else {
  b +=1;
}

这段逻辑完全匹配UTF-8的编码长度规则：

• 单字节UTF-8字符Unicode码点≤U+007F，c>>7结果为0，加1字节
• 双字节UTF-8字符Unicode码点范围U+0080~U+07FF，c>>11为0、c>>7非0，加2字节
• 三字节UTF-8字符Unicode码点范围U+0800~U+FFFF，c>>11非0，加3字节

内容的提问来源于stack exchange，提问作者Taco