如何在TypeScript中访问子类的静态属性？

核心概念误解 #

• 混淆实例类型与构造函数（静态）类型：你定义的T extends Base3是实例类型，而options是静态属性，属于构造函数（即typeof Base3）的成员，并非实例的一部分，所以T.options本身就是错误的引用方式。
• 泛型参数作用域问题：在类的静态方法中定义泛型T，如果类是导出的，这个泛型会被视为私有，导致外部无法访问，从而触发编译错误。

疑问解答与实现方案 #

疑问1：如何为option参数定义类型以访问子类的options属性？ #

不需要复杂泛型，直接通过this参数的类型注解约束当前构造函数的静态成员即可。TypeScript允许在静态方法中通过this参数指定构造函数类型，这样就能直接引用typeof this.options来获取子类options的键类型。

疑问2：为什么T继承自Base3，this上却不存在options属性？ #

T是Base3的实例类型，而静态属性options属于构造函数类型（也就是typeof Base3），实例类型不会包含静态成员。哪怕你写this: { new (): T } & T，T依然是实例类型，不会携带静态属性，正确做法是约束this为包含静态options的构造函数类型。

最简正确实现

class Base2 {
  static options = {};

  // 通过this参数约束构造函数必须包含静态options属性
  static func(this: { options: typeof Base2.options }, option?: keyof typeof this.options) {
    console.log(this.options);
  }
}

class Sub2 extends Base2 {
  static options = {
    opt1: 1,
    opt2: 2
  };
}

Sub2.func(); 
// TypeScript 正确识别参数类型为 'opt1' | 'opt2' | undefined
// 控制台输出 { opt1: 1, opt2: 2 }

更灵活的泛型实现（支持任意options类型）

如果需要让options的类型可以自由扩展，可定义一个构造函数类型的泛型：

// 定义包含静态options属性的构造函数类型
type ConstructorWithOptions<T> = {
  new (): unknown; // 实例类型无需严格约束，重点关注静态属性
  options: T;
};

class Base3 {
  static options = {};

  static func<T>(this: ConstructorWithOptions<T>, option?: keyof T) {
    console.log(this.options);
  }
}

class Sub3 extends Base3 {
  static options = {
    opt1: 1,
    opt2: 2
  };
}

Sub3.func();
// 参数类型正确识别为 'opt1' | 'opt2' | undefined

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