TypeScript父类方法复用this.constructor报错的原因与解决方法

我定义了基类Message和扩展额外功能的子类SpecializedMessage：

class Message {
    constructor(
        readonly content: string
    ) { }
    edit(replacement: string) {
        return new Message(replacement)
    }
}

class SpecializedMessage extends Message {
    extra() {}
}

因为edit()逻辑在所有子类中一致，所以放在基类复用，且场景要求不可变性，每次编辑必须返回新实例。但直接返回new Message(replacement)会导致子类实例被转成基类类型：

let message = new SpecializedMessage('hello')
message.extra() // 正常运行
message = message.edit('world') // 此时message是`Message`实例而非`SpecializedMessage`
message.extra() // 失败，`Message`没有`.extra()`方法

尝试用this.constructor自动调用当前实例的构造函数解决：

class Message {
    // ...
    edit(replacement: string) {
        return new this.constructor(replacement)
    }
}

但TypeScript提示错误：

This expression is not constructable.
  Type 'Function' has no construct signatures.ts(2351)
(property) Object.constructor: Function

这段代码在原生JS里能正常运行，但我不想用类型断言消除错误，想知道TS为什么拒绝，以及不用断言的解决方法。

为什么TypeScript拒绝这种用法？ #

TypeScript对this.constructor的默认类型推断是Function，而Function类型没有明确的构造签名——TS无法确定这个函数能不能用new调用，也不知道调用后会返回什么类型的实例。虽然在JavaScript里，this.constructor确实指向当前类的构造函数，但TS的静态类型系统需要明确的类型信息，不会做这种“默认假设”，所以会抛出错误。

不用类型断言的解决方法 #

你可以在基类中显式声明constructor的类型，告诉TS它是一个能接受string参数、返回当前类实例的构造函数：

class Message {
    readonly content: string;
    // 明确构造函数的类型签名
    constructor: new (content: string) => this;

    constructor(content: string) {
        this.content = content;
    }

    edit(replacement: string) {
        return new this.constructor(replacement);
    }
}

class SpecializedMessage extends Message {
    extra() {}
}

// 测试验证
let message = new SpecializedMessage('hello');
message.extra(); // 正常执行
message = message.edit('world'); // 此时message仍为SpecializedMessage类型
message.extra(); // 正常执行

这样TS就能正确推断edit()方法的返回类型是当前实例的类型（子类调用时返回子类实例）。需要注意的是，这种方法要求所有子类的构造函数签名和基类一致——如果子类构造函数需要额外参数，这种写法会出问题，但你已经明确知道这个风险，所以这个方案刚好匹配你的场景。

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