esbuild 中 BigInt 与位运算符的优化陷阱

在 JavaScript 代码压缩工具 esbuild 中，存在一个关于 BigInt 类型与位运算符结合使用时的优化问题。这个问题会导致压缩后的代码在特定情况下产生与原始代码不同的行为。

问题现象

当代码中包含对位运算结果进行严格等于零(=== 0)的判断时，esbuild 会将其优化为对运算结果直接取反的简写形式。例如：

原始代码：

if ((a | b) === 0) {
  throw new Error()
}

压缩后：

if (!(a | b)) throw new Error

这种优化在普通数字类型下是等效的，但当操作数为 BigInt 类型时，行为就会出现差异。例如调用 foo(0n, 0n) 时，原始代码不会抛出错误，而压缩后的代码会抛出错误。

技术背景

这个问题源于 JavaScript 中 BigInt 类型与位运算符的特殊交互规则：

1. BigInt 不能直接参与位运算，会抛出 TypeError
2. 但 esbuild 的优化逻辑是基于传统数字类型设计的，没有考虑 BigInt 的情况
3. 严格等于(===)与布尔转换(!)对 BigInt 的处理方式不同

影响范围

这个问题影响所有位运算符：

运算符	原始表达式	错误优化后
按位或	`a	b === 0`
按位与	a & b === 0	!(a & b)
按位异或	a ^ b === 0	!(a ^ b)
左移	a << b === 0	!(a << b)
有符号右移	a >> b === 0	!(a >> b)
无符号右移	a >>> b === 0	!(a >>> b)
按位非	~a === 0	!~a

值得注意的是，无符号右移运算符(>>>)本身就不能用于 BigInt，所以这个优化对它实际上是安全的。

解决方案

esbuild 已经修复了这个问题，方法是：

1. 识别表达式中是否可能包含 BigInt 操作数
2. 对于可能涉及 BigInt 的情况，保留原始的严格等于比较
3. 仅对确定不会涉及 BigInt 的表达式应用优化

开发者在使用 esbuild 压缩包含位运算的代码时，应注意：

1. 检查是否有可能传入 BigInt 参数
2. 如有必要，可以显式添加类型检查
3. 更新到修复此问题的 esbuild 版本

总结

这个案例展示了 JavaScript 工具链在面对语言新特性时需要特别注意的兼容性问题。BigInt 作为相对较新的特性，与现有优化规则的交互往往容易被忽视。开发者在编写涉及类型敏感的代码时，应当充分测试压缩前后的行为一致性。