ES6 mixins的Typescript定义

Question

有没有办法为ES6混合编写Typescript定义？

我在library.js有这个模式，我想创建library.d.ts

// declaration in `library.js`
class Super extends Simple {
    constructor() {}

    static Compose(Base = Super) {
        return class extends Base {
            // ...    
        }

    }
}

// usage in `client.js`
class MyClass extends Super.Compose() {}
let myInstance = new MyClass();

class MyOtherClass extends Super.Compose(AnotherClass) {}

Answer 1

不，Typescript类型系统对此没有足够的表现力 - 请参阅https://github.com/Microsoft/TypeScript/issues/7225和https://github.com/Microsoft/TypeScript/issues/4890中的讨论。

打字稿中惯用的“类型”写成

interface Constructor<T> {
    new (...args): T;
}

因此，为Compose编写声明的一种方法是

export declare class Simple {}

export declare class Super extends Simple {
    static Compose<T>(Base?: Constructor<T>): Constructor<T & {/*mixed-in declarations*/}>
}

也就是说，Compose返回类型被声明为交集类型的构造函数 - 一种必须具有参数（Base）的所有属性以及mixin的所有属性的类型。

你可以像这样使用那个声明（假设它在library.d.ts文件中）

import {Super} from './library'

let MyComposed = Super.Compose(Super)
let myInstance = new MyComposed

稍有不便之处在于您总是必须为Super.Compose（）提供参数，因为在不知道default参数值的情况下类型推断不起作用，并且您无法在声明文件中为default参数提供值。

但是最大的问题是你无法真正使用Compose的结果作为一个类：

class MyClass extends Super.Compose(Super) {}

因上述问题而无法编译：

error TS2509: Base constructor return type 'Super & {}' is not a class or interface type.