如何为动态生成方法的ServiceRunner实现TypeScript类型推导？

你的核心问题是TypeScript无法识别ServiceRunner动态挂载的actions方法，导致无法提供代码补全和类型检查。以下是可行的解决方案，通过泛型和类型交叉来让TypeScript正确推断动态方法的类型：

修改后的完整代码 #

class Service {
  actions: Record<string, (...args: any[]) => any> = {};
}

// 定义ServiceRunner的完整类型：自身类 + 对应Service子类的actions方法
type ServiceRunnerType<S extends typeof Service> = ServiceRunner<S> & InstanceType<S>['actions'];

class ServiceRunner<S extends typeof Service> {
  #service: InstanceType<S>;

  constructor(ServiceClass: S) {
    this.#service = new ServiceClass();
    for (const [actionName, actionFn] of Object.entries(this.#service.actions)) {
      // 类型断言允许动态挂载方法到实例上
      (this as ServiceRunnerType<S>)[actionName] = (...args: any[]) => actionFn(...args);
    }
  }
}

// 工厂函数：封装实例创建，自动返回带正确类型的实例
function createServiceRunner<S extends typeof Service>(ServiceClass: S): ServiceRunnerType<S> {
  return new ServiceRunner(ServiceClass) as ServiceRunnerType<S>;
}

class Foo extends Service {
  constructor() {
    super();
    console.log("constructor of Foo");
  }
  // 用赋值语句而非类型声明，让TypeScript准确推断actions的具体类型
  actions = {
    action1: () => { console.log('action1 executed'); },
    action2: (id: string) => { console.log(`action2 executed with id: ${id}`); },
  };
  anotherMethodThatIsNotAnAction() {}
}

// 使用工厂函数创建实例，自动获得类型提示
const runner = createServiceRunner(Foo);
runner.action1(); // ✅ 代码补全+类型检查
runner.action2("ok"); // ✅ 要求传入string类型参数
// runner.action3(); // ❌ TypeScript会报错：不存在此方法

关键实现说明 #

1. 提取实例的actions类型：
   用InstanceType<S>获取传入的Service子类的实例类型，再通过InstanceType<S>['actions']精准提取出该子类actions对象的方法类型。

2. 交叉类型扩展ServiceRunner：
   定义ServiceRunnerType<S>交叉类型，让ServiceRunner实例同时具备自身类的属性和actions里的所有方法类型，这样TypeScript就能识别动态挂载的方法。

3. 工厂函数简化类型处理：
   直接new ServiceRunner(Foo)会因为TypeScript的构造函数类型限制，无法自动推断出交叉类型，所以用工厂函数封装实例创建，自动返回带正确类型的实例，避免手动写类型断言。

4. 调整actions的定义方式：
   把Foo里的actions: { ... }类型声明改成赋值语句actions = { ... }，让TypeScript能自动推断出actions的具体方法签名，而不是只知道它是一个对象类型。

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