编辑:这个功能是作为 TypeScript 4.1 的一部分提供的，就像提到的 @jcalz 一样。
我想做一个通用类型，它接受一个元组并遍历它。我的第一种方法是递归，但我得到了 Type alias 'YourOperator' circularly references itself. .这是我尝试的最简单示例
type VariadicAnd<T extends any[]> = T extends [infer Head, ...infer Tail] ? Head & VariadicAnd<Tail> : unknown
Head通过将它传递到另一个泛型类型中。例如:type SimpleTransform<T> = { wrapped: T }
type VariadicAndWithTransform<T extends any[]> = T extends [infer Head, ...infer Tail]
? SimpleTransform<Head> & VariadicAndWithTransform<Tail>
: unknown;
最佳答案
如上所述，在引入对 recursive conditional types 的支持后，您的版本在 TypeScript 4.1 及更高版本中按原样运行。 .
type VariadicAndWithTransform<T extends any[]> = T extends [infer F, ...infer R]
? SimpleTransform<F> & VariadicAndWithTransform<R>
: unknown; // no error
type Works = VariadicAndWithTransform<[{ a: 1 }, { b: 2 }, { c: 3 }]>;
/* type Works = SimpleTransform<{
a: 1;
}> & SimpleTransform<{
b: 2;
}> & SimpleTransform<{
c: 3;
}> */
但是对于此处所需的类型函数，您不需要递归类型。这实际上是一件好事，因为递归类型对编译器的负担更大，并且递归限制相当浅。如果你使用以上版本的
VariadicAndWithTransform<T>哪里T有几十个元素，即使在 TS4.1+ 中，您也会看到错误:type Three = [{}, {}, {}];
type Nine = [...Three, ...Three, ...Three];
type TwentySeven = [...Nine, ...Nine, ...Nine]
type UhOh = VariadicAndWithTransform<TwentySeven>; // error!
// -------> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
// Type instantiation is excessively deep and possibly infinite.
type VariadicAndWithTransform<T extends any[]> = {
[K in keyof T]: (v: SimpleTransform<T[K]>) => void
}[number] extends ((v: infer I) => void) ? I : never
UnionToIntersection<T>从答案中输入 this question .您可以验证它在上面的示例中的行为是否相同:
type Works = VariadicAndWithTransform<[{ a: 1 }, { b: 2 }, { c: 3 }]>;
/* type Works = SimpleTransform<{
a: 1;
}> & SimpleTransform<{
b: 2;
}> & SimpleTransform<{
c: 3;
}> */
type StillWorks = VariadicAndWithTransform<TwentySeven>;
/* type StillWorks = { wrapped: {}; } */
关于javascript - 在 typescript 中遍历可变元组，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/67409468/