如何在TypeScript类全局定义中实现this的类型守卫？

针对你遇到的TypeScript不支持类继承联合类型的问题，这里提供两种全局一次性的类型处理方案，无需在每个方法中添加类型守卫或this参数：

方案1：类内部全局声明this类型 #

在生成的Generated类中添加declare this: Generated & I;，直接全局指定所有方法的this类型，覆盖TypeScript的默认推断：

class ClassA {
  member: "hello"
}

class ClassB {
  member: "world"
}

type Union = ClassA | ClassB;

export function Decorator<I extends Union>(
  Base: new (...args: any[]) => I
) {
  abstract class Generated extends (Base as new (...args: any[]) => object) {
    // 全局声明this的复合类型，一次性补全I的成员
    declare this: Generated & I;

    exampleMethod() {
      this.member; // 自动识别为"hello" | "world"，无类型错误
    }

    anotherMethod() {
      console.log(this.member.toUpperCase()); // 类型正常识别
    }
  }

  // 更安全的类型断言，复用Base的构造参数类型
  return Generated as unknown as new (...args: ConstructorParameters<typeof Base>) => Generated & I;
}

这种方式直接在类层面统一指定this的类型，所有方法内部的this都会自动拥有Generated和I的成员，无需逐个方法处理。

方案2：通过泛型类绑定联合类型 #

将Generated定义为泛型类，把传入的I作为泛型参数绑定到类上，让类内部自动关联联合类型的成员：

class ClassA {
  member: "hello"
}

class ClassB {
  member: "world"
}

type Union = ClassA | ClassB;

export function Decorator<I extends Union>(
  Base: new (...args: any[]) => I
) {
  // 泛型类绑定I类型，自动关联联合类型成员
  abstract class Generated<T extends I = I> extends (Base as new (...args: any[]) => object) {
    exampleMethod() {
      this.member; // 类型推断为T["member"]，即"hello" | "world"
    }

    anotherMethod() {
      console.log(this.member.length); // 类型正常识别
    }
  }

  return Generated as unknown as new (...args: ConstructorParameters<typeof Base>) => Generated<I> & I;
}

泛型类的方式让类型关联更灵活，同时也能全局生效，避免重复代码。

注意事项 #

• 由于TypeScript本身限制类只能继承静态已知的对象类型或交叉类型，因此Base as new (...args: any[]) => object的类型转换是必要的，用于规避ts(2509)错误。
• 构造函数的类型断言使用unknown as ...比直接用any更安全，同时通过ConstructorParameters<typeof Base>复用原类的构造参数类型，保证类型准确性。

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