TypeScript ESLint 中 no-unused-vars 规则的类型检查边界探讨

在 TypeScript 开发中，ESLint 的 no-unused-vars 规则对于保持代码整洁至关重要。然而，当与 TypeScript 的类型系统深度结合时，这条规则会展现出一些值得探讨的边界情况。

类型测试场景的特殊需求

在测试类型时，开发者经常需要创建运行时变量来获取类型信息。例如，当测试一个泛型函数的返回类型时，可能需要先实际调用该函数并存储结果：

const mergeString = <A extends string, B extends string>(a: A, b: B): `${A}:${B}` => `${a}:${b}`;

const result = mergeString('abc', 'efg');
expectTypeOf<typeof result>().toEqualTypeOf<'abc:efg'>();

这种情况下，虽然 result 变量在运行时未被使用，但它是类型测试的必要中间步骤。TypeScript 的类型系统需要通过实际值来推断出精确的类型信息。

更优雅的类型测试方案

TypeScript 提供了更直接的方案来避免创建不必要的运行时变量。通过 typeof 结合泛型参数，可以直接获取函数调用的类型：

expectTypeOf<ReturnType<typeof mergeString<'abc', 'efg'>>>().toEqualTypeOf<'abc:efg'>();

这种方式完全避免了运行时变量的创建，既满足了类型测试需求，又符合 no-unused-vars 规则的期望。

declare 声明的特殊情况

当使用 declare 声明变量时，这些变量仅存在于类型系统中，不会生成实际的运行时代码：

declare const MyClass: {
  new (): InstanceType<typeof MyClass>;
  prototype: {
    method(): void;
  };
};

尽管这些声明在运行时不存在，但它们在类型系统中扮演着重要角色。no-unused-vars 规则目前也会标记这些声明，这可能是一个值得优化的点。

类型索引键的检测盲区

有趣的是，当变量被用作类型索引键时，no-unused-vars 规则可能不会正确识别：

const key = 'uniqueKey';
type MyType = { [key]: string };  // key 未被标记为未使用

这种情况展示了规则在复杂类型表达式中的局限性，开发者需要注意这种潜在的盲区。

最佳实践建议

1. 优先使用 TypeScript 内置的类型操作工具（如 ReturnType、Parameters 等）来避免创建中间变量
2. 对于必须的运行时变量，考虑使用 ESLint 禁用注释明确意图
3. 在类型测试场景中，探索类型断言等替代方案
4. 定期检查项目中的类型相关代码，确保既满足类型需求又保持代码简洁

理解这些边界情况有助于开发者更合理地运用 TypeScript 和 ESLint，在类型安全和代码质量之间找到平衡点。