TypeScript中如何将泛型参数断言为另一个类型的超类型？

问题核心 #

在TypeScript中，我们可以用extends关键字约束泛型参数为某个类型的子类型，比如：

class Base { a = 1 }
class Child extends Base { b = 2 }

class Test {
  // 约束T是Base的子类型
  hello<T extends Base>() {}
}

new Test().hello<Child>(); // 合法，Child是Base的子类型

但如果需要约束泛型参数为某个类型的超类型（比如让T成为Child的父类型/超类型），直接用extends就不适用了，比如下面的场景：

class Test2 {
  // 如何确保T是Child的超类型？
  hello<T ??? Child>() {}
}

new Test2().hello<Base>(); // 期望合法，Base是Child的超类型

解决方案：利用条件类型实现超类型约束 #

TypeScript没有直接的“超类型约束”语法，但可以通过条件类型间接实现：要确保类型U是T的超类型，本质是要求T extends U（子类型可以赋值给超类型）。我们可以把这个条件作为泛型参数的约束条件。

基础场景实现 #

针对上面的Test2，可以这样写：

class Test2 {
  // 约束T是Child的超类型（即Child可以赋值给T）
  hello<T extends (Child extends T ? unknown : never)>() {}
}

new Test2().hello<Base>(); // 合法
new Test2().hello<Child>(); // 合法（自身也是自己的超类型）
new Test2().hello<string>(); // 报错，string不是Child的超类型

这里的(Child extends T ? unknown : never)是条件类型：只有当Child是T的子类型（即T是Child的超类型）时，约束才会解析为unknown（所有类型都满足）；否则解析为never（没有类型能满足），从而达到约束效果。

应用场景：Actions类的setT方法适配 #

回到你提供的Actions类场景，我们需要setT方法的NewT是当前T的超类型，实现如下：

class Actions<T = never> {
  execs: (() => T)[] = [];

  append(exec: () => T) {
    this.execs.push(exec);
    return this;
  }

  // 约束NewT是T的超类型
  setT<NewT extends (T extends NewT ? unknown : never)>() {
    return this as Actions<NewT>;
  }
}

// 测试期望的调用逻辑
new Actions()
  .setT<Child>()
  .append(() => new Child())
  .setT<Base>() // 合法，Base是Child的超类型
  .append(() => new Base())
  .execs.map(e => e()); // 类型推断为Base[]，符合预期

为什么之前的写法会报错？ #

当你用setT<NewT extends T>()时，约束的是NewT是T的子类型，这和你需要的“超类型”逻辑完全相反。此时Actions<T>和Actions<NewT>是逆变关系，类型不兼容，所以TypeScript会抛出类型转换错误。而正确的超类型约束确保了T可以赋值给NewT，Actions<T>可以安全地转换为Actions<NewT>。

更简洁的写法（TS 4.9+） #

如果你使用TypeScript 4.9及以上版本，还可以用编译时检查的方式实现，逻辑更直观：

setT<NewT>() {
  // 编译时校验：T必须能赋值给NewT（即NewT是T的超类型）
  const _check: T extends NewT ? true : false = true;
  return this as Actions<NewT>;
}

不符合约束时，_check的赋值会直接触发编译错误，达到约束效果。

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