TypeScript泛型函数参数类型推断问题及相关疑问

这确实是TypeScript泛型推断里一个容易让人摸不着头脑的点，我来一步步拆解给你看：

你可能误以为泛型默认值是“强制兜底的类型”，但实际上它的定位是**「当TypeScript无法从调用上下文推断出泛型参数时，才会启用的 fallback 类型」**。

回到你的例子：

function foo<T = {}>(callback: () => T): T { return callback(); }
let bar = foo(() => 1);

这里TypeScript能清晰从回调函数的返回值（number）推断出泛型T的类型，所以它会直接忽略默认值{}，把T确定为number。只有当没有足够的推断线索时，比如你这么调用：

// 假设回调是可选参数，此时无法推断T，就会用默认值{}
function foo<T = {}>(callback?: () => T): T { return callback?.() || {} as T; }
let bar = foo(); // bar: {}

默认值才会发挥作用。

TypeScript官方文档里关于泛型默认参数的章节明确提到：泛型默认值的设计目的是为了在没有显式指定泛型参数，且编译器无法从调用上下文推断出参数类型的场景下，提供一个默认的类型绑定。简单说就是，推断优先级远高于默认值。

有两种最直接的方式：

1. 显式指定泛型参数
   直接在调用时明确写死泛型类型，这样编译器会完全忽略推断逻辑，强制使用你指定的默认值：

   // 此时T被强制设为{}，回调返回number会触发类型错误，符合你的预期
   let bar = foo<{}>(() => 1);
   

2. 切断回调返回值的推断链路
   通过类型断言或者泛型约束，让回调的返回值必须符合默认类型：

   function foo<T = {}>(callback: () => T): T { return callback(); }
   // 用类型断言强制回调返回{}，此时会直接报错，因为1无法转为{}
   let bar = foo(() => 1 as {});
   

   不过这种方式可读性不如显式指定泛型，更推荐第一种方案。

这类“不符合直觉”的推断其实不少，举几个常见的：

• 数组字面量的宽推断：比如const arr = [1, "hello"]，TypeScript会把它推断为(string | number)[]，但如果你希望它是固定长度的元组，必须显式指定const arr: [number, string] = [1, "hello"]或者用as const转为只读元组。
• 对象多余属性检查的局限性：直接赋值对象字面量时会检查多余属性，比如const obj: {a: number} = {a:1, b:2}会报错，但如果先把对象存到变量里再赋值，就不会报错：const temp = {a:1, b:2}; const obj: {a: number} = temp——因为多余属性检查只针对直接的对象字面量赋值场景。
• 联合类型的分配条件类型：比如type IsString<T> = T extends string ? true : false，当传入T = string | number时，结果会是true | false，而不是false。这是因为分配条件类型会遍历联合类型的每个成员分别计算，再把结果合并成新的联合类型。
• 函数可选参数的类型合并：比如function fn(x?: number) {}，参数x的类型是number | undefined，但如果你开启了strictNullChecks，传入null会报错——因为null和undefined在TypeScript里是两个不同的类型，除非你手动把null加入类型。

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