打印脚本类型最大递归限制为9 [英] typescript type max recursion limited to 9

问题描述

我终于成功地创建了一个泛型类型，它为我提供了json键列表/值的所有可能组合。我甚至准备了一个方法来限制递归。

type EditAction<T,P extends keyof T,Prev extends any[]> = {
    data : T[P]
    id : [...Prev, P]
    prev : Prev
}

type EditActions<T, Depth extends number = 50, Prev extends any[] = []> = {
    [P in keyof T] : T[P] extends JsonType 
        ? (Prev["length"] extends Depth
            ? EditAction<T,P,Prev>
            : (EditAction<T,P,Prev> | EditActions<T[P],Depth,[...Prev,P]>)) 
        : EditAction<T,P,Prev>
}[keyof T]

即使有深度限制，如果深度大于9，则TypeScrip会向我发送错误，但我无法理解为什么？类型脚本最大递归次数似乎被限制为50次，因此是否有理由出现以下错误：

Type instantiation is excessively deep and possibly infinite.ts(2589)
(property) payload: EditActions<T, 50, []>

推荐答案

您可以使用与lib.es2019.array.d.ts随附的lib.es2019.array.d.ts类似的方法来限制递归深度。

type FlatArray<Arr, Depth extends number> = {
    "done": Arr,
    "recur": Arr extends ReadonlyArray<infer InnerArr>
        ? FlatArray<InnerArr, [-1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20][Depth]>
        : Arr
}[Depth extends -1 ? "done" : "recur"];

这篇关于打印脚本类型最大递归限制为9的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！