TypeScript子类将父类继承属性设为可选的实现方案求助

问题场景 #

父类定义：

class A {
  prop: string
}

子类尝试将继承的prop设为可选：

class B extends A {
  prop?: string
}

触发TypeScript错误：

Property 'prop' in type 'B' is not assignable to the same property in base type 'A'.
  Type 'string | undefined' is not assignable to type 'string'.
    Type 'undefined' is not assignable to type 'string'.ts(2416)

尝试用辅助函数OptionalizeParent处理父类：

function OptionalizeParent<T>(cls: T): Partial<T>{
  return cls
}

class B extends OptionalizeParent(A) {
  prop?: string
}

但报错：

Type 'Partial<typeof A>' is not a constructor function type.

错误原因 #

1. 子类属性类型必须是父类属性类型的子类型，string | undefined不是string的子类型，违反TypeScript的类型兼容规则。
2. Partial<T>作用于构造函数类型（typeof A）时，只会将构造函数的静态属性设为可选，不会修改其实例类型，因此无法作为父类被继承。

解决方案 #

方案一：类型约束+构造函数重写 #

通过implements约束子类实例类型为父类的Partial版本，同时重写构造函数适配父类要求：

class A {
  prop: string;
  constructor(prop: string) {
    this.prop = prop;
  }
}

// 定义父类实例的可选类型
type PartialA = Partial<A>;

class B extends A implements PartialA {
  prop?: string;

  constructor() {
    // 父类构造函数需要必填参数，传入默认值后再覆盖为undefined
    super("");
    this.prop = undefined;
  }
}

方案二：构造函数类型断言包装 #

编写工具函数将父类构造函数断言为返回Partial实例的构造函数，绕过类型检查：

function createPartialClass<T extends new (...args: any[]) => any>(cls: T) {
  // 将构造函数断言为返回Partial实例类型的构造函数
  return cls as new (...args: any[]) => Partial<InstanceType<T>>;
}

class A {
  prop: string;
  constructor(prop: string) {
    this.prop = prop;
  }
}

class B extends createPartialClass(A) {
  prop?: string;

  constructor() {
    super(""); // 运行时仍需传入父类要求的参数
    this.prop = undefined;
  }
}

方案三：类表达式+类型断言 #

用类表达式直接创建Partial版本的父类：

class A {
  prop: string;
  constructor(prop: string) {
    this.prop = prop;
  }
}

// 将A类断言为返回Partial实例的构造函数
const PartialA = class extends A {} as new (...args: any[]) => Partial<A>;

class B extends PartialA {
  prop?: string;

  constructor() {
    super("");
    this.prop = undefined;
  }
}

关于MapConstructor #

MapConstructor是TypeScript中Map构造函数的类型定义，用于描述Map的创建方式，和子类属性可选化的需求没有直接关联，无法解决当前问题。

内容的提问来源于stack exchange，提问作者Islam Y-