如何为无工厂函数的构造器Mixin添加TypeScript类型？

一、定义通用BlockDefinition类型，让this类型正确推断 #

要让TypeScript识别Mixin中this的类型为Block加上Mixin自身的成员，可以利用TypeScript内置的ThisType工具类型，显式指定方法内部的this上下文：

// 泛型Mixin类型：T为Mixin自身的属性/方法集合，ThisType指定this为Block与T的交集
type BlockMixin<T> = T & ThisType<Block & T>;

// 定义blockTypes的索引类型，值为任意BlockMixin
const blockTypes: { [key: string]: BlockMixin<{}> } = {
  TYPE_A: {
    mixinMethod1(/* 补充参数类型 */) {
      // this 自动推断为 Block & typeof TYPE_A
    },
    mixinMethod2() {
      this.blockMethod(); // 无需额外断言，自动识别Block的方法
      this.mixinMethod1(); // 自动识别当前Mixin的方法
    }
  },
  TYPE_B: {
    // 其他Mixin实现
  }
};

如果需要允许Mixin覆盖Block的原有方法，可以将类型调整为Partial<Block> & ThisType<Block & T>，确保类型检查时兼容覆盖场景。TypeScript会自动推断每个Mixin的具体类型，无需手动注解this。

二、处理针对BlockSubclass的Mixin #

针对仅用于BlockSubclass的Mixin，可以定义独立的泛型类型，避免重复的类型断言：

// 专门针对子类的Mixin类型
type BlockSubclassMixin<T> = T & ThisType<BlockSubclass & T>;

// 单独维护子类专属的Mixin集合（推荐方式，避免类型混淆）
const blockSubclassTypes: { [key: string]: BlockSubclassMixin<{}> } = {
  TYPE_X: {
    subclassOnlyMethod() {
      this.subclassSpecificMethod(); // 自动识别BlockSubclass的方法，无需断言
    }
  }
};

如果受限于存量代码结构，必须将子类Mixin放入blockTypes，可以用联合类型兼容，但需通过类型断言明确标记：

type AnyBlockMixin<T> = BlockMixin<T> | BlockSubclassMixin<T>;

const blockTypes: { [key: string]: AnyBlockMixin<{}> } = {
  TYPE_A: { /* ... */ },
  TYPE_X: { /* ... */ } as BlockSubclassMixin<typeof TYPE_X>
};

关键说明 #

• ThisType仅作用于类型检查阶段，不会影响运行时逻辑，完全兼容现有Object.assign的混入方式。
• 该类型定义无需修改存量业务代码，仅需补充类型注解即可完成TypeScript迁移。
• 允许Mixin覆盖Block原有方法的场景下，Partial<Block>可确保类型检查通过。

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