TypeScript中如何约束泛型类为指定类型并自动推导类型？

当你给泛型类添加T extends FieldTypes约束后，TypeScript的类型推导会尽可能保留传入值的精确类型——因为字面量类型（比如"bar"）是string的子类型，同时也符合FieldTypes的约束，所以编译器会推导为Foo<"bar">，而不是更宽泛的Foo<string>。

而无约束的泛型Foo<T>会触发TypeScript的自动类型拓宽，将字面量类型提升到对应的基础类型（比如"bar"→string），这就是两者推导结果不同的核心原因。

以下几种方式可以让编译器自动推导为基础类型，同时保留FieldTypes的约束：

方法1：使用构造函数重载 #

通过定义覆盖所有FieldTypes成员的重载签名，引导编译器推导到基础类型：

type FieldTypes = string | number | boolean | Date | null;

class Foo<T extends FieldTypes> {
  // 重载签名：匹配所有基础类型
  constructor(value: string);
  constructor(value: number);
  constructor(value: boolean);
  constructor(value: Date);
  constructor(value: null);
  // 实现签名：处理具体逻辑
  constructor(private value: T) {}
}

const foo = new Foo("bar"); // 推导为 Foo<string>
const numFoo = new Foo(123); // 推导为 Foo<number>
const boolFoo = new Foo(true); // 推导为 Foo<boolean>

方法2：定义类型拓宽工具 #

创建一个工具类型，将字面量类型映射回对应的基础类型，再应用到类的泛型和构造函数参数上：

type FieldTypes = string | number | boolean | Date | null;

// 工具类型：将字面量类型拓宽为基础类型
type WidenLiteral<T> = 
  T extends string ? string :
  T extends number ? number :
  T extends boolean ? boolean :
  T extends Date ? Date :
  T extends null ? null :
  never;

class Foo<T extends FieldTypes> {
  constructor(private value: WidenLiteral<T>) {}
}

const foo = new Foo("bar"); // 推导为 Foo<string>
const dateFoo = new Foo(new Date()); // 推导为 Foo<Date>

方法3：约束泛型为基础类型集合 #

如果不需要支持FieldTypes的子类型（比如字面量），可以直接通过工具类型强制参数类型被拓宽：

type FieldTypes = string | number | boolean | Date | null;

type WidenLiteral<T> = 
  T extends string ? string :
  T extends number ? number :
  T extends boolean ? boolean :
  T extends Date ? Date :
  T extends null ? null :
  never;

class Foo<T extends FieldTypes> {
  constructor(value: T) {
    this.value = value as WidenLiteral<T>;
  }
  private value: WidenLiteral<T>;
}

const foo = new Foo("bar"); // 推导为 Foo<string>

TypeScript的类型推导优先级：当泛型存在约束时，编译器会优先匹配传入值的精确类型（只要满足约束）；而通过重载或工具类型，我们可以强制编译器将精确类型映射回期望的基础类型，同时保留对输入类型的约束。

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