TS 4.7+类型推断异常：升级后参数类型变为unknown/any

问题描述 #

将代码库从TypeScript 4.6升级到4.8版本后，出现类型错误提示：Parameter 'newVal' implicitly has an 'any' type。简化测试示例后发现：

• 在TS 4.6中，newVal1能被正确推断为number类型，newVal2推断为string类型
• 在TS 4.7及以上版本中，两个参数的类型均被推断为unknown，导致严格模式下报错

原代码的类型逻辑更为复杂，对应TS Playground示例分别基于TS 4.6和TS 4.7版本。

问题原因 #

TypeScript 4.7版本对泛型上下文类型推断做了严格化调整，收紧了之前宽松的类型推导规则。原本在嵌套泛型函数中能通过上下文自动推导的类型，现在因为类型约束不够明确，被默认推断为unknown。这是TS团队为提升类型安全性做出的变更，避免潜在的类型不匹配问题。

解决方案 #

1. 显式指定泛型参数 #

在调用相关函数时，明确传入泛型类型参数，让TS直接获取类型信息：

watch<number>('num', (newVal) => {
  // newVal 现在被推断为 number 类型
  console.log(newVal.toFixed(2));
});

watch<string>('str', (newVal) => {
  // newVal 现在被推断为 string 类型
  console.log(newVal.length);
});

2. 优化泛型类型定义 #

调整原有的类型逻辑，为泛型参数添加更具体的约束，或者通过条件类型缩小类型范围。例如，修改watch函数的类型定义，让它能从第一个参数的键名关联到对应的值类型：

type State = {
  num: number;
  str: string;
};

function watch<K extends keyof State>(key: K, callback: (newVal: State[K]) => void) {
  // 函数实现
}

这样调用时，TS会根据传入的key自动推断newVal的类型，无需手动指定泛型参数。

3. 临时兼容方案（不推荐长期使用） #

如果需要快速兼容升级，可临时调整TS配置：

• 在tsconfig.json中设置"noImplicitAny": false，关闭隐式any的报错，但会降低类型安全性
• 对单个报错位置使用// @ts-ignore注释跳过检查，但需后续尽快修复

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