为何开启noImplicitAny后TypeScript仍不对隐式any报错？

为什么noImplicitAny未触发错误 #

noImplicitAny 的设计目标是拦截编译器无法推断出具体类型的隐式 any 场景，比如未标注类型的函数参数、声明后从未赋值的变量。但在你的代码中：

let x;
x = 5;
x = "a";
x = null;
console.log(x);

编译器通过后续多次不同类型的赋值，能明确推断出你是有意让变量 x 接受任意类型，因此会将其类型推断为 any——这种不属于“无法确定类型”的情况，所以不会触发 noImplicitAny 的错误。

触发该场景错误的编译选项 #

如果你想强制要求所有 any 类型必须显式声明（包括这种隐式推断的情况），可以启用 explicitAny 编译选项（TypeScript 4.9 及以上版本支持）。修改 tsconfig.json：

{
  "compilerOptions": {
    "noImplicitAny": true,
    "explicitAny": true
  }
}

启用后，上述代码会触发错误，要求你必须显式标注 x 的类型为 any（即 let x: any;）。

若你的 TypeScript 版本低于 4.9，也可以开启 strict 模式（它包含 noImplicitAny 等一系列严格检查规则），不过 strict 模式并非专门针对这类场景，explicitAny 是更精准的选择。

内容的提问来源于stack exchange，提问作者F.M.F.