TypeScript高级类型通过交叉、联合、条件、映射及递归等特性，实现灵活的类型组合与逻辑判断，提升代码安全性与复用性。
TypeScript 的类型系统远不止基础类型标注。通过高级类型特性，开发者可以构建更安全、可复用且智能的代码结构。掌握这些能力，能让你在复杂项目中游刃有余。
交叉类型与联合类型：灵活组合类型
交叉类型（&）将多个类型合并为一个，常用于混入（mixin）或扩展对象结构。
例如：type A = { name: string };type B = { age: number };type Person = A & B; // 拥有 name 和 age
联合类型（|）表示值可以是多种类型之一。结合类型收窄（如 typeof、in、instanceof），可在运行时做出安全判断。
比如：function padLeft(value: string, padding: string | number) {if (typeof padding === "number") { ... }else { ... }}
条件类型：类型层面的逻辑判断
条件类型让类型具备“if-else”能力，格式为 T extends U ? X : Y，适用于根据输入类型动态决定输出类型。
常见用途包括：- 过滤特定类型：
type NonNullable= T extends null | undefined ? never : T; - 映射不同输入：
type ToArray= T extends any[] ? T : T[];
结合 infer 关键字，可以从复杂类型中提取子类型。
例如提取函数返回值：type ReturnType= T extends (...args: any[]) => infer R ? R : any;
映射类型：批量修改对象属性
映射类型基于已有类型创建新类型，通过遍历属性实现批量操作。
触网万能商城建站系统免费版
下载
触网万能商城系统，3年专注打磨一款产品，专为网络服务公司、建站公司、威客、站长、设计师、网络运营及营销人员打造，是一款超级万能建站利器，彻底告别代码编程和找模板，改模板，改代码的低效高成本方式，仅需一个人可服务无数客户，系统集万能官网+万能商城+万能表单+博客+新闻+分销...于一体，通过海量模块拖拽布局、万能组合和超级自定义功能，可以构建各种类型的响应式网站。
-
Partial：所有属性变为可选 -
Readonly：所有属性变为只读 -
Pick：从 T 中挑选部分属性 K
你也可以自定义映射规则。
比如将所有字段设为可选且可为 null：type MaybeOptional= { [P in keyof T]?: T[P] | null;};
类型递归与分布式条件类型
TypeScript 支持递归定义类型，可用于处理嵌套结构。
例如深只读类型：type DeepReadonly= { readonly [P in keyof T]: T[P] extends object ? DeepReadonly: T[P]; };
当条件类型作用于联合类型时，会自动分发到每个成员，称为“分布式条件类型”。
这意味着：type TypeName= T extends string ? "string" : T extends number ? "number" : "other"; type Result = TypeName; // 得到 "string" | "number"
基本上就这些。熟练运用这些高级类型，能让 TypeScript 成为你代码的智能助手，而不是负担。
