TypeScript中带默认值与约束的泛型类型推断差异解析

问题场景代码 #

泛型约束场景（报错） #

type ConfigItem<T, U> = {
  label: T;
  value: U
}
class A<T extends string, U extends string, M extends ConfigItem<T, U>> {
  optData: M[] = [];
  constructor(data: M[]) {
    this.optData = data;
  }

  addItem(data: M) {
    this.optData.push(data)
  }
}

const a = new A([{label: '1', value: '1'}])
console.log(a.optData)
a.addItem({label: '3', value:'2'}); // ERROR: Type "3" is not assignable to type "1"

泛型默认值场景（正常） #

type ConfigItem<T, U> = {
  label: T;
  value: U
}
class A<T extends string, U extends string, M = ConfigItem<T, U>> {
  optData: M[] = [];
  constructor(data: M[]) {
    this.optData = data;
  }

  addItem(data: M) {
    this.optData.push(data)
  }
}

const a = new A([{label: '1', value: '1'}])
a.addItem({label: '3', value:'2'}) // OK!

疑问解析 #

两种场景的类型推断逻辑 #

1. 泛型约束场景（M extends ConfigItem<T, U>）
   当声明M extends ConfigItem<T, U>时，TypeScript会优先从构造函数参数data: M[]推断出最具体的M类型——也就是传入的字面量对象的精确类型{ label: '1'; value: '1' }。此时T和U会被反向推导为该具体M中label和value的字面量类型'1'和'1'。

因为M被约束为必须匹配ConfigItem<T, U>，TypeScript的类型推断会尽可能缩小类型范围以满足约束的精确匹配，不会自动把字面量类型放宽到string，这就导致后续调用addItem时，新传入的对象类型和已推断出的M类型不兼容，从而触发报错。

2. 泛型默认值场景（M = ConfigItem<T, U>）
   这里M的默认值是ConfigItem<T, U>，而T和U本身有extends string的约束。当传入构造函数参数[{label: '1', value: '1'}]时，TypeScript会优先推断T和U：由于它们被约束为string，会把字面量'1'放宽到基础类型string，同理U也会被推断为string。之后M会使用默认值ConfigItem<string, string>，也就是{ label: string; value: string }。

此时addItem接受的参数类型是宽泛的string类型，所以传入{label: '3', value:'2'}完全符合类型要求，不会报错。

核心差异原因 #

• 约束场景下，M是优先被推断的核心类型，TypeScript会锁定其字面量精确类型，再反向推导T和U，最终导致类型被窄化。
• 默认值场景下，T和U是优先被推断的目标（因为有明确的string约束），TypeScript会将字面量放宽到约束的基础类型，再通过默认值确定M的宽泛类型，从而保持兼容性。

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