TS 类型体操实例解析
内容提要
本文介绍 TypeScript 类型体操，即用 type 定义高阶类型。通过 SimpleVue 实例，讲解函数 this 参数、内置 ThisType、模式匹配与 infer、条件类型、类型递归、模板字符串类型、Union 分布式运算等技巧，并实现 PromiseValue、promiseAll、全排列、Fibonacci 等类型。
延伸解读
类型体操的实用价值
类型体操并非炫技，而是解决实际类型问题的工具。文章通过 SimpleVue 实例展示了如何利用 this 参数、ThisType 和条件类型等，为 Vue Options API 提供精确的类型检查，确保 data、computed 和 methods 之间的访问约束。这体现了类型体操在提升代码健壮性和开发体验方面的价值，尤其在复杂框架集成中。
模式匹配与 infer 的核心作用
模式匹配结合 infer 是类型体操中提取子类型的核心手段。文章通过 PromiseValue、GetThisType 和 GetReturnType 等例子，演示了如何从 Promise、函数 this 参数和返回值中推断类型。掌握这些技巧，能帮助开发者灵活处理各种类型转换场景，减少手动类型标注。
类型递归与分布式条件类型
类型递归和 Union 分布式运算是实现复杂类型逻辑的关键。文章通过全排列、Fibonacci 和 UpperCase 等实例，展示了如何用递归模拟循环，以及利用分布式条件类型遍历 Union。理解这些机制，有助于编写高阶类型工具，但需注意递归深度限制和性能影响。
常见陷阱与解决方案
类型体操中常遇到类型推断过宽或 never 处理不当的问题。文章以 promiseAll 和 IsNever 为例，指出默认推断会丢失元组信息，以及 never 作为空 Union 的特殊行为。通过数组解构、空元组约束或额外标记（如 [T] extends [never]）可以解决，这些技巧能避免类型错误。
Q&A
什么是 TypeScript 类型体操？
类型体操是指用 TypeScript 的 type 定义高阶类型，即传入类型并返回新类型，类似于类型空间中的函数。
如何用 TypeScript 类型实现 Vue Options API 的 this 类型检查？
通过为 data、computed、methods 分别指定 this 参数类型，并利用内置的 ThisType 工具类型来标记方法的 this 类型，从而实现精确的 this 检查。
TypeScript 中的 infer 关键字有什么作用？
infer 用于在条件类型中声明一个类型变量，让编译器根据模式匹配自动推断出该变量的具体类型。
如何实现 promiseAll 的类型声明，使其返回正确的元组类型？
可以使用数组解构或联合空元组来让编译器将参数推断为元组，然后通过映射类型提取每个 Promise 的 resolve 类型，最终返回 Promise<readonly [T1, T2, ...]>。
TypeScript 中如何判断一个类型是否为 never？
不能直接用 T extends never，因为 never 是空联合类型，需要将类型包裹在元组中，如 [T] extends [never] ? true : false。
如何用 TypeScript 类型实现全排列？
使用递归和分布式条件类型，每次从联合类型中取出一个元素，然后对剩余元素递归，最终拼接成所有排列的联合类型。
