为何TypeScript无法用派生类型重写父类成员？附示例求解

你碰到的错误核心是TypeScript的子类属性重写类型兼容性规则。父类Vehicle里的garage是Garage<Vehicle>类型，而你想在Car里把它改成Garage<Car>——但因为Callback<T>的参数T属于逆变位置，Garage<Car>并不是Garage<Vehicle>的子类型，反过来Garage<Vehicle>才是Garage<Car>的子类型。这就导致子类重写的属性类型不符合父类的约束，直接触发报错。

把Vehicle改成泛型类，通过类型参数绑定具体的子类类型，这样garage的类型就能和子类自动匹配，同时满足TypeScript的类型检查要求。修正后的代码如下：

type Callback<T> = (sender: T) => void;

class Garage<T> {
    private callbacks: Callback<T>[];

    constructor(callbacks: Callback<T>[]) {
        this.callbacks = callbacks;
    }

    update(sender: T): void {
        for (const callback of this.callbacks) {
            callback(sender);
        }
    }
}

// 用CRTP模式让泛型父类绑定子类类型
class Vehicle<T extends Vehicle<T>> {
    garage: Garage<T>;

    constructor(...callbacks: Callback<T>[]) {
        this.garage = new Garage(callbacks);
    }

    service(): void {
        this.garage.update(this as unknown as T);
    }

    startEngine(): void {}
}

class Car extends Vehicle<Car> {
    garage: Garage<Car>;

    constructor(...callbacks: Callback<Car>[]) {
        super(callbacks);
        this.garage = new Garage(callbacks);
    }

    openTrunk(): void {};
}

// 测试代码，类型识别正常
new Vehicle<Vehicle<any>>((sender) => {
    sender.startEngine();
});

new Car((sender) => {
    sender.openTrunk(); // 这里sender会被正确推断为Car类型
});

1. 泛型绑定子类：Vehicle<T extends Vehicle<T>>这种写法叫奇异递归模板模式（CRTP），它让父类的类型参数T指向具体的子类（比如Car），这样garage的Garage<T>类型就会自动适配子类，从根源上解决类型不兼容问题。
2. 类型断言的合理性：service方法里把this断言成T，TypeScript没法自动推断这一步，但在实际的继承场景中，这个断言是绝对安全的——因为子类继承时会把T设为自身类型。
3. override关键字可选：现在子类的garage类型完全符合父类的泛型约束，加不加override都可以，TypeScript不会再报错。

如果你不想用CRTP，也可以通过修改Callback的类型来放宽约束，但这种方法会降低类型安全性，不推荐。比如把Callback<T>改成Callback<inout T>，但这会允许不安全的类型赋值，容易埋下隐患。

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