如何在TypeScript中实现函数重载？解决SRequest编译报错问题

你的代码编译失败的核心原因是：TypeScript的重载函数要求实现逻辑必须严格匹配每个重载签名的输入输出约束，而你用联合类型的参数和返回值写法，无法让TypeScript精确关联“普通string参数对应string返回值”、“'Set-Cookie'参数对应string[]返回值”这两个分支。

当你传入普通string时，重载签名要求返回string，但你的实现返回string | string[]，TypeScript无法确保此时不会返回数组，因此抛出类型不匹配的错误。

以下是两种正确的实现方式：

方式一：显式定义方法重载签名（推荐） #

对于对象中的重载方法，需要先写出与类型定义一致的重载签名，再编写实现逻辑。这样TypeScript能清晰识别每个参数对应的返回类型：

type SRequest = {
  headers: string[];
  get(header: string): string;
  get(header: 'Set-Cookie'): string[];
}

const myReq: SRequest = {
  headers: ['a'],
  // 先声明重载签名，与SRequest中的定义对齐
  get(header: 'Set-Cookie'): string[];
  get(header: string): string;
  // 实现逻辑，参数用最宽泛的string类型，返回值由TypeScript自动推断
  get(header: string) {
    if (header === 'Set-Cookie') {
      return ['x'];
    }
    return '';
  }
}

方式二：使用类型断言（不推荐） #

如果不想写重载签名，可以在返回时用类型断言强制指定返回类型，但这种方式绕过了TypeScript的部分类型检查，安全性较低：

type SRequest = {
  headers: string[];
  get(header: string): string;
  get(header: 'Set-Cookie'): string[];
}

const myReq: SRequest = {
  headers: ['a'],
  get: (header: string) => {
    if (header === 'Set-Cookie') {
      return ['x'] as string[];
    }
    return '' as string;
  }
}

关键说明 #

TypeScript的重载机制中，对外暴露的重载签名是调用时的类型契约，而实现签名是内部逻辑的类型兼容基础。用联合类型的参数/返回值虽然看似覆盖了所有情况，但无法让TypeScript建立“特定参数对应特定返回值”的精确映射，因此必须通过显式重载签名来约束。

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