如何在不重写或使用泛型的情况下修改子类方法的返回类型？

问题场景 #

现有以下TypeScript代码，Comp类继承NodeImpl并实现IComp接口，但因NodeImpl的getChildren返回INode[]，不符合IComp要求的IComp[]导致报错。需求是让c.getChildren()的类型为IComp[]，但不能用泛型，也不想重写getChildren方法：

interface INode {
    getChildren(): INode[];
}

class NodeImpl implements INode {
    getChildren(): INode[] {
        return [];
    }
}

interface IComp extends INode {
    otherMethod(): void;
    /**@override */
    getChildren(): IComp[];
}

//Class 'Comp' incorrectly implements interface 'IComp'.
class Comp extends NodeImpl implements IComp {
    otherMethod() { }

    // 这个方法能解决但会产生运行时代码，不想用
    // override getChildren() {
    //     return super.getChildren() as IComp[];
    // }
}

const c = new Comp();
const children = c.getChildren(); // 希望这里类型是IComp[]

解决方案 #

方案一：接口与类的类型合并（全局生效）

利用TypeScript的同名类与接口可合并特性，给Comp补充一个同名接口，强制对齐IComp的类型约束：

// 补充接口合并，让Comp的类型完全符合IComp要求
interface Comp extends IComp {}

添加这一行后，TypeScript会将原有Comp类的实现与新接口合并，此时c.getChildren()的类型会被自动推断为IComp[]，既不用修改运行时代码，也无需重写方法。

方案二：局部类型断言（临时场景）

如果只是某个局部需要修正类型，也可以直接在获取children时用类型断言：

const children = c.getChildren() as IComp[];

原理说明 #

TypeScript允许同名的类和接口进行类型合并，接口中定义的规则会覆盖或补充类的类型信息。方案一中通过接口声明Comp继承IComp，相当于告诉TS：Comp类确实满足IComp的所有类型要求，从而绕过原类型检查报错，同时修正了getChildren的返回值类型。

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