为什么TypeScript不支持函数参数类型的自动推导功能？

我们先明确示例代码的基础定义：

declare function doCoolThing(param: string): number

可以正常显式声明参数类型调用：

function doItTyped(a: string): number {
    return doCoolThing(a)
}

TS支持自动推导返回类型：

function doItTypedParameterOnly(a: string) {
    return doCoolThing(a)
}

但不会从函数体内部调用反向推导参数类型，以下代码会触发隐式any错误：

function doItNoType(a) {
//                 ^^^ Error: Parameter 'a' implicitly has an 'any' type.
    return doCoolThing(a)
}

这个是TypeScript团队的有意设计选择，不是技术上无法实现，核心原因有三个：

• 性能权衡：要实现全量函数参数从内部使用反向推导，需要做全局的流分析，类型检查的时间复杂度会大幅提升，对于大型项目来说性能损耗无法接受。Flow虽然支持该特性，但在大型代码库中的类型检查速度远低于TypeScript，就是这种设计选择带来的 trade-off。
• 契约稳定性要求：函数参数类型是函数对外的公开契约，如果依赖内部实现推导，一旦修改函数内部逻辑，参数类型就会跟着隐式变化，可能导致外部依赖该函数的代码出现无感知的类型错误，大幅提升项目的维护成本。TS团队认为函数的入参类型应该由开发者显式定义，作为接口的一部分固定下来，而不是随实现动态变化。
• 歧义场景难处理：大多数实际场景中，参数在函数内部的使用逻辑并不唯一，比如同一个参数可能同时传给接收string和接收number的方法，推导出来的联合类型大概率不符合开发者预期，反而会带来更多隐式问题。

至于编辑器提供的「Quick Fix -> Infer parameter types from usage」功能，属于代码生成能力，只针对当前单个文件的简单场景做静态分析，直接把推导出来的类型写死到代码中，不属于类型检查阶段的动态推导逻辑，和你期望的「不用写类型自动推导」不是同一个实现逻辑。

如果不想手动写参数类型，有几种可落地的方案：

• 利用变量类型反向推导：将函数赋值给已经明确类型的变量，TS会自动推导函数的参数类型，不需要手动声明：

type FnType = (a: string) => number
const doIt: FnType = (a) => {
  // 此处a会被自动推导为string
  return doCoolThing(a)
}

• 用工具批量补全类型：可以用ts-migrate、typescript-eslint的自动修复规则，批量扫描代码，自动把推导出来的参数类型补全到源码中，和编辑器Quick Fix的效果一致，适合批量处理老代码。
• 如果你只是要避免编译报错，可以关闭noImplicitAny编译选项，但会失去参数的类型检查能力，不推荐在正式项目中使用。

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