能否强制静态方法返回其所属类的同类型对象？

要实现子类重写静态方法时必须返回自身类的实例，可通过TypeScript的InstanceType工具类型结合typeof this来约束返回类型，同时借助抽象类特性强制子类遵循规则：

abstract class AbstractInstance {
    // 约束返回类型为当前类的实例
    static getOwnInstance(): InstanceType<typeof this> {
        return new (this as new () => InstanceType<typeof this>);
    }
}

class C1 {
    
}

class C2 extends AbstractInstance {
    // TS会强制要求返回C2类型实例，返回其他类型会报错
    static getOwnInstance(): C2 {
        return new C2();
    }
}

// 错误示例：尝试返回C1会触发类型不匹配错误
// class C3 extends AbstractInstance {
//     static getOwnInstance(): C1 {
//         return new C1(); // 类型“C1”不能赋值给类型“C3”
//     }
// }

关键说明 #

• InstanceType<typeof this>：typeof this获取当前静态方法所属的类构造函数类型，InstanceType提取该构造函数对应的实例类型，确保返回值必须是当前类的实例。
• 子类重写方法时，TS会自动将typeof this推断为子类构造函数，因此返回类型必须匹配子类实例，否则触发类型检查错误。
• 父类中的类型断言(this as new () => InstanceType<typeof this>)是为了绕过TS对抽象类无法直接实例化的语法检查，实际运行时子类为具体类，可正常实例化。

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