如何创建带约束的TypeScript泛型生成器以复用类型结构？

完全可以实现这种需求，核心思路是用高阶泛型让生成的类型自动继承预设约束，同时保留TypeScript的类型补全能力。以下是具体实现方案：

基础示例（函数类型场景） #

首先定义你的通用约束，比如一个联合类型：

// 定义通用约束
type Constraint = string | number;

// 泛型生成器：返回一个自带约束的泛型函数类型
type CreateMyType<A> = <T extends Constraint>(input: T) => {
  input: T;
  typeTag: A;
};

// 生成自定义类型
type MyCustomType = CreateMyType<'custom'>;

使用时，MyCustomType的类型参数会自动继承Constraint，且支持自动补全：

// 定义符合约束的函数
const processCustom: MyCustomType = (val) => ({
  input: val,
  typeTag: 'custom'
});

processCustom("hello"); // ✅ 合法，支持string类型补全
processCustom(123);     // ✅ 合法，支持number类型补全
processCustom(true);    // ❌ 报错：boolean不符合Constraint约束

非函数类型场景（泛型对象类型） #

如果需要生成的是对象类型而非函数，可以调整为返回一个泛型构造器：

interface Constraint {
  id: string;
  label: string;
}

type CreateMyType<A> = <T extends Constraint>(type: A) => {
  entity: T;
  type: A;
};

// 生成自定义类型
type EntityType = CreateMyType<'entity'>;

// 直接生成具体实例类型
type UserEntity = ReturnType<EntityType>;

const user: UserEntity = {
  entity: { id: "u1", label: "Alice" }, // ✅ 自动补全Constraint的字段
  type: 'entity'
};

关键技巧说明 #

1. 高阶泛型设计：CreateMyType本身是一个泛型，它返回的是另一个已经内置了extends Constraint约束的泛型类型。这样生成的MyCustomType在使用时，无需重复声明约束。
2. 自动补全支持：只要Constraint是具体的类型（比如联合类型、接口），TypeScript会自动识别约束并提供类型补全，不需要额外处理infer或never。
3. 复用性：所有通过CreateMyType生成的类型都会自动继承同一个Constraint，避免了重复编写extends Constraint的冗余代码。

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