TypeScript-ESLint 中 prefer-nullish-coalescing 规则的深入探讨

在 TypeScript 开发中，空值合并运算符（??）和逻辑或运算符（||）的选择一直是个值得关注的话题。TypeScript-ESLint 提供的 prefer-nullish-coalescing 规则就是为了帮助开发者更合理地使用这两种运算符。

规则背景与现状

prefer-nullish-coalescing 规则的主要目的是鼓励开发者使用空值合并运算符（??）而非逻辑或运算符（||），因为前者能更精确地处理 null 和 undefined 的情况。然而，当前规则在处理 any 和 unknown 类型时存在一些值得商榷的行为。

问题核心分析

当变量类型为 any 或 unknown 时，这些类型本质上可能包含 null 或 undefined 值。按照规则的设计初衷，这种情况下应该推荐使用空值合并运算符。例如：

declare const u: unknown;
const foo = u || 'bar'; // 当前会被报告为问题
const bar = u ?? 'bar'; // 推荐写法

然而，规则在处理这些"顶层"类型时存在一些特殊情况需要考虑。特别是当开发者明确知道这些类型实际上不会包含 null 或 undefined 时，强制使用空值合并运算符可能并不合适。

技术实现细节

在规则的技术实现上，关键在于如何判断一个类型"可能"包含 null 或 undefined。TypeScript 的类型系统提供了 isNullableType 这样的工具函数来帮助判断，但需要特别注意：

1. any 和 unknown 类型在严格意义上"可能"包含 null 或 undefined
2. 但对于某些特定场景，开发者可能有更精确的类型信息
3. 规则需要考虑添加配置选项来适应不同团队的需求

解决方案建议

一个合理的改进方向是：

1. 默认情况下，将 any 和 unknown 类型视为可能包含 null/undefined
2. 提供配置选项（如 ignorePrimitives）允许开发者根据项目需求调整行为
3. 确保规则实现能够正确处理各种边缘情况而不崩溃

实际应用示例

考虑以下不同场景：

// 场景1：明确可能为null/undefined
declare const possibleNull: string | null;
const a = possibleNull || 'default'; // 应报告
const b = possibleNull ?? 'default'; // 正确

// 场景2：unknown类型
declare const userInput: unknown;
const c = userInput || 'default'; // 默认应报告
const d = userInput ?? 'default'; // 正确

// 场景3：配置忽略原始类型
// 当ignorePrimitives启用时
const e = userInput || 'default'; // 不报告

总结与最佳实践

prefer-nullish-coalescing 规则是 TypeScript 项目中提升代码质量的有力工具，但在使用时需要注意：

1. 理解空值合并运算符与逻辑或运算符的精确区别
2. 根据项目类型使用习惯合理配置规则
3. 对于 any/unknown 类型要特别小心，确保使用符合实际类型语义的运算符
4. 考虑团队共识，必要时通过配置调整规则行为

通过合理配置和使用这条规则，可以显著提高代码中对空值处理的精确性和可维护性。