TypeScript类继承后类型推断异常问题求助

核心原因是TypeScript类方法重写的类型推断规则限制：当你省略重写方法的参数类型时，TS不会自动继承父类方法的参数类型，而是默认设为any——这和你用抽象类、类型别名或者合并工具无关，是TS的设计逻辑导致的。

解决办法 #

1. 显式指定参数类型

直接写出交叉类型，简单直接：

interface IBaseContext {
  a: number
}

interface IMoreContext {
  b: string
}

class Base<T> {
  public print(context: IBaseContext & T) {}
}

class Test extends Base<IMoreContext> {
  public print(context: IBaseContext & IMoreContext) {
    console.log(context.a, context.b); // 类型正确
  }
}

2. 复用父类方法的参数类型（更灵活）

用Parameters工具类型提取父类print方法的参数类型，避免重复定义交叉类型：

class Test extends Base<IMoreContext> {
  public print(context: Parameters<Base<IMoreContext>['print']>[0]) {
    console.log(context.a, context.b); // 自动推断为IBaseContext & IMoreContext
  }
}

3. 让Test类保留泛型（适用于需复用逻辑的场景）

如果Test类本身需要支持不同的泛型参数，可以继承时保留泛型，重写方法时直接复用父类的参数类型逻辑：

class Test<T> extends Base<T> {
  public print(context: IBaseContext & T) {
    // 实例化Test<IMoreContext>时，context自动对应IBaseContext & IMoreContext
  }
}

const test = new Test<IMoreContext>();
test.print({a: 1, b: "test"}); // 类型校验通过

理解误区澄清 #

你可能误以为TS会自动“继承”重写方法的参数类型，但实际上TS在类方法重写场景下不会主动做这个推断。重写方法时，必须显式声明兼容的参数类型，或者通过工具类型复用父类的类型定义，否则TS会默认参数为any。

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