泛型基类已强类型定义，为何参数仍为Any？（TypeScript问题？）

问题场景 #

1. 继承泛型抽象类 #

abstract class BaseExampleService<TModel extends Model, TOmitAttrs extends string = ""> extends BaseApiModelService<
    TModel,
    TOmitAttrs
> {
    abstract add(data: Omit<Payload<TModel>, TOmitAttrs>): OptimisticModelResult<TModel>
}

class ExampleService extends BaseExampleService<Example, "test"> {
    add(example): AddModelResult<Example> {
        // TODO: 为什么`example`的类型是`Any`而不是`Omit<Example, "test">`？
    }
}

ExampleService.add的example参数理应是Omit<Example, "test">，却被识别为any。

2. 实现泛型接口 #

interface BaseService<TPayload> {
    add(data: TPayload): void
}

class UserService implements BaseService<User> {
    add(data) {
        // TODO: `data`隐式拥有`any`类型
    }
}

UserService.add的data参数隐式为any。

这种泛型场景下丢失类型的情况与多数强类型语言不同，请问原因是什么？

原因分析 #

这是TypeScript的类型擦除规则和显式类型声明要求共同导致的：

• 显式声明优先的设计逻辑
  TypeScript在处理类的方法实现时，不会自动从父类抽象方法或接口方法中推导并填充参数类型——哪怕父类/接口是泛型实例化后的状态。它要求开发者必须显式写出方法参数的类型，否则会默认将参数类型推断为any。
  和Java等强类型语言不同，这类语言会在编译阶段自动继承父类/接口的方法参数类型约束，但TypeScript的设计逻辑是：只有显式声明参数类型，才会触发类型兼容性校验；不声明则跳过校验，直接使用any。

• 泛型实例化的延迟绑定限制
  当你用具体类型实例化泛型父类/接口时（比如BaseExampleService<Example, "test">），TypeScript确实能确定目标方法的参数类型，但它不会主动将该类型“注入”到子类的方法参数中。必须由开发者显式声明参数类型，TypeScript才会验证该类型是否符合父类/接口的约束。

修复示例 #

只需显式声明参数类型即可解决问题：

// 修复继承抽象类的情况
class ExampleService extends BaseExampleService<Example, "test"> {
    add(example: Omit<Payload<Example>, "test">): AddModelResult<Example> {
        // example类型正确
    }
}

// 修复实现接口的情况
class UserService implements BaseService<User> {
    add(data: User) {
        // data类型为User
    }
}

简单来说，TypeScript遵循“显式优先”原则，不会自动替你推导并填充方法参数的类型，哪怕该类型可从泛型父类/接口中得出。只有主动声明参数类型，才能获得正确的类型校验与提示。

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