TypeScript含可选参数重载函数调用报错，如何正确调用？

问题重现 #

先看你遇到的代码场景：

// 函数a的定义
function a(): undefined;
function a(x: string): string;
function a(x?: string | undefined): string | undefined {
  return x;
}

// 函数b的错误实现
function b(): undefined;
function b(x: string): string;
function b(x?: string | undefined): string | undefined {
  // 报错：类型“string | undefined”的参数不能赋给类型“string”的参数
  return a(x);
}

错误原因 #

TypeScript处理重载函数时，实现签名的参数类型不会自动关联到重载签名的分支匹配。函数b实现里的x是string | undefined联合类型，TS不会自动拆分这个联合类型去匹配a的两个重载分支，只会尝试把x直接匹配到a的某一个重载参数类型——显然string | undefined既不是string也不是无参数的undefined，因此触发类型错误。

正确调用方式 #

方式1：使用类型守卫拆分分支 #

通过typeof类型守卫明确x的类型，让TS能精准匹配a的对应重载：

function b(): undefined;
function b(x: string): string;
function b(x?: string | undefined): string | undefined {
  if (typeof x === "string") {
    return a(x); // 匹配接收string的重载
  } else {
    return a(); // 匹配无参数的重载
  }
}

方式2：用泛型替代重载（更简洁） #

如果重载逻辑只是参数和返回值类型一一对应，可以用泛型约束替代重载，避免分支匹配问题：

// 重写函数a为泛型版本
function a<T extends string | undefined>(x?: T): T {
  return x as T;
}

// 函数b直接复用泛型逻辑
function b<T extends string | undefined>(x?: T): T {
  return a(x); // 无类型错误
}

方式3：类型断言（谨慎使用） #

如果能确保逻辑安全，也可以用类型断言强制告诉TS参数类型，但这种方式存在类型不安全风险，不推荐大规模使用：

function b(): undefined;
function b(x: string): string;
function b(x?: string | undefined): string | undefined {
  return x === undefined ? a() : a(x as string);
}

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