TS 类型体操：图解一个复杂高级类型

今天就来做个高难度的体操，它会综合运用模式匹配、构造、递归等套路，对提升类型编程水平很有帮助。
我们要实现的高级类型如下：

它的类型参数是参数字符串 query string，会返回解析出的参数对象，如果有同名的参数，会把值做合并。
先不着急实现，我们先回顾下相关的类型体操基础：
类型体操基础 模式匹配 模式匹配是指用一个类型匹配一个模式类型来提取其中的部分类型到 infer 声明的局部变量中。
比如提取 a=b 中的 a 和 b：

这种模式匹配的套路在数组、字符串、函数等类型中都有很多应用。
构造 映射类型用于生成索引类型，生成的过程中可以对索引或者索引值做一些修改。
比如指定 key 和 value 来生成一个索引类型：

递归 TypeScript 高级类型支持递归，可以处理数量不确定的问题。
比如不确定长度的字符串的反转：
type ReverseStr< Str

TS 类型体操：图解一个复杂高级类型最先出现在Python成神之路。