如何在TypeScript中让父类方法识别子类扩展的this类型？

下面提供三种可行的解决方案，适配JavaScript的this行为，同时让TypeScript编译器认可父类中对子类方法的调用：

方案一：抽象类强制子类实现方法 #

将父类改为抽象类，并声明抽象方法cosmisFunc，强制所有子类必须实现该方法。这样TypeScript会明确知道this所属的实例必然包含该方法，消除报错：

abstract class Parent {
    constructor() {}

    callChildFunction() {
        this.cosmisFunc() // 无编译错误
    }

    // 定义抽象方法，子类必须实现
    abstract cosmisFunc(): void
}

class Child extends Parent {
    constructor() {
        super();
    }

    someMethod() {
        this.callChildFunction()
    }

    cosmisFunc() {
        console.log('oh mama')
    }
}

const myChildInstance = new Child()
myChildInstance.someMethod()

优点：最符合面向对象设计规范，避免子类遗漏方法导致的运行时错误；缺点：父类无法直接实例化（如果不需要实例化父类则无影响）。

方案二：类型断言明确this类型 #

直接在父类方法中，将this断言为包含cosmisFunc的类型，手动告知编译器this具备该方法：

class Parent {
    constructor() {}

    callChildFunction() {
        // 断言this为Parent与包含cosmisFunc的类型的交集
        (this as Parent & { cosmisFunc: () => void }).cosmisFunc()
    }
}

class Child extends Parent {
    constructor() {
        super();
    }

    someMethod() {
        this.callChildFunction()
    }

    cosmisFunc() {
        console.log('oh mama')
    }
}

const myChildInstance = new Child()
myChildInstance.someMethod()

优点：改动最小，无需修改类结构；缺点：如果子类未实现cosmisFunc，编译不会报错，但运行时会抛出错误。

方案三：泛型约束this参数 #

通过在父类方法中添加泛型约束，限定调用该方法的this必须包含cosmisFunc方法，兼顾灵活性与类型安全：

class Parent {
    constructor() {}

    // 用泛型约束this的类型，确保包含cosmisFunc
    callChildFunction<T extends Parent & { cosmisFunc: () => void }>(this: T) {
        this.cosmisFunc() // 编译器自动识别该方法存在
    }
}

class Child extends Parent {
    constructor() {
        super();
    }

    someMethod() {
        this.callChildFunction()
    }

    cosmisFunc() {
        console.log('oh mama')
    }
}

const myChildInstance = new Child()
myChildInstance.someMethod()

优点：既保留父类可实例化的特性，又能在编译期校验调用方的this是否符合要求；缺点：方法定义稍显复杂。

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