为何类型'(...arg: [TParams] | []) => void'无法赋值给条件函数类型？

首先明确：这是TypeScript类型系统的限制，并非你的理解有误。

为什么类型不兼容？ #

你返回的(...arg: [TParams] | []) => void是一个同时支持传参和不传参的单一函数类型，而条件类型TParams extends undefined ? () => void : (params: TParams) => void是根据泛型参数实例化后的不同函数类型：

• 当TParams为undefined时，返回类型要求是只能无参调用的() => void，但你的open函数允许传入undefined参数，不符合该分支的严格要求；
• 当TParams为具体object类型时，返回类型要求是必须传参的(params: TParams) => void，但你的open函数允许不传参数，也不符合该分支的严格要求。

TypeScript无法自动将这种“通用型”函数与条件类型的每个分支做兼容性匹配，因此报错。

实现目标的几种方案 #

方案1：类型断言（快速解决） #

如果你确认open函数的行为符合返回类型要求，可以直接用类型断言绕过检查：

function useExample<
  TParams extends object | undefined = undefined
>(): TParams extends undefined ? () => void : (params: TParams) => void {
  const open = (...arg: [TParams] | []) => {};

  return open as TParams extends undefined ? () => void : (params: TParams) => void;
}

方案2：函数重载（类型安全最优解） #

用重载签名明确声明每种泛型场景对应的返回类型，这是最符合TypeScript类型系统设计的方式：

// 重载签名1：无泛型参数时，返回无参函数
function useExample(): () => void;
// 重载签名2：传入泛型参数时，返回带参函数
function useExample<TParams extends object>(): (params: TParams) => void;
// 通用实现签名
function useExample<TParams extends object | undefined = undefined>() {
  const open = (...arg: [TParams] | []) => {};
  return open;
}

调用时TypeScript会自动推断正确的函数类型：

• useExample() → 仅允许无参调用
• useExample<{id: number}>() → 必须传入符合{id: number}类型的参数

方案3：条件分支返回（需配合断言） #

如果希望严格区分两种函数的实现逻辑，可以通过类型断言返回不同的函数（注意：泛型类型在运行时不可用，无法直接判断，这里仅做示意）：

function useExample<
  TParams extends object | undefined = undefined
>(): TParams extends undefined ? () => void : (params: TParams) => void {
  // 针对无参场景的实现
  const noParamOpen = () => {};
  // 针对带参场景的实现
  const withParamOpen = (params: TParams) => {};

  // 这里通过泛型约束推断分支，实际运行时无法直接判断TParams类型
  return (TParams extends undefined ? noParamOpen : withParamOpen) as ReturnType<typeof useExample>;
}

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