什么是类型体操？
类型体操是使用 TypeScript 类型系统实现复杂类型操作的技术，它通过泛型、条件类型、映射类型和模板字面量类型等特性，在编译时完成类型计算。就像在类型层面上编写程序一样，实现普通开发者难以想象的强大类型约束。
核心价值：
- 🛡 强化类型安全（编译时捕捉边缘情况）
- 🎭 实现神奇的类型推导（自动推断复杂关系）
- 🧩 创建自描述代码（类型即文档）
一、类型体操的四大支柱
1. 条件类型 (Conditional Types)
通过 extends 和三元表达式实现类型分支：
type IsString<T> = T extends string ? true : false;
type A = IsString<'hello'>; // true
type B = IsString<42>; // false
2. 映射类型 (Mapped Types)
像 for...in 一样遍历类型：
type Optionalize<T> = {
[K in keyof T]?: T[K];
};
type User = { name: string; age: number };
type OptionalUser = Optionalize<User>;
// { name?: string; age?: number }
3. 模板字面量类型 (Template Literal Types)
组合字符串类型：
type EventName = 'click' | 'scroll';
type HandlerName = `on${Capitalize<EventName>}`;
// "onClick" | "onScroll"
4. 类型推断 (infer keyword)
提取类型中的部分结构：
type FirstParam<T> = T extends (arg: infer P) => any ? P : never;
type Fn = (name: string) => void;
type Param = FirstParam<Fn>; // string
二、实战：实现高级工具类型
案例1: 深度递归只读
type DeepReadonly<T> = {
readonly [K in keyof T]: T[K] extends object
? DeepReadonly<T[K]>
: T[K];
};
interface Nested {
a: number;
b: { c: boolean };
}
// 结果：{ readonly a: number; readonly b: { readonly c: boolean } }
type Locked = DeepReadonly<Nested>;
案例2: 精确的Promise解包
type Awaited<T> = T extends Promise<infer U>
? Awaited<U>
: T;
type P1 = Promise<string>;
type P2 = Promise<Promise<number>>;
type R1 = Awaited<P1>; // string
type R2 = Awaited<P2>; // number
三、类型体操的魔法时刻
1. 实现类型安全的路径访问
type GetPath<T, P extends string> =
P extends `${infer K}.${infer Rest}`
? K extends keyof T
? GetPath<T[K], Rest>
: never
: P extends keyof T
? T[P]
: never;
const obj = { user: { name: 'Alice', age: 30 } };
type Name = GetPath<typeof obj, 'user.name'>; // string
2. 构建类型安全的API路由系统
type ValidRoutes = `/user/${number}` | `/post/${string}`;
// 编译错误：不是有效路由
const path: ValidRoutes = '/user/abc';
3. 函数参数组合校验
type Exclusive<T, U> =
(T & { [K in Exclude<keyof U, keyof T>]?: never }) |
(U & { [K in Exclude<keyof T, keyof U>]?: never });
function choose<T, U>(choice: Exclusive<T, U>): void {}
choose({ a: 1 }); // ✅
choose({ b: 2 }); // ✅
choose({ a: 1, b: 2 }); // ❌ 类型冲突
四、避免类型体操的陷阱
即使是最强大的技术也需要谨慎使用：
- 性能警告：深度递归类型可能导致编译变慢
- 可读性成本：过于复杂的类型会变成"类型黑魔法"
- 边界情况陷阱：极端场景可能突破类型推导边界
黄金法则：优先保证开发体验，类型体操应为代码提供安全保障，而不是制造障碍。
结语：类型体操的哲学
TypeScript 类型系统的本质是一个图灵完备的子编程语言。通过类型体操，我们不只是描述数据形状，而是在类型层面实现：
- 🔍 编译时数据校验
- 🧠 智能类型推导
- 🏗️ 自适配的泛型结构
当你能优雅地操纵类型系统，TypeScript 就从静态类型检查器变成了元编程的超级武器。记住：类型不是枷锁，而是为你构建安全围栏的伙伴。
"类型体操的真正价值不在于它能做多酷的炫技，而在于它能让错误无处藏身。" —— TypeScript 核心团队
