如何在TypeScript中支持类mixin对象合并且无需重复定义类型

解决方案：使用泛型工具函数自动推导mixin类型 #

你可以通过封装一个泛型工具函数实现需求，无需手动重复声明mixin的类型，TS会自动完成类型推导：

1. 定义通用mixin创建工具

// 泛型工具函数，Base是要混入的基类类型
function defineMixin<Base>() {
  return <M extends object>(mixin: M & ThisType<Base & M>) => mixin;
}

2. 使用工具创建mixin

const mixin = defineMixin<BaseClass>()({
  mixinFeatureOne(): boolean {
    // 可正常访问基类方法
    return this.baseFeature();
  },
  mixinFeatureTwo(): boolean {
    // 可正常访问mixin内部的其他方法
    return this.mixinFeatureOne();
  }
});

该方案的核心原理是利用TS的泛型自动推导能力，工具函数会自动捕获你传入的mixin对象的结构作为M类型，自动拼接出BaseClass & M的ThisType，完全不需要手动同步维护mixin的类型声明，新增或修改mixin方法时类型会自动更新。

补充：DerivedClass自动识别mixin属性的解决方案 #

你可以通过断言构造函数类型的方式，让TS自动识别派生类实例上的mixin属性，无需额外手动声明：

class DerivedClass extends BaseClass {
  constructor() {
    super();
    Object.assign(this, mixin);
  }
// 断言构造函数返回的实例是基类+混入的联合类型
} as typeof BaseClass & (new () => BaseClass & typeof mixin);

const instance = new DerivedClass();
// 可正常访问所有方法
instance.baseFeature();
instance.mixinFeatureOne();
instance.mixinFeatureTwo();

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