TypeScript泛型类方法重写：指定参数类型的实现方案问询

问题根源 #

你原来的父类getData方法泛型仅约束对象值的类型，参数是任意字符串键的索引签名对象。子类重写时如果指定固定键的对象，会因为参数类型比父类更严格（父类接受所有字符串键，子类只接受特定键），违反TypeScript方法重写的兼容性规则（子类方法参数需兼容父类方法的所有输入），导致报错。

可行实现方案 #

修改父类的泛型约束，让getData的泛型直接对应参数的对象类型，同时确保该对象的所有值都继承自MyBaseClass：

class MyBaseClass {
    // 泛型T约束为所有值都是MyBaseClass子类的对象
    getData<T extends Record<string, MyBaseClass>>(classes: T) {}
}

class FirstChild extends MyBaseClass {
    private data: number[];
    constructor() {
        super();
        this.data = []; // 补充完整构造逻辑
    }
}

// 示例1：子类指定单一固定键的参数结构
class SecondChild extends MyBaseClass {
    private data: number[];
    // 重写时直接指定具体的对象结构，无报错
    getData(classes: { category: FirstChild }) {}
}

// 示例2：子类指定多固定键的参数结构
class ThirdChild extends MyBaseClass {
    getData(classes: { category1: FirstChild, category2: SecondChild }) {
        const categoryAData = classes.category1.getData();
        const categoryBData = classes.category2.getData();
    } 
}

方案说明 #

• 父类通过Record<string, MyBaseClass>约束泛型T，既确保传入对象的属性值都符合要求，又保留了方法的通用型。
• 子类重写getData时，可直接指定具体的对象结构（固定键+对应子类类型），完全符合TypeScript类型兼容性规则，不会报错。
• 子类内部能正常访问参数对象的固定键属性，且能获得正确的类型提示。

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