TypeScript 中的 noImplicitAny

说明 noImplicitAny 为什么会阻止 TypeScript 在推断失败时静默退回 any，以及它为什么被视为严格模式最核心的开关之一。

#tech / dev #resource / typescript #type / concept #status / growing

[!info] related notes

所属 MOC: TypeScript MOC

配置入口: tsconfig 使用详解

并列概念: TypeScript 中的 strict, TypeScript 中的 unknown 与 any, TypeScript 类型检查

一句话定义

noImplicitAny 会阻止 TypeScript 在无法推断类型时，悄悄退回到 any。

官方文档的例子是：

function fn(s) {
  console.log(s.subtr(3));
}

如果没有类型注解，TypeScript 某些情况下会把参数 s 推成：

这会让很多错误被静默放过。

而开启：

{
  "compilerOptions": {
    "noImplicitAny": true
  }
}

后，TypeScript 会直接报错：

它几乎是所有 TypeScript 项目里最先能感受到价值的严格项之一。

最常见的触发点包括：

它只阻止：

如果你真的手动写了 : any，那是另一层选择。

TypeScript 官方基础文档明确把：

称作最值得先理解的两项 strictness flags。

如果你只是为了“先不确定类型”，通常更值得思考：

而不是放任隐式 any 漫出来。