如何正确定义TypeScript基类工厂方法的返回值类型

不需要手动传入泛型参数，利用TypeScript对静态方法this类型的约束能力，即可自动推断工厂方法返回的子类实例类型。

核心写法是给静态create方法添加一个仅用于类型检查的this形参，声明调用该方法的构造函数类型，让返回值类型和调用方的类自动绑定：

class Base {
    protected constructor() {}

    static create<T extends Base>(this: new () => T): T {
         return new this();
    }
}

原理说明 #

• 原写法中静态方法的this默认被推断为Base类的构造函数类型，因此返回值固定为Base实例，无法感知子类新增的成员，才会报magic属性缺失的错误。
• 这里添加的this参数不会编译到最终的JavaScript代码中，仅用于类型校验：当你通过子类调用create方法时（比如Bar.create()），TypeScript会自动把this识别为Bar类的构造函数，泛型T会被自动推断为Bar类型，返回值自然就是正确的子类实例类型。

使用效果 #

修改后调用时不需要手动指定泛型参数，类型检查完全正常：

class Bar extends Base {
    magic() {}
}

const bar = Bar.create(); // 自动推断为Bar类型
bar.magic(); // 无类型报错

如果子类的构造函数存在参数，只需要对应调整this的构造函数签名即可，例如子类构造函数需要传入一个字符串参数时，写法调整为：

static create<T extends Base>(this: new (name: string) => T, name: string): T {
    return new this(name);
}

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