父类子类同实现接口，子类重写方法返回不同类型的TS类型检查问题

问题核心在于TypeScript会从JavaScript类a的实现中推断abc()的返回类型为() => number，而子类b的abc()返回string，两者类型不兼容导致报错。在不给类a添加类型声明（指不在JS文件内加类型标注）的前提下，可通过以下两种方式解决：

方式一：在TypeScript定义文件中声明类a的类型 #

在你的.d.ts文件中，除接口x外，添加对类a的显式声明，让TypeScript使用接口定义的类型而非从JS代码推断：

interface x {
    abc(): string | number;
}

declare class a implements x {
    abc(): string | number;
}

此时类a的abc()类型会被识别为() => string | number，子类b返回string属于该联合类型的子类型，符合方法返回值的协变规则，报错会自动消失。

方式二：在JavaScript类b的方法上添加JSDoc类型注释 #

在类b的abc()方法上通过JSDoc指定返回类型为联合类型，让TypeScript识别该方法符合接口x的要求：

class b extends a implements x {
    /**
     * @returns {string|number}
     */
    abc() {
        return '123';
    }
}

这种方式无需修改定义文件，但需要确保你的lint工具支持解析JSDoc类型。

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