如今能否让TypeScript真正强制对局部变量启用noImplicitAny？

针对你提到的问题——TypeScript在启用strict/noImplicitAny: true时，允许let thing;这类无类型注解、未初始化的变量被推断为any，并接受后续不同类型赋值——可以通过以下工具实现警告：

1. ESLint + TypeScript ESLint插件 #

这是最可靠的解决方案，通过ESLint规则强制变量声明必须要么有类型注解，要么立即初始化。

配置步骤： #

• 确保已安装依赖：eslint、@typescript-eslint/eslint-plugin、@typescript-eslint/parser
• 在ESLint配置文件（如.eslintrc.js）中添加以下规则：

选项一：强制变量声明必须有类型注解或初始化

module.exports = {
  parser: '@typescript-eslint/parser',
  plugins: ['@typescript-eslint'],
  rules: {
    '@typescript-eslint/typedef': [
      'warn',
      {
        variableDeclarations: true,
      },
    ],
  },
};

该规则会对所有未初始化且无类型注解的变量声明（如let thing;）直接抛出警告。

选项二：检测隐式any的变量声明

如果你更关注“隐式推断为any”的情况，可以启用@typescript-eslint/no-implicit-any的变量检测：

module.exports = {
  parser: '@typescript-eslint/parser',
  plugins: ['@typescript-eslint'],
  rules: {
    '@typescript-eslint/no-implicit-any': [
      'warn',
      {
        checkVariables: true,
      },
    ],
  },
};

这个配置会将未初始化且无类型注解的变量（推断为any）标记为警告，符合你对noImplicitAny的预期。

2. IDE实时提示 #

在VS Code等IDE中安装ESLint插件后，上述规则会实时在编辑器中显示警告，无需等到编译阶段就能发现问题。

注意 #

TypeScript编译器本身没有原生选项针对这类情况报错，因为这是官方刻意设计的行为——允许通过后续赋值推断类型。因此结合ESLint是目前最可行的方案。

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