如何覆盖继承Record的泛型类参数并强制特定属性？

我定义了Parent和Child两个类，Parent包含Result和ParentBuilderMap两个泛型参数：

• Result预期为某种类
• ParentBuilderMap是Result的子集，其值为特定接口类型

我的目标是创建子类Child，强制ParentBuilderMap中存在value属性，且该属性必须使用Builder接口的自定义实现SuperSecretBuilder。尝试用Omit<A, keyof B> & B来覆盖属性，但出现类型无法赋值的错误——尽管该类型的键与原类型一致或更多。

原代码示例 #

type Overwrite<A, B> = Omit<A, keyof B> & B;

interface Builder<Result> {
  build(): Result;
}

class SuperSecretBuilder implements Builder<string> {
  build() {
    return "lorem ipsum";
  }

  secret() {
    return "p4ssw0rd";
  }
}

type BuilderMap<Result> = Partial<Record<keyof Result, Builder<unknown>>>;

class Parent<Result, ParentBuilderMap extends BuilderMap<Result>> {
  doWork<Key extends keyof ParentBuilderMap>(key: Key, cb: () => ParentBuilderMap[Key]) {
    // tbd
  }
}

class Child<
  Result,
  ChildBuilderMap extends Overwrite<BuilderMap<Result>, { value: SuperSecretBuilder }>,
> extends Parent<Result, ChildBuilderMap> {
  doSecretWork() {
    // 期望根据传入的key，回调返回值被推断为SuperSecretBuilder
    this.doWork("value", () => {
      const builder = new SuperSecretBuilder();

      console.log(builder.secret());

      return builder;
    });
  }
}

问题原因 #

报错的核心是：ChildBuilderMap是一个泛型参数，它只是extends了Overwrite<...>类型，而非完全等于该类型。TypeScript无法保证ChildBuilderMap["value"]恰好是SuperSecretBuilder——它可能是SuperSecretBuilder的子类型，因此回调返回的SuperSecretBuilder实例无法被安全赋值给ParentBuilderMap[Key]的位置。

解决方案 #

方案1：固定ChildBuilderMap的类型（推荐）

将Child的泛型约束从extends改为直接指定类型，移除多余的泛型参数，让TypeScript明确ParentBuilderMap的结构：

type Overwrite<A, B> = Omit<A, keyof B> & B;

interface Builder<Result> {
  build(): Result;
}

class SuperSecretBuilder implements Builder<string> {
  build() {
    return "lorem ipsum";
  }

  secret() {
    return "p4ssw0rd";
  }
}

type BuilderMap<Result> = Partial<Record<keyof Result, Builder<unknown>>>;

class Parent<Result, ParentBuilderMap extends BuilderMap<Result>> {
  doWork<Key extends keyof ParentBuilderMap>(key: Key, cb: () => ParentBuilderMap[Key]) {
    // tbd
  }
}

// 直接将Parent的第二个泛型参数设为Overwrite后的固定类型
class Child<Result> extends Parent<Result, Overwrite<BuilderMap<Result>, { value: SuperSecretBuilder }>> {
  doSecretWork() {
    this.doWork("value", () => {
      const builder = new SuperSecretBuilder();
      console.log(builder.secret());
      return builder;
    });
  }
}

方案2：保留泛型灵活性，添加类型断言或明确泛型参数

如果需要允许ChildBuilderMap扩展，可以通过以下两种方式解决：

// 方式A：添加类型断言
class Child<
  Result,
  ChildBuilderMap extends Overwrite<BuilderMap<Result>, { value: SuperSecretBuilder }>,
> extends Parent<Result, ChildBuilderMap> {
  doSecretWork() {
    this.doWork("value" as keyof ChildBuilderMap, () => {
      const builder = new SuperSecretBuilder();
      console.log(builder.secret());
      return builder as ChildBuilderMap["value"];
    });
  }
}

// 方式B：明确指定doWork的泛型参数
class Child<
  Result,
  ChildBuilderMap extends Overwrite<BuilderMap<Result>, { value: SuperSecretBuilder }>,
> extends Parent<Result, ChildBuilderMap> {
  doSecretWork() {
    this.doWork<"value">("value", () => {
      const builder = new SuperSecretBuilder();
      console.log(builder.secret());
      return builder;
    });
  }
}

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