TypeScript类型推断迷惑：四种函数返回值为何相同，联合类型陷阱揭秘

TypeScript类型推断迷惑：四种函数返回值类型相同？联合类型条件陷阱揭秘！本文揭秘TypeScript类型推断的奇异行为，深入剖析四种看似不同的函数返回值类型定义为何得出相同结果，并解释其根本原因。此外，文章还分析了在条件类型中使用联合类型时可能遇到的类型推断陷阱，例如：泛型T为联合类型时，条件类型无法确定T的具体类型，导致类型检查失败。文中将提供具体代码示例和解决方案，助你避开TypeScript类型推断的常见误区，提升代码质量。

TypeScript 类型推断的奇异行为：四种函数返回值类型定义的相同结果及条件类型中联合类型的陷阱

本文分析了 TypeScript 中一些令人费解的类型推断行为。我们将探讨四种看似不同的类型定义为何得出相同的结果，并解释在条件类型中使用联合类型时可能遇到的问题。

首先，让我们观察这四种 getReturnType 类型定义：

type getReturnType1 = T extends (...args: never) => infer R ? R : never;
type getReturnType2 = T extends (...args: never[]) => infer R ? R : never;
type getReturnType3 = T extends (...args: any[]) => infer R ? R : never;
type getReturnType4 = T extends (...args: any) => infer R ? R : never;

尽管 ...args 的类型分别为 never、never[]、any[] 和 any，这四种定义在实际应用中却产生相同的结果。这是因为 TypeScript 的类型系统中，函数参数类型在类型推断中的作用并非我们直觉所想的那样。never 代表永不存在的值，never[] 代表空数组，any[] 代表任意类型数组，any 代表任意类型。然而，extends 条件判断主要关注的是函数的返回值类型 infer R，参数类型的影響相对较小，甚至可以忽略。因此，只要传入的 T 是函数类型，都能推断出返回值类型并赋值给 R；若 T 不是函数类型，则返回 never。

接下来，我们分析另一个问题，涉及条件类型和联合类型：

type Props = {
  labels: T[];
  setSelect: (index: number, label: T extends Major ? Major : ResCategoryLabel) => void;
  xxx;
};

const changeSelect = (
  index: number,
  label: Major | ResCategoryLabel,
  e: React.MouseEvent | React.TouchEvent
) => {
  setSelect(index, label); // 类型错误
  activeTabToCenter(e.currentTarget as HTMLElement);
};

这段代码中，Props 类型定义了一个泛型 T，限制其为 Major 或 ResCategoryLabel 的联合类型。setSelect 函数的第二个参数 label 的类型定义为 T extends Major ? Major : ResCategoryLabel。本意是想根据 T 的类型确定 label 的类型：若 T 为 Major，则 label 为 Major；否则为 ResCategoryLabel。然而，由于 T 是联合类型，TypeScript 无法在编译时确定 T 的具体类型，导致 setSelect 函数的类型检查失败。这是因为条件类型处理联合类型时，会分别对每个类型进行判断，最终结果是所有分支结果的联合。在这种情况下，label 的类型最终会变成 Major | ResCategoryLabel，与 changeSelect 函数中 label 的类型不匹配，从而导致类型错误。解决方法可能需要重新设计类型定义，例如使用类型守卫或更精细的类型推断来避免此问题。

以上就是本文的全部内容了，是否有顺利帮助你解决问题？若是能给你带来学习上的帮助，请大家多多支持golang学习网！更多关于文章的相关知识，也可关注golang学习网公众号。