如何让TypeScript泛型方法对子类实现类型推断

问题场景 #

将C#代码改写为TypeScript时，遇到泛型类型推断异常：调用Client.execute方法时，传入基类Command<T>实例能正确推断返回类型，传入子类SubCommand<T>实例则报错，提示Property 'value' does not exist on type 'unknown'。

示例代码：

class CommandParameter {
  readonly value: string = "value";
}

class Command<T> {}

class SubCommand<T> extends Command<T> {}

class Client {
  execute<T>(command: Command<T>): T {
    return null as T;
  }
}

// TS2339: Property 'value' does not exist on type 'unknown'.
const valueError = new Client().execute(new SubCommand<CommandParameter>()).value;
const valueOk = new Client().execute(new Command<CommandParameter>()).value;

问题原因 #

TypeScript的泛型推断逻辑中，当方法参数类型为Command<T>时，传入SubCommand<CommandParameter>这类子类实例，编译器无法自动从子类的泛型参数反向推导基类的T类型，导致T被默认推断为unknown，进而引发属性访问错误。

解决方案 #

方案1：修改泛型约束，支持子类推断 #

调整execute方法的泛型定义，新增一个泛型参数C约束为Command<T>，让编译器能从子类实例中提取T的类型：

class Client {
  execute<T, C extends Command<T>>(command: C): T {
    return null as T;
  }
}

// 此时可正常推断类型，无报错
const valueFixed = new Client().execute(new SubCommand<CommandParameter>()).value;

方案2：显式指定泛型参数 #

调用execute时直接指定T的类型，跳过自动推断环节：

const valueFixed = new Client().execute<CommandParameter>(new SubCommand<CommandParameter>()).value;

替代模式：使用接口与工厂函数 #

如果类继承带来的泛型推断问题难以规避，可以改用接口定义命令契约，配合工厂函数创建实例，确保泛型参数被正确传递：

interface ICommand<T> {}

class Command<T> implements ICommand<T> {}
class SubCommand<T> implements ICommand<T> {}

class Client {
  execute<T>(command: ICommand<T>): T {
    return null as T;
  }
}

// 工厂函数创建子类实例
function createSubCommand<T>(): SubCommand<T> {
  return new SubCommand<T>();
}

const valueFixed = new Client().execute(createSubCommand<CommandParameter>()).value;

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