递归模板字面量解析：在类型系统内构建JSON解析器

用纯类型系统递归解析JSON字符串，在编译期验证结构并推导类型。 · 难度：入门 · +10XP

递归模板字面量解析

本教程利用TypeScript的递归条件类型与模板字面量，实现一个类型级别的JSON解析器。例如 ParseJSON<'{"a":1, "b":"hello"}'> 直接返回 { a: number; b: string }。核心思路是将JSON字符串逐字符tokenize，然后递归构建对象类型。虽然不能处理所有边缘情况，但足以演示类型编程的极限。同时讨论模板字面量递归深度限制（约50层）及优化策略（分块解析）。

// 简化的JSON对象解析器（仅支持键值对）
type ParseJSON =
  T extends {${infer Inner}} ? ParseObject : never;
type ParseObject =
  T extends ${infer Key}:${infer Value},${infer Rest}
    ? { [K in Key]: ParseValue } & ParseObject
    : T extends ${infer Key}:${infer Value}
      ? { [K in Key]: ParseValue }
      : {};
type ParseValue =
  T extends "${infer S}" ? S :
  T extends ${infer N extends number} ? N : never;