TypeScript ESLint 项目中 prefer-nullish-coalescing 规则对计算属性的处理问题分析

在 TypeScript ESLint 项目中，prefer-nullish-coalescing 规则旨在帮助开发者使用更简洁的空值合并运算符（??）来替代冗长的三元表达式。然而，该规则在处理计算属性时存在一个值得注意的问题。

问题背景

当开发者使用计算属性访问对象成员时，结合空值检查的三元表达式会被错误地标记为可以使用空值合并运算符的情况。例如以下代码：

const a = 'b';
declare let x: { a: string, b: string } | null;

x?.a != null ? x[a] : 'foo'

这段代码实际上是在检查对象 x 的 a 属性是否为 null 或 undefined，如果不是则访问 x 的计算属性 a（即 x['b']），否则返回 'foo'。这是一个合理的用法，不应该被建议改为使用空值合并运算符。

问题本质

该问题的核心在于规则没有正确处理计算属性的访问方式。在分析三元表达式时，规则需要特别考虑以下几种情况：

1. 当条件部分检查的是对象属性是否为 null/undefined
2. 当结果部分使用计算属性访问对象成员
3. 当计算属性引用的变量与条件检查的属性不一致时

解决方案

修复该问题的关键在于增强规则对计算属性的识别能力。具体需要：

1. 在分析三元表达式时，检查结果部分是否包含计算属性访问
2. 当检测到计算属性时，需要验证计算属性引用的变量是否与条件检查的属性一致
3. 只有当条件检查和结果访问的是同一属性时，才建议使用空值合并运算符

实际影响

这个问题虽然看起来是一个边缘情况，但实际上会影响以下常见编码模式：

1. 动态属性访问
2. 使用变量作为属性名的场景
3. 需要同时检查对象和属性是否存在的防御性编程

最佳实践建议

在等待官方修复的同时，开发者可以：

1. 对于计算属性访问，暂时禁用该规则的检查
2. 使用显式的类型守卫来确保类型安全
3. 考虑将计算属性访问重构为更明确的属性访问（如果业务逻辑允许）

这个问题已经在最新版本中得到修复，开发者可以升级到最新版本来获得正确的检查行为。