TypeScript中如何通过接口实现函数重载？

你遇到的这个问题其实是TypeScript对箭头函数和普通函数重载的处理差异导致的。当你用箭头函数实现带有重载签名的接口时，TypeScript会严格检查实现的返回值是否匹配每一个重载签名的返回类型——你的实现返回0 | 1 | undefined，但第一个重载要求返回0 | undefined，所以TypeScript会认为1不符合第一个重载的返回类型，从而抛出错误。而调用时类型推导正常，是因为TypeScript会根据传入的参数类型匹配对应的重载签名，和实现的类型检查逻辑是分开的。

下面给出两种可行的解决方案，既满足箭头函数的要求，又不会丢失类型检查能力：

方法1：使用条件类型定义函数逻辑 #

这种方式不需要依赖重载接口，而是通过条件类型让函数返回值自动适配参数类型，同时保持实现过程的类型约束：

// 定义条件类型，根据参数类型映射对应的返回值类型
type FuncReturn<T extends boolean | string> = 
  T extends boolean ? 0 | undefined : 1 | undefined;

// 箭头函数用泛型约束参数范围，确保只能传入boolean或string
const test = <T extends boolean | string>(b: T): FuncReturn<T> => {
  if (typeof b === "boolean") return 0 as FuncReturn<T>;
  if (typeof b === "string") return 1 as FuncReturn<T>;
  // 兜底处理，避免出现未覆盖的类型分支
  throw new Error("参数类型错误，仅支持boolean或string");
};

这种写法的优势：

• 参数被严格约束为boolean | string，不会出现类型逃逸
• 调用时依然能精准推导返回值类型：

  const res1 = test(true); // 类型为0 | undefined
  const res2 = test("true"); // 类型为1 | undefined
  

• 逻辑直观，不需要依赖重载接口的复杂匹配规则

方法2：安全类型断言适配重载接口 #

如果你坚持要使用原有的重载接口，可以在箭头函数实现后添加类型断言，但要确保实现逻辑完全符合重载要求（避免滥用断言导致类型不安全）：

type Ifunction = {
  (v1: boolean): 0 | undefined;
  (v1: string): 1 | undefined;
};

const test = ((b: boolean | string) => {
  if (typeof b === "boolean") return 0;
  if (typeof b === "string") return 1;
}) as Ifunction;

这里我们明确指定参数b的类型为boolean | string，保留了对参数的类型检查，然后将整个箭头函数断言为Ifunction——因为我们已经手动确保实现逻辑完全匹配所有重载签名，所以这个断言是安全的，不会引入类型风险。

调用时的类型推导依然正常，同时实现过程中也不会允许你传入非预期类型的参数，避免了使用any带来的类型安全问题。

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