TypeScript 的高级类型通过交叉、联合、条件、映射类型及类型守卫提升代码安全与复用，支持复杂类型抽象，增强大型项目可维护性。
TypeScript 的高级类型功能为开发者提供了强大的类型抽象能力，使得在大型项目中可以更安全、灵活地处理复杂的数据结构。它不仅继承了 JavaScript 动态类型的灵活性，还通过静态类型系统增强了代码的可维护性和可读性。掌握 TypeScript 的高级类型是构建健壮应用的关键一步。
交叉类型与联合类型
交叉类型（Intersection Types）允许你将多个类型合并成一个类型。使用 & 操作符实现，常用于混入（mixin）模式或扩展已有类型。
例如：type A = { name: string };<br>type B = { age: number };<br>type C = A & B; // 同时具有 name 和 age 属性
联合类型（Union Types）表示一个值可以是几种类型之一。使用 | 操作符定义，适合处理多态输入。
立即学习“Java免费学习笔记（深入）”；
比如：function printId(id: number | string) {<br> if (typeof id === 'string') {<br> console.log(id.toUpperCase());<br> } else {<br> console.log(id);<br> }<br>}
TypeScript 会根据类型收窄机制自动推断运行时类型，提升类型安全性。
条件类型与分布式条件
条件类型让你可以根据类型之间的关系选择不同的类型。语法为 T extends U ? X : Y，类似于三元表达式。
常见用法：type IsString<T> = T extends string ? true : false;<br>type Result = IsString<'hello'>; // true
当条件类型作用于联合类型时，会自动进行分布式计算。例如：
type ToArray<T> = T extends any ? T[] : never;<br>type Arr = ToArray<string | number>; // string[] | number[]
这种“分布性”让条件类型在泛型中非常强大，但也需要注意避免意外展开，必要时可用方括号包裹 [T] 来禁用分布。
映射类型与内置工具类型
映射类型基于旧类型创建新类型，通过遍历属性来修改其修饰符或类型。常用关键字包括 keyof、in 和 readonly、? 等。
示例：将所有属性变为只读可选type PartialReadonly<T> = {<br> readonly [P in keyof T]?: T[P];<br>};
TypeScript 内置了许多实用的工具类型，如：
- Partial<T>：所有属性变为可选
- Required<T>：所有属性变为必填
- Pick<T, K>：从 T 中挑选一组属性 K
- Omit<T, K>：从 T 中排除一组属性 K
- Record<K, T>：构造一个属性键属于 K，值为 T 的对象类型
这些工具类型极大提升了类型复用能力，减少重复定义。
类型守卫与自定义类型判断
类型守卫帮助 TypeScript 在运行时上下文中正确收窄类型。常见的方法包括 typeof、instanceof 和自定义谓词函数。
使用 is 关键字定义用户类型守卫：function isDate(value: any): value is Date {<br> return value instanceof Date;<br>}<br><br>if (isDate(input)) {<br> input.toISOString(); // 此处被识别为 Date 类型<br>}
还可以结合 in 操作符检查属性是否存在来进行类型区分：
if ('name' in obj) {<br> // 推断 obj 可能有 name 属性<br>}
合理使用类型守卫可以让联合类型的逻辑分支更加清晰且类型安全。
基本上就这些。熟练运用这些高级类型特性，能显著提升 TypeScript 项目的类型表达力和开发体验。不复杂但容易忽略的是细节处理，比如分布式的触发时机或映射类型的修饰符控制。多实践、多阅读官方文档中的高级类型章节，会有更深理解。
