类型化无限递归推理

Question

查看我在某处（这里是游乐场）找到的这个Typescript4.2片段：

type BlackMagic<T> = { [K in keyof T]: BlackMagic<T[K]> }

declare const foo: BlackMagic<{q: string}>;
declare const str: BlackMagic<string>;
declare const num: BlackMagic<12>;

我的头不能绕着它。TS如何处理这件事？它怎么不卡在无限递归里？具体地说，对于str和num的情况，悬停在变量上显示TS将类型解析为string和12。这是怎么回事？

Answer 1

如果您的类型包含具有相同t的blackmagic ，那么您将陷入无限递归，但这里我们将实用程序类型blackmagic应用于不同的值t[K]。

type BlackMagic<T> = { [K in keyof T]: BlackMagic<T[K]> }

此类型表示Blackmagic 是一个对象，其中键是T的键，值是T的值的Blackmagic映射版本。

在示例中，blackmagic类型实际上并不执行任何操作str和num。

如果T是基元类型而不是对象，则Blackmagic 只是T本身。这是作为映射类型的实用工具类型的标准行为。例如，部分<12>只是12。这一行为在FAQ常见的不是bug的“bug”中进行了解释

声明为{[kin in keyof T]:U}（其中T是类型参数）的映射类型称为同态映射类型，这意味着映射类型是T的结构保持函数。使用基元类型实例化类型参数t时，映射的类型计算为相同的基元。

foo:blackmagic<{q:string}>实际上会进行一些映射，但它只深一级。blackmagic<{q:string}>变为{q:blackmagic } 。我们刚刚看到blackmagic 是string，因此接下来的类型变为{q:string}。