类型别名联合与交叉运算

Tue, 04 Mar 2025 08:37:03 +0000

考察点分析

本题主要考核候选人在TypeScript类型系统中的核心能力，重点聚焦以下三个维度：

类型定义能力：能否正确使用类型别名构建字符串字面量联合类型
条件类型理解：是否掌握条件类型的基本语法及类型运算规则
类型运算机制：对分布式条件类型、类型推断等高级特性的理解深度

具体技术评估点包括：

联合类型语法与类型别名声明
条件类型的三元表达式结构
分布式条件类型的分发机制
交叉类型在条件类型中的特殊表现
类型编程中infer关键字的运用

技术解析

关键知识点

联合类型语法
条件类型语法结构
分布式条件类型
类型推断(infer)

原理剖析

联合类型通过|运算符组合多个类型成员，类型别名type可复用该类型。条件类型采用T extends U ? X : Y结构，当泛型参数为联合类型时触发分布式条件类型特性，系统会自动展开每个成员进行独立计算。

例如T extends string在T = A|B时，相当于(A extends string) | (B extends string)。交叉类型&则进行类型合并，但在条件类型中仍遵循标准类型兼容规则。

常见误区

混淆接口(interface)与类型别名(type)的适用场景
误判条件类型对交叉类型的处理逻辑
忽略分布式条件类型的分发机制

问题解答

字符串字面量联合类型定义：

 type Status = 'success' | 'error'; // 声明包含特定字符串值的联合类型

条件类型运算示例：

 // 基础条件类型
type IsString<T> = T extends string ? T[] : never;

// 分布式条件类型（联合类型自动展开）
type Case1 = IsString<'a' | 1>; // 结果为 'a'[] | never → 'a'[]

// 类型推断
type UnpackPromise<T> = T extends Promise<infer R> ? R : T;
type Case2 = UnpackPromise<Promise<number>>; // number

类型别名在条件类型中展现强大的运算能力：通过泛型参数进行类型推导、结合三元表达式实现类型分支判断、利用分布式特性处理联合类型，并可通过infer实现类型结构拆解。

联合类型 on ZiYang FrontEnd Interview

类型别名联合与交叉运算

考察点分析 link

技术解析 link

关键知识点 link

原理剖析 link