TypeScript中如何配置更严格检查并禁用自动类型推断？

这个问题问得好！咱们把这事说清楚——TypeScript的核心特性之一就是类型推断，所以目前并没有一个全局的编译器开关能完全禁用所有自动推断行为。不过我们可以结合TypeScript配置选项和ESLint规则，在你需要的地方强制要求显式声明类型，达到你想要的“更严格”的效果。

1. 强化TypeScript编译器配置 #

虽然strict: true已经开启了大部分严格检查，但你可以额外添加以下选项进一步约束：

• noImplicitReturns: true：强制函数的所有代码路径都要有明确的return语句（避免意外隐式返回undefined）
• noUnusedLocals: true：禁止代码中出现未使用的局部变量
• noUnusedParameters: true：标记未使用的函数参数，保持代码整洁

更新后的tsconfig.json示例：

{
  "compilerOptions": {
    "target": "ES5",
    "module": "commonjs",
    "strict": true,
    "noImplicitReturns": true,
    "noUnusedLocals": true,
    "noUnusedParameters": true
  },
  "include": ["./"]
}

2. 使用ESLint规则强制显式类型声明 #

要真正禁止函数（或可选的变量）的自动类型推断，需要借助ESLint的TypeScript插件规则：

强制函数显式声明返回类型 #

启用@typescript-eslint/explicit-function-return-type规则，它会要求所有函数（包括箭头函数）必须显式声明返回类型。

在你的ESLint配置文件（比如.eslintrc.json）中添加：

{
  "rules": {
    "@typescript-eslint/explicit-function-return-type": "error"
  }
}

开启这个规则后，像const testing = () => console.log("test");这类没有显式返回类型的代码会触发ESLint错误，你必须写成const testing = (): void => console.log("test");才符合要求。

（可选）强制变量显式声明类型 #

如果你还希望变量也必须显式声明类型（而不是让TS自动推断），要注意：目前没有官方的ESLint规则支持这一点——因为这违背了TypeScript在类型安全和代码简洁性之间平衡的设计初衷。强制所有变量都显式声明类型会导致代码变得冗长冗余（比如把简单的const num = 1写成const num: number = 1）。当然，如果你确实有刚需，可以自定义ESLint规则，但一般不推荐这么做。

一点权衡提示 #

实话实说：完全禁用类型推断会让你的代码变得非常啰嗦。TypeScript的类型推断就是为了在保证类型安全的同时减少冗余代码。上面的规则可以让你精准管控需要严格显式声明的场景（比如函数返回值），而不用一刀切放弃所有便利。

内容的提问来源于stack exchange，提问作者SixtyEight