TypeScript中能否不修改属性值仅重写父类属性的类型？

完全可以实现，你当前写法出问题的原因是：子类里直接写static foo: SubType时，TypeScript会默认生成对应的运行时属性定义，默认值为undefined，直接覆盖了从父类继承的getter属性。以下是几种可行的实现方案：

方案1：使用declare修饰符（最推荐） #

declare修饰符可以明确告诉TypeScript，该声明仅用于类型检查，不会生成任何运行时代码，自然不会覆盖父类的属性值：

class Sub extends Super {
  declare static foo: SubType;
}

该方案改动最小，不需要调整父类代码，适用于TypeScript 3.7及以上版本。

方案2：接口类型合并 #

也就是你提到的接口方案，利用TypeScript同名接口和类的类型合并能力，完全不会影响运行时代码：

interface Sub {
  foo: SubType;
}
class Sub extends Super {}

该方案兼容性更好，支持所有较新的TypeScript版本，不需要依赖新语法特性。

方案3：调整父类定义实现自动类型推导 #

如果可以修改父类代码，你可以直接在父类的foo getter定义中使用typeof this关联子类的其他静态属性，这样子类不需要额外声明就能自动得到正确的foo类型：

class Super {
  // 示例：foo的key对应子类otherProp静态属性的key
  static get foo(): Record<keyof typeof this.otherProp, any> {
    return {} // 原有实现保持不变
  }

  // 给默认值避免父类本身类型报错
  static otherProp: Record<string, any> = {}
}

class Sub extends Super {
  // 子类仅需定义依赖的其他静态属性，foo类型自动适配
  static otherProp = { a: 1, b: 2 }
}
// 此时Sub.foo的类型自动推导为 Record<'a'|'b', any>

该方案适合有大量子类需要适配的场景，避免每个子类都单独声明foo的类型。

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