为何TypeScript无法推导类方法返回值的泛型类型？

现象示例 #

可正常运行的写法 #

abstract class X<T extends Record<PropertyKey, any>> {
  abstract index(): T
}

class Y extends X<{name:string}> {
  index() {
    return {name:"Test"}
  }
}

报错的写法 #

abstract class X<T extends Record<PropertyKey, any>> {
  abstract index(): T
}

class Y extends X {
  index():{name:string} {
    return {name:"Test"}
  }
}

报错信息：

Generic type 'X' requires 1 type argument(s).ts(2314)

带默认泛型参数的冗余声明问题 #

type EmptyObject = Record<PropertyKey, never>

abstract class X<E extends Record<PropertyKey, any> = EmptyObject, T extends Record<PropertyKey, any> = EmptyObject> {
  abstract index(data: E): T
}

// 期望仅写"extends X"即可让TypeScript自动推导其余类型
class Y extends X<EmptyObject, {name:string}> {
  index(data: EmptyObject): {name:string} {
    return {name:"Test"}
  }
}

原因解析 #

TypeScript的泛型参数推导逻辑是先确定基类的泛型参数，再校验子类实现是否符合约束，而非从子类实现倒推基类的泛型参数，核心原因有几点：

• 类型解析优先级规则：类继承时，TypeScript会优先解析基类的泛型参数——如果基类泛型没有默认值，直接报错缺少参数；如果有默认值，就直接用默认值填充，不会再去扫描子类的方法实现来反向推导。这是因为类级别的泛型参数属于基类的类型结构，必须在继承阶段就明确下来，不能延迟到子类方法实现时再确定。
• 避免歧义冲突：如果允许从子类方法倒推基类泛型，很容易出现多种匹配可能的歧义场景。比如基类泛型有多个约束分支，子类方法的返回值可能同时符合多个分支，TypeScript无法判断你实际想要绑定的泛型类型，反而会增加类型系统的不确定性。
• 类型系统复杂度控制：反向推导会大幅增加TypeScript类型检查的复杂度，既要处理基类的泛型约束，又要匹配子类的实现细节，容易导致类型检查性能下降，也不符合TypeScript"先明确类型结构，再校验实现逻辑"的设计思路。

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