TypeScript泛型接口继承：能否无需重复声明泛型参数？

TypeScript并没有直接的语法让子接口自动继承父接口的泛型参数，必须显式声明这些参数，但可以通过以下几种方式大幅减少重复代码：

1. 提取泛型约束为类型别名 #

把父接口中泛型参数的约束逻辑提取成可复用的类型别名，避免在每个子接口中重复写冗长的约束语句：

// 提取通用约束为类型别名
type Entity = Record<string, any>;
type Identifier = number | string;

// 父接口使用类型别名简化约束
interface Controller<
  Type extends Entity,
  IdType extends Identifier,
  UpdateType extends Entity
> {
  get(id: IdType): Type;
  remove(id: IdType): Type;
  update(id: IdType, data: UpdateType): Type;
}

// 子接口复用类型别名，无需重复写约束
interface VotableController<
  Type extends Entity,
  IdType extends Identifier,
  UpdateType extends Entity
> extends Controller<Type, IdType, UpdateType> {
  vote(id: IdType): Type;
  unvote(id: IdType): Type;
}

interface UserEditableController<
  Type extends Entity,
  IdType extends Identifier,
  UpdateType extends Entity
> extends Omit<Controller<Type, IdType, UpdateType>, "update" | "remove"> {
  update(id: IdType, data: UpdateType, userId: number): Type;
  remove(id: IdType, userId: number): Type;
}

2. 简化泛型参数名称 #

如果觉得参数名过长，可以使用更简洁的语义化名称，进一步压缩代码量：

interface Controller<T extends Entity, I extends Identifier, U extends Entity> {
  get(id: I): T;
  remove(id: I): T;
  update(id: I, data: U): T;
}

interface VotableController<T extends Entity, I extends Identifier, U extends Entity> extends Controller<T, I, U> {
  vote(id: I): T;
  unvote(id: I): T;
}

3. 给泛型参数设置默认值（可选） #

如果子接口在多数场景下使用父接口的默认约束，可以给泛型参数设置默认值，这样在使用子接口时可省略泛型参数（无需自定义时）：

interface VotableController<
  T extends Entity = Entity,
  I extends Identifier = Identifier,
  U extends Entity = Entity
> extends Controller<T, I, U> {
  vote(id: I): T;
  unvote(id: I): T;
}

// 使用时无需指定泛型参数
const votableCtrl: VotableController = {
  get(id) { return {}; },
  remove(id) { return {}; },
  update(id, data) { return {}; },
  vote(id) { return {}; },
  unvote(id) { return {}; }
};

为什么直接extends Controller会报错？ #

Controller是泛型接口，TypeScript要求必须显式提供泛型参数才能完成继承——编译器无法自动推断子接口需要的泛型参数类型及约束，因此必须手动声明。

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