TypeScript匿名重载函数类型不生效，命名函数却正常的问题

这是TypeScript的设计限制：命名重载函数的实现体被编译器特殊处理，允许其返回值覆盖所有重载签名的可能；但当你将一个联合参数+联合返回的函数赋值给重载类型时，编译器只会按重载的第一个签名校验返回值，因此会抛出null不能赋值给number[]的错误——它没法自动推导你的函数逻辑能对应到每个重载分支的返回值要求。

以下是两种无需类型断言的解决办法：

方法1：用函数表达式重载匹配类型定义 #

直接以重载的方式编写匿名函数，和命名重载函数的处理逻辑一致，编译器会认可这种实现：

type MyFunctionBaseOptions = {
  some_optional_option?: string
}

type MyFunction = {
  (options: MyFunctionBaseOptions): number[]
  (options: MyFunctionBaseOptions & { callback: () => void }): null
}

// 以重载形式定义函数表达式
const myFunction: MyFunction = function(options: MyFunctionBaseOptions): number[];
const myFunction: MyFunction = function(options: MyFunctionBaseOptions & { callback: () => void }): null;
const myFunction: MyFunction = function(
  options: MyFunctionBaseOptions | (MyFunctionBaseOptions & { callback: () => void })
): number[] | null {
  if ("callback" in options) {
    return null;
  }
  return [1, 2];
};

// 函数工厂也能正常使用
function myFunctionFactory(): MyFunction {
  return function(options: MyFunctionBaseOptions): number[];
  return function(options: MyFunctionBaseOptions & { callback: () => void }): null;
  return function(options): number[] | null {
    if ("callback" in options) {
      return null;
    }
    return [1, 2];
  };
}

方法2：用条件类型替代重载类型 #

将重载类型替换为条件类型，让TypeScript能通过输入类型精确推断返回值，这样函数实现的逻辑可以直接匹配：

type MyFunctionBaseOptions = {
  some_optional_option?: string
}

// 用条件类型定义函数类型
type MyFunction = <T extends MyFunctionBaseOptions | (MyFunctionBaseOptions & { callback: () => void })>(
  options: T
) => T extends { callback: () => void } ? null : number[];

const myFunction: MyFunction = (options) => {
  if ("callback" in options) {
    return null;
  }
  return [1, 2];
};

// 函数工厂同样适用
function myFunctionFactory(): MyFunction {
  return (options) => {
    if ("callback" in options) {
      return null;
    }
    return [1, 2];
  };
}

补充说明 #

两种方法的区别：

• 方法1完全保留原重载类型的语义，适合需要严格对应重载签名的场景；
• 方法2更简洁，利用条件类型实现类型推导，代码量更少，适合不需要暴露重载细节的场景。

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