TS2344错误：泛型参数属性推断类型不满足约束但实际可用？

先看你给出的代码：

interface Vehicle {}
interface Airplane extends Vehicle {
  number: number;
}
interface Boat extends Vehicle {
  color: string;
}
interface Workshop<TVehicle extends Vehicle = Vehicle> {
  vehicleType: TVehicle;
  repair: (vehicle: TVehicle) => WorkOrder<this>;
}
interface WorkOrder<TWorkshop extends Workshop<TWorkshop["vehicleType"]>> {
  vehicle: TWorkshop["vehicleType"];
}

问题现象 #

定义WorkOrder时，泛型参数里的TWorkshop["vehicleType"]触发TS2344错误：Type 'TWorkshop["vehicleType"]' does not satisfy the constraint 'Vehicle'，但实际使用时代码正常工作，编辑器补全和错误赋值检查都能生效。

原因解析 #

TypeScript的类型检查器在处理泛型约束的循环引用时，无法提前完成递归验证。

Workshop的泛型参数TVehicle确实被约束为Vehicle的子类型，但在WorkOrder的泛型约束TWorkshop extends Workshop<TWorkshop["vehicleType"]>中，TWorkshop["vehicleType"]是一个依赖于TWorkshop本身的类型。TypeScript的约束检查是“前置”执行的——它不会先递归解析这个循环依赖里的类型是否符合Vehicle约束，而是直接判定这个类型可能不满足要求，因此抛出TS2344错误。

而实际使用时，当传入具体的Workshop类型（比如某个实现了Workshop<Airplane>的类型），TypeScript可以明确解析出TWorkshop["vehicleType"]的具体类型（这里是Airplane），而Airplane显然符合Vehicle约束，所以运行时和编辑器的类型检查都能正常工作。

解决方法 #

可以通过显式约束或类型推导消除这个错误，比如用infer自动推导TVehicle类型：

interface WorkOrder<TWorkshop extends Workshop<infer TVehicle>, TVehicle extends Vehicle = TVehicle> {
  vehicle: TVehicle;
}

这样既保留了WorkOrder.vehicle自动根据Workshop类型推断的能力，又让TypeScript明确TVehicle符合Vehicle约束，消除了TS2344错误。

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