TypeScript箭头函数重载报错TS2322，求解决方案

你遇到的问题是：定义了重载类型Resolve并通过switch实现对应逻辑后，函数能正常运行，但赋值给Resolve类型的常量时触发TS2322错误——TypeScript推断出的函数类型是单一签名（返回联合类型boolean | "string" | 1000），无法匹配Resolve的重载签名要求。

核心原因 #

TypeScript会自动将箭头函数或普通函数推断为单一签名函数，即使分支返回不同类型，也只会合并为联合返回类型。但Resolve是重载类型，要求不同参数对应不同返回类型，单一签名无法满足重载的多签名匹配规则。

解决方法 #

方法1：显式指定重载类型（推荐） #

直接给常量指定Resolve类型，同时添加穷尽检查确保覆盖所有参数分支，帮助TypeScript准确识别各分支的返回类型：

type Resolve = {
  (param: "case 1"): boolean;
  (param: "case 2"): "string";
  (param: "case 3"): 1000;
};

const resolve: Resolve = (param) => {
  switch (param) {
    case "case 1":
      return true;
    case "case 2":
      return "string";
    case "case 3":
      return 1000;
    default:
      // 穷尽检查：防止遗漏参数分支，同时帮助TS优化类型推断
      const _unreachable: never = param;
      throw new Error(`Unexpected param: ${_unreachable}`);
  }
};

方法2：使用函数声明式重载 #

通过分离重载签名与实现逻辑，让TypeScript严格校验每个重载的返回值匹配性，可读性更强：

type Resolve = {
  (param: "case 1"): boolean;
  (param: "case 2"): "string";
  (param: "case 3"): 1000;
};

// 声明重载签名
function resolveFunc(param: "case 1"): boolean;
function resolveFunc(param: "case 2"): "string";
function resolveFunc(param: "case 3"): 1000;
// 实现函数体
function resolveFunc(param: "case 1" | "case 2" | "case 3") {
  switch (param) {
    case "case 1":
      return true;
    case "case 2":
      return "string";
    case "case 3":
      return 1000;
  }
}

// 赋值给常量
const resolve: Resolve = resolveFunc;

方法3：类型断言（不推荐） #

若需快速适配现有代码，可使用类型断言跳过TS校验，但会失去类型安全保障，仅在确认逻辑完全符合重载要求时使用：

type Resolve = {
  (param: "case 1"): boolean;
  (param: "case 2"): "string";
  (param: "case 3"): 1000;
};

const resolve = ((param) => {
  switch (param) {
    case "case 1":
      return true;
    case "case 2":
      return "string";
    case "case 3":
      return 1000;
  }
}) as Resolve;

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