TypeScript ESLint 插件中 restrict-plus-operands 规则的 BigInt 类型检查问题

问题背景

在 TypeScript 开发中，类型安全是保证代码质量的重要手段。TypeScript ESLint 插件提供的 restrict-plus-operands 规则用于限制加法操作符两边的操作数类型，防止意外的类型转换和潜在错误。

规则功能解析

restrict-plus-operands 规则的主要作用是：

1. 检查加法操作符两边的操作数类型是否合法
2. 默认情况下，只允许数字与数字相加或字符串与字符串相加
3. 通过 allowNumberAndString 选项可以放宽限制，允许数字/大整数与字符串相加

发现的缺陷

在 TypeScript 5.7.2 版本中，当配置 allowNumberAndString: false 时，规则对 bigint + string 的操作没有正确报告错误，而 number + string 的操作则能正确触发警告。

示例代码：

// 正确警告
let fnNumber = (a: number, b: string) => a + b;
// 未警告
let fnBigint = (a: bigint, b: string) => a + b;

技术原因分析

问题的根源在于规则实现代码中对操作数类型的检查逻辑。当前实现只检查了 NumberLike 类型标志，而没有同时检查 BigIntLike 类型标志。在 TypeScript 的类型系统中：

• NumberLike 包含 number 类型
• BigIntLike 包含 bigint 类型
• 两者都属于数值类型，但在类型标志上是分开的

解决方案建议

修复方案是在类型检查时，应该同时考虑 NumberLike 和 BigIntLike 类型标志。具体来说，应该将类型检查修改为：

ts.TypeFlags.NumberLike | ts.TypeFlags.BigIntLike

这样修改后，规则将能正确识别 bigint 类型，并在 allowNumberAndString: false 配置下对 bigint + string 操作发出警告。

对开发者的影响

这个问题会影响以下场景的开发：

1. 使用 bigint 类型进行数值计算的代码
2. 严格限制加法操作数类型的项目
3. 需要防止意外类型转换的代码库

开发者需要注意，在当前版本中，bigint 与 string 的加法操作可能不会触发预期的类型检查警告，需要手动确保类型安全。

最佳实践建议

在等待官方修复的同时，开发者可以采取以下措施：

1. 对涉及 bigint 的加法操作进行手动类型检查
2. 使用类型断言确保操作数类型正确
3. 考虑使用自定义的 ESLint 规则作为临时解决方案

总结

TypeScript ESLint 插件的 restrict-plus-operands 规则在 bigint 类型检查上存在遗漏，这提醒我们在使用静态类型检查工具时，仍需保持警惕。特别是在使用较新的 TypeScript 特性时，要验证工具链的支持程度。类型安全是一个系统工程，需要开发者、工具和社区共同努力维护。