TypeScript-ESLint 中 await-thenable 规则对泛型参数的处理问题分析

问题背景

在 TypeScript 项目中，我们经常会使用泛型来编写可复用的代码。然而，TypeScript-ESLint 插件中的 await-thenable 规则在处理泛型参数时存在一个值得关注的问题。

问题现象

当开发者编写如下代码时：

async function wrapper<T>(value: T) {
  return await value;
}

await-thenable 规则会错误地报告："Unexpected await of a non-Promise (non-"Thenable") value"。但实际上，我们无法确定泛型参数 T 是否是一个 Promise 或 Thenable 类型。

技术分析

规则设计初衷

await-thenable 规则的主要目的是防止开发者对非 Promise 值进行不必要的 await 操作，这可能导致性能问题或逻辑错误。规则会检查被 await 的表达式是否具有 Promise 或 Thenable 类型。

泛型参数的特殊性

对于未约束的泛型参数 T，TypeScript 类型系统无法确定它是否可以被 await。这与 any 和 unknown 类型类似，规则应该保持宽容态度，因为：

1. 泛型参数可能被实例化为 Promise 类型
2. 运行时实际传入的值可能是 Thenable 对象
3. 开发者可能有意识地使用 await 来处理可能的异步值

相关规则影响

同样的问题也存在于 return-await 规则中，这两个规则共享类似的类型检查逻辑。在修复时需要同步考虑这两个规则的实现。

解决方案建议

规则逻辑调整

建议修改规则实现，使其：

1. 对未约束的泛型参数保持宽容
2. 仅对明确不是 Thenable 类型的值发出警告
3. 保持对 any 和 unknown 类型的现有宽容处理

实际应用场景

考虑以下更实际的用例：

type GetSomething<T> = (timestamp: number) => T;

async function wrapper<T>(getter: GetSomething<T>) {
  const timestamp = performance.now();
  return await getter(timestamp); // 有意保留调用栈
}

在这种情况下，开发者明确希望使用 await 来保持调用栈信息，即使 T 可能是同步值。规则应该支持这种合理的使用场景。

总结

TypeScript-ESLint 的 await-thenable 规则需要改进对泛型参数的处理逻辑，以更好地支持 TypeScript 的类型系统特性。这一改进将使规则更加智能，减少误报，同时保持对明显错误的检测能力。对于需要同时处理同步和异步值的泛型代码，这种改进尤为重要。