添加默认泛型类型为何导致TypeScript参数类型推断失效？

当为泛型参数添加默认类型后，TypeScript的类型推断逻辑会发生关键变化，导致无法正确推断嵌套函数参数的类型，具体原因如下：

1. 无默认类型时的推断逻辑
   对于fooWithoutDefaultType，由于泛型TMap没有默认类型，TypeScript必须完全从传入的callbackMap参数推导TMap的具体类型。它会严格遵循TMap extends Record<string, ({ name }: { name: string }) => any>的约束，深入分析每个回调函数的参数，最终将param正确推断为{ name: string }。

2. 有默认类型时的推断逻辑
   当给TMap设置默认类型{}后，TypeScript的推断优先级会转向优先使用默认类型作为基础候选。此时：

   • 传入的{ a: (param) => {} }只要能赋值给约束Record<string, ({ name }: { name: string }) => any>就会被接受；
   • TypeScript不会再为了更精确的类型而深入推导param的类型，而是直接将其推断为any——因为默认类型的存在让TS认为“已有合适的类型兜底”，无需进行额外的深层推断。

这是TypeScript泛型推断的设计行为：默认类型的存在会弱化对输入参数的深层类型推导，转而优先保证类型约束的满足。

代码对比验证 #

// 有默认类型：param推断为any
function fooWithDefaultType<
  TMap extends Record<string, ({ name }: { name: string }) => any> = {}
>(callbackMap: TMap) {}

// 无默认类型：param正确推断为{ name: string }
function fooWithoutDefaultType<
  TMap extends Record<string, ({ name }: { name: string }) => any> 
>(callbackMap: TMap) {}

fooWithDefaultType({ a: (param) => {} });
fooWithoutDefaultType({ a: (param) => {} });

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