为何TypeScript推断useState返回[T | undefined, ...]类型？

核心原因：TypeScript对重载函数的ReturnType处理逻辑 #

你遇到的类型推断差异，本质是TypeScript仅会使用重载函数的最后一个重载来计算ReturnType，而React的useState在类型定义中包含两个重载：

1. 带初始值的重载：

function useState<S>(initialState: S | (() => S)): [S, React.Dispatch<React.SetStateAction<S>>];

2. 无初始值的重载（泛型默认值为undefined）：

function useState<S = undefined>(): [S | undefined, React.Dispatch<React.SetStateAction<S | undefined>>];

当你指定泛型参数为boolean时，第二个重载会被解析为：

function useState<boolean>(): [boolean | undefined, React.Dispatch<React.SetStateAction<boolean | undefined>>];

由于ReturnType优先取最后一个重载的返回类型，最终UseBoolean就被推断为包含undefined的联合类型。

如何获取预期的严格类型 #

如果你需要得到不含undefined的[boolean, React.Dispatch<React.SetStateAction<boolean>>]类型，可通过以下方式实现：

• 直接声明类型：跳过ReturnType推断，手动定义目标类型：

  type UseBoolean = [boolean, React.Dispatch<React.SetStateAction<boolean>>];
  

• 基于具体调用的推断：取传入具体boolean值的useState调用返回类型，让TypeScript匹配第一个重载：

  type UseBoolean = ReturnType<typeof React.useState<true>>;
  

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