说实话，刚开始接触“类型体操”这个词的时候，我的内心是拒绝的。写代码还不够累吗？为什么还要在类型系统里玩杂耍？但当你真正沉浸其中，那种解谜带来的快感，简直让人欲罢不Neng。这不仅仅是为了通过面试，geng是为了让我们在构建大型应用时拥有那种“运筹帷幄”的自信。今天我们就来聊聊这些让人抓狂又着迷的 TypeScript 高级类型技巧，顺便整理一下我的“踩坑”笔记。

在开始那些让人头秃的难题之前，我们得先掌握几块基石。hen多时候，复杂的类型推导其实就是基础语法的组合拳。

这两个工具类型Ke以说是日常开发中Zui常用的了。想象一下你有一个巨大的用户信息接口，但你只需要其中的名字和年龄。这时候，Pick 就派上用场了。

它的核心逻辑其实非常简单，就是遍历传入的键名，然后从原类型中把对应的值取出来。我们Ke以试着手动实现一下：

type MyPick = {
  : T
}

这里用到了 keyof 来获取所有键，再用 in 进行遍历。至于 Omit，它本质上就是 Pick 的反向操作。我们Ke以利用 Exclude 先把不需要的键剔除掉，然后再 Pick 剩下的。

type MyOmit = {
  : T
}

有时候我们希望某些对象一旦初始化就永远不Neng被修改。TypeScript 提供了 readonly 修饰符来实现这个功Neng。实现一个 MyReadonly 也是轻而易举：

type MyReadonly = {
  readonly : T;
}

这里有一个非常容易踩坑的地方，那就是 Exclude 的实现原理。你可Neng会觉得这行代码平平无奇：

type MyExclude = T extends U ? never : T;

但请注意，当 T 是一个联合类型时TypeScript 会自动进行“分发”。它会分别拿 'a' 和 'b' 去跟 U 比较，Zui后把结果合并。这就是所谓的分布式条件类型。Ru果你想阻止这种行为，记得把类型参数用方括号包起来比如 extends 。

Ru果说基础语法是砖瓦，那 infer 就是水泥。它允许我们在类型推导过程中“暂存”一个待推断的类型变量。这在处理函数类型时尤为强大。

假设我们有一个函数，想要拿到它参数的类型定义。利用 infer，我们Ke以像剥洋葱一样把类型拆解出来：

type MyParameters any> = 
  T extends  => any ? A : never

这里有个小插曲，我一开始写的时候，错误地把 infer A 写成了 infer A => any，结果编译器直接给我甩脸色。切记，infer 只是占位符，具体的结构要匹配 extends 右边的模式。

同理，获取返回值也是一样的逻辑，只不过换了个位置而Yi：

type MyReturnType = T extends  => infer R ? R : never

在现代前端开发中，Promise 无处不在。Ru果我们Neng穿透 Promise，拿到它Zui终 resolve 出来的类型，那将非常有用。这需要一点递归的思维，因为 Promise 可Neng会嵌套：

type MyAwaited = T extends Promise ? MyAwaited : T

TypeScript 4.1 引入的模板字面量类型，彻底打开了新世界的大门。我们终于Ke以在类型层面操作字符串了！

实现一个 Replace 功Neng，类似于字符串的 replace 方法。我们需要利用模式匹配，找到目标子串，然后把它换成新的值。

type Replace = 
  From extends '' 
    ? S 
    : S extends `${infer A}${From}${infer B}` 
    ? `${A}${To}${B}` 
    : S

type Space = ' ' | '
' | '\t';
type TrimLeft = S extends `${Space}${infer R}` ? TrimLeft : S;
type TrimRight = S extends `${infer L}${Space}` ? TrimRight : S;
type Trim = TrimRight

type Flatten = 
  A extends  
    ? F extends any 
      ?  
      :  
    : 

type DeepReadonly = {
  readonly : keyof T extends never ? T : DeepReadonly;
};

type IsNever =  extends  ? true : false

type IsUnion =  extends 
  ? false
  : T extends T
    ?  extends  ? false : true
  : true;

type Chainable = {
  option: Chainable & Record
  get: T
}