为何TypeScript无法自动推断函数调用的精确返回类型？

问题示例 #

function greeter(person: string, test: boolean): string | number {
  if (test) return "Hello, " + person;
  return 1;
}

const hey = greeter("Foo", true);

将上述代码放入编辑器后，鼠标悬停在hey上会显示类型为const hey: string | number，但预期应该推断出const hey: string。虽然可以通过泛型约束手动实现该类型限制，但需要明确为什么TypeScript无法自动完成这个推断。

原因解析 #

TypeScript做不到这种自动推断，核心在于它的类型系统是静态、契约优先的，不会根据调用时的具体参数值动态调整函数的返回类型：

• 你给greeter函数声明的返回类型是string | number，这是函数对外暴露的固定类型契约，TypeScript会严格遵循这个契约，不会因为某次调用的参数值而临时改变函数的返回类型定义。
• 虽然调用时传入的test是字面量true，但TypeScript默认只会基于参数的类型（这里是boolean）推导结果，不会深入分析函数内部的分支逻辑，也不会追踪“test为true时返回string”这种参数值与返回值的关联——这类深度逻辑分析会极大增加类型检查的复杂度，还可能导致推断结果不稳定，不符合TypeScript设计时追求的一致性和可预测性。

如果需要让返回类型和参数值挂钩，确实需要手动使用泛型来建立参数类型与返回类型的关联，让类型系统能识别不同参数对应的返回类型。

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