TypeScript方法重载：如何根据枚举参数推断第二个参数类型

你的需求完全可行——可以通过优化重载实现，或者改用联合类型参数的方式，让TypeScript根据第一个枚举参数的值，自动推断第二个参数的类型，同时解决'props' is possibly 'undefined'的错误。

问题根源 #

你当前的重载签名定义了两种合法调用方式，但实现签名的props?: { id?: number }与重载约束不匹配：当ev为Event.Delete时，重载要求必须传入带id的props，但实现签名允许props为undefined且id可选，导致编译器无法确定props在ev === Event.Delete分支下一定存在。

解决方案1：优化传统重载实现 #

调整实现签名的参数类型，同时在分支中确保类型安全：

export default class ControlsContr {
  dispatch(ev: Event.Reset): void;
  dispatch(ev: Event.Delete, props: { id: number }): void;
  // 实现签名改为props可选但id必选，匹配重载的类型约束
  dispatch(ev: Event, props?: { id: number }): void {
    if (ev === Event.Delete) {
      // 方式1：非空断言（适用于信任调用者严格遵守重载签名的场景）
      const num: number = props!.id;
      
      // 方式2：运行时检查（更安全，防止调用者绕过重载传值）
      if (!props) {
        throw new Error("Event.Delete requires props with a valid id");
      }
      const numSafe = props.id;
      deleteItem(numSafe);
    }
  }
}

解决方案2：使用联合类型参数（更推荐） #

放弃传统重载，改用联合类型定义参数结构，TypeScript会自动完成类型收窄，代码更清晰且类型检查更严格：

数组形式参数

// 定义联合类型的参数结构
type DispatchArgs =
  | [ev: Event.Reset]
  | [ev: Event.Delete, props: { id: number }];

export default class ControlsContr {
  dispatch(...args: DispatchArgs): void {
    if (args[0] === Event.Delete) {
      // TypeScript自动推断args[1]为{ id: number }类型
      const num = args[1].id;
      deleteItem(num);
    }
  }
}

// 调用示例（编译时自动检查）
const ctrl = new ControlsContr();
ctrl.dispatch(Event.Reset); // ✅ 合法
ctrl.dispatch(Event.Delete, { id: 123 }); // ✅ 合法
ctrl.dispatch(Event.Delete); // ❌ 编译错误（缺少props）

对象形式参数（可读性更好）

type DispatchParams =
  | { ev: Event.Reset }
  | { ev: Event.Delete; props: { id: number } };

export default class ControlsContr {
  dispatch(params: DispatchParams): void {
    if (params.ev === Event.Delete) {
      const num = params.props.id;
      deleteItem(num);
    }
  }
}

// 调用示例
ctrl.dispatch({ ev: Event.Reset }); // ✅ 合法
ctrl.dispatch({ ev: Event.Delete, props: { id: 123 } }); // ✅ 合法

方案对比 #

• 传统重载适合需要保持原有调用方式的场景，但需要手动处理类型断言或运行时检查；
• 联合类型参数更符合TypeScript的类型系统设计，自动完成类型推断，无需额外断言，类型检查更严格。

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