为何启用TypeScript的noImplicitAny时，不对类型变更的变量报隐式any？

TypeScript对变量和函数参数的隐式any处理逻辑存在差异，这就是你看到两种代码表现不同的原因：

1. 变量的隐式类型推断规则 #

当你写let foo;时，TypeScript最初会把它推断为any，但如果后续有明确的赋值操作，它会自动将变量的类型更新为所有赋值类型的联合类型。比如你的示例里，foo先被赋值字符串、再赋值数字，TypeScript会把它的类型修正为string | number。

--noImplicitAny选项不会对这种有后续类型赋值的变量报错，因为TypeScript认为你是有意让变量支持多种类型，属于合法的类型拓宽场景。只有当变量声明后没有任何类型信息（包括后续无赋值操作）时，才会触发隐式any的警告。

2. 函数参数的隐式any规则 #

对于函数参数，--noImplicitAny的限制要严格得多：只要你没有显式指定参数类型，且没有足够的上下文让TypeScript推断出参数类型，就会直接抛出隐式any错误。

这是因为函数参数的类型直接影响调用时的参数合法性，TypeScript默认要求函数参数的类型必须明确，不会像变量那样允许通过后续操作来补全类型推断。你的第二个示例中，参数s没有任何类型线索，所以触发了报错。

示例代码对比 #

• 第一段代码：let foo;后续的赋值让TypeScript将类型从any更新为string | number，符合类型推断逻辑，因此--noImplicitAny不报错。
• 第二段代码：函数参数s无类型声明也无推断上下文，被判定为隐式any，触发--noImplicitAny的错误。

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