交叉类型合并多个类型，联合类型支持多态输入，条件类型实现类型逻辑判断，映射类型转换属性，infer推断类型，递归与模板字面量增强表达力，共同构建TypeScript高阶类型系统。
JavaScript 的类型系统在原始设计中是动态且灵活的，这带来了编码的自由度，也增加了运行时出错的风险。TypeScript 通过静态类型检查扩展了 JavaScript，在大型项目中显著提升了代码的可维护性与开发效率。而掌握 TypeScript 的进阶类型编程，是构建高复用、强类型应用的关键。
交叉类型与联合类型
交叉类型（Intersection Types）允许你将多个类型合并为一个，常用于混入（mixin）模式或组合对象结构。
例如：
type A = { name: string };
type B = { age: number };
type Person = A & B;
const person: Person = { name: 'Alice', age: 25 };
这里 Person 类型同时具备 name 和 age 属性。
联合类型（Union Types）表示一个值可以是多种类型之一，适合处理不确定输入的场景。
比如：
function printId(id: string | number) {
console.log('ID:', id);
}
使用联合类型时，TypeScript 要求你在操作前进行类型缩小（narrowing），如通过 typeof 判断。
条件类型与分布式条件
条件类型让你根据类型关系动态选择类型，语法为 T extends U ? X : Y。
例如判断是否为函数类型：
type IsFunction
当传入函数类型时返回 true，否则返回 false。
TypeScript 会对裸类型参数（即未包装的泛型）在联合类型中做分布式计算。例如：
type ToArray
type StrArrOrNumArr = ToArray
这种“分布性”使得条件类型在处理复杂映射时非常强大。
映射类型与内置工具类型
映射类型基于已有类型创建新类型，通过遍历属性来修改其修饰符或类型。
常见用法：
-
Partial
：将所有属性变为可选 -
Readonly
：使所有属性只读 -
Pick
：从 T 中选取一组属性 K -
Record
：构造一个属性名来自 K，属性类型为 T 的对象类型
也可以自定义映射类型：
type OptionalProps
[P in keyof T]?: T[P];
};
它等价于 Partial
类型推断 infer
infer 关键字用于在条件类型中声明待推断的类型变量。
典型例子是从函数返回值中提取类型：
type ReturnType
当 T 是函数时，infer R 捕获其返回类型，并作为结果返回。
还可用于提取数组元素类型：
type ElementType
若 T 是数组，则返回元素类型 U，否则返回 T 本身。
递归类型与模板字面量类型
TypeScript 支持递归定义类型，适用于树形结构或嵌套对象。
例如定义一个无限层级的 JSON 类型：
type Json =
string | number | boolean | null |
Json[] | { [key: string]: Json };
注意避免无限展开导致编译错误。
模板字面量类型（Template Literal Types）结合字符串字面量和类型运算，实现更精确的字符串约束。
例如：
type Size = 'small' | 'large';
type Color = 'red' | 'blue';
type Style = `${Size}-${Color}`;
const s: Style = 'small-red'; // OK
这在构建 CSS 类名或事件名称时特别有用。
基本上就这些。掌握这些进阶类型机制后，你可以编写高度抽象、类型安全的工具类型和泛型组件，让 TypeScript 成为你代码结构的坚实骨架。不复杂但容易忽略的是细节上的类型分布与推断时机，多实践才能熟练运用。
