TypeScript中如何让父类方法依据子类方法确定类型？

父类Base中的getData是private方法，子类A中定义的同名private方法是完全独立的新方法，和父类的getData没有任何关联。这导致父类的output属性始终调用自身的getData（返回undefined），TypeScript也无法识别子类对方法的"重写"，自然会把x.output.data推断为Data | undefined。

方案一：将getData改为protected，结合泛型约束返回类型 #

把父类方法的访问权限改为protected，让子类可以正确重写，同时通过泛型让父类根据子类的getData返回类型，自动推断output的类型：

type Data = { /* 补充你的Data类型定义 */ };

function getDatasFromOutside(): Data {
  return {} as Data;
}

class Base<T extends Data | undefined = undefined> {
  protected getData(): T {
    return undefined as T;
  }

  public get output(): { data: T } {
    return {
      data: this.getData()
    };
  }
}

class A extends Base<Data> {
  protected getData(): Data {
    return getDatasFromOutside();
  }
}

class B extends Base {
  // 继承父类默认的undefined返回逻辑
}

let x = new A();
x.output.data; // 类型自动识别为Data
let x2 = new B();
x2.output.data; // 类型保持undefined

方案二：用抽象类定义契约（适合Base不需要实例化的场景） #

如果Base本身不需要被实例化，可以改成抽象类，强制子类实现getData方法，同时通过泛型明确每个子类的返回类型：

type Data = { /* 补充你的Data类型定义 */ };

function getDatasFromOutside(): Data {
  return {} as Data;
}

abstract class Base<T> {
  protected abstract getData(): T;

  public get output(): { data: T } {
    return {
      data: this.getData()
    };
  }
}

class A extends Base<Data> {
  protected getData(): Data {
    return getDatasFromOutside();
  }
}

class B extends Base<undefined> {
  protected getData(): undefined {
    return undefined;
  }
}

let x = new A();
x.output.data; // 类型为Data
let x2 = new B();
x2.output.data; // 类型为undefined

方案三：临时类型断言（不推荐） #

如果不想调整类结构，可以在使用时手动断言类型，但这种方式会跳过TypeScript的类型检查，存在安全隐患：

let x = new A();
(x.output.data as Data); // 手动指定为Data类型

不需要。共享父类可以复用output的逻辑，符合代码复用的设计原则。问题核心是private方法的重写误区，只要调整方法访问权限并结合泛型，就能保留继承结构的同时解决类型推断问题。

内容的提问来源于stack exchange，提问作者饕餮饗食