如何禁止TypeScript在变量声明外推断any类型？

问题背景 #

已启用TypeScript的strict编译选项（包含noImplicitAny），但仍允许如下写法：

let thing;
thing = 'someValue';
thing = 'someOtherValue';

这类变量会被推断为any类型，且因类型延迟推断导致IDE无法提前给出类型提示。需要强制变量类型在声明时确定：要么显式添加类型注解，要么通过立即赋值让TypeScript推导类型，禁止“先声明、后赋值且无类型注解”的写法。

解决方案：使用ESLint的@typescript-eslint/typedef规则 #

通过@typescript-eslint/eslint-plugin提供的typedef规则，可精准限制变量声明的写法，满足需求。

配置步骤

1. 确保已安装@typescript-eslint/eslint-plugin（若未安装，执行npm install @typescript-eslint/eslint-plugin --save-dev）
2. 在ESLint配置文件（如.eslintrc.json或.eslintrc.js）中添加如下规则配置：

{
  "rules": {
    "@typescript-eslint/typedef": [
      "error",
      {
        "variableDeclarator": true,
        // 以下选项可根据项目需求调整，不需要则设为false
        "arrowParameter": false,
        "memberVariableDeclaration": false
      }
    ]
  }
}

规则说明

• variableDeclarator: true：要求所有变量声明必须满足以下二者之一：
  • 带有显式的类型注解（如let thing: string;）
  • 立即赋值（如let thing = 'someValue';或let thing = SomeFunctionWithAnnotatedReturnType();）
• 该规则会直接禁止let thing;这类既无类型注解、也无初始赋值的写法，从根源避免延迟类型推断的问题。

验证示例 #

• 合规写法：

  // 显式类型注解
  let thing: string;
  thing = 'someValue';
  
  // 立即赋值推导类型
  let thing = 'someValue';
  
  // 调用带返回类型注解的函数，推导类型
  let thing = SomeFunctionWithAnnotatedReturnType();
  

• 不合规写法（会触发ESLint错误）：

  let thing;
  thing = '123';
  thing = 123;
  

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