就是那个让我挂掉面试的题。搞定之后发现其实不难，核心就是递归，但细节上全是坑。

目标递归地将对象所有属性变为只读。

interface Nested {
  a: { b: { c: string }; d: number }
  e: boolean
}
// 期望：所有层级的属性dou是 readonly
type Result = DeepReadonly

思路解析

第一反应可Neng是这样写：

type DeepReadonly = {
  readonly : T extends Record 
    ? DeepReadonly 
    : T
}

等一下这个写法有坑。

测试的时候你会发现，数组类型也会被当成对象处理。结果数组变成了一个奇怪的映射类型，把 lengthpush 这些属性全变成 readonly 了这显然不是我们要的 readonly number。而且，函数类型也是 object，不先排除会把函数签名拆掉。

改进版本：

type DeepReadonly = T extends  => any 
  ? T  // 函数类型原样返回
  : T extends object 
    ? { readonly : DeepReadonly } 
    : T // 原始类型原样返回

这里用 T extends object 替代了 Record 判断，并且优先排除了函数类型。实测下来数组也Neng正确处理——TS 对数组有特殊的映射类型行为，{ readonly ]: ... } 会正确生成 readonly number。

数组/元组操作的经典题目，考的是综合运用Neng力。

目标把嵌套数组类型拍平成一维。

type Result = Flatten<, ]]]> 
// 期望：]

思路解析

元组解构 + 递归。取第一个元素，Ru果是数组就展开，不是就保留，然后递归处理剩余部分。

type Flatten = T extends  
  ? First extends any 
    ?  
    :  
  : 

逻辑拆解：

利用模式匹配把元组拆成“第一个元素”和“剩余元素”。

First extends any判断第一个元素是不是数组。

Ru果是数组，递归拍平它，再拼上递归拍平后的 Rest。

Ru果不是数组，直接把 First 放进结果，继续处理 Rest。

遇到空数组 ，返回 ，递归终止。

刷题过程中了几个省时间的技巧，希望Neng帮你少走弯路：

有兴趣的Ke以直接去 type-challenges 开刷，仓库里有在线 playground 链接，零配置直接开写。右侧面板开 .D.TS Ke以kan到类型推断结果。直接用 TypeScript Playground 在线调试，不用搭本地环境，非常方便。

怎么验证你的类型是对的？写测试用例啊！

type Assert = T
type IsEqual =  => T extends A ? 1 : 2) extends  => T extends B ? 1 : 2) ? true : false
// 测试你的实现
type Case1 = Assert, { title: string }>
// Ru果类型不对，这行会报错

调试类型体操的时候，多用 hover kan推断结果，VS Code 里鼠标悬停在类型别名上就Nengkan到展开后的类型。但有时候 hover kan到的是 DeepReadonly，没展开。加一层空映射Ke以强制 TS 展开显示：

type Expand = T extends infer O ? { : O } : never
// 使用
type Check = Expand
// hover Check 就Nengkan到完全展开的结构

TS 类型递归有深度限制，嵌套太深会报 Type instantiation is excessively deep and possibly infinite。实际业务中极少遇到，刷题偶尔会被卡住。遇到了Ke以试试“尾递归优化”的写法——TS 4.5+ 对尾递归类型有一定优化，但不是所有场景dou生效。

我自己的感受是：类型体操训练的是你对类型系统的直觉，不是用来炫技的。刷过之后再去读开源库的类型定义，比如 Vue 3 的模板类型推断、tRPC 的端到端类型安全，就不再觉得是天书了。

比较合理的刷题路径大概是这样：

先搞懂上面 6 个基础工具，每个写 2-3 个小例子。

type-challenges 的 Easy 全刷，大概 10 几道，一下午Neng搞定。

Medium 挑着刷，优先刷面试高频的：DeepReadonlyFlattenTrimLeftIsUnionTupleToUnion。

Hard kan心情——实际业务中几乎用不到，但对理解类型系统的Neng力边界有帮助。

别被这些符号吓退了一旦你习惯了这种思维方式，你会发现用 TypeScript 写代码其实比写 JavaScript 还要爽。毕竟编译器帮你挡掉了 90% 的低级错误，这种安全感是谁dou不想放弃的。