如何获得元组元组的扁平元组类型？

Question

假设我有一个元组的元组：

type Example = [[3,5,7], [4,9], [0,1,10,9]];

我想创建一个实用程序类型 Flatten<T> 这样 Flatten<Example> 给出：

type FlatExample = Flatten<Example>;
// type FlatExample = [3,5,7,4,9,0,1,10,9];

对于我的用例，您可以假设元组仅嵌套一层。元组可以有任何大小。

我该怎么做？

Answer 1

为此，您需要递归条件类型。这将在 4.1 中得到完全支持：

type Example = [[3,5,7], [4,9], [0,1,10,9]];
type Flatten<T extends any[]> = 
    T extends [infer U, ...infer R] ? U extends any[] ? [...U, ... Flatten<R>]: []: []
type FlatExample = Flatten<Example>;

Playground Link

编辑

更简单的版本，由 jcalz 提供：

type Example = [[3,5,7], [4,9], [0,1,10,9]];
type Flatten<T extends any[]> = 
    T extends [any, ...infer R] ? [...T[0], ... Flatten<R>]:  []
type FlatExample = Flatten<Example>;

Playground Link

/编辑

即使在今天，您也可以破解一个版本（需要额外的间接寻址来欺骗编译器允许递归条件类型，从概念上讲，这等同于上面更简单的版本）：

type Example = [[3, 5, 7], [4, 9], [0, 1, 10, 9]];
type Flatten<T extends any[]> = T extends [infer U, ...infer R] ? {
    1: U extends any[] ? [...U, ...Flatten<R>] : [],
    2: []
}[U extends any[] ? 1 : 2] : [];

type FlatExample = Flatten<Example>;

Playground Link

只是为了好玩，4.1，广义扁平化版本。

type Example = [[3,5,7], [4,9, [10, 12, [10, 12]]], [0,1,10,9, [10, 12]]];
type Flatten<T extends any[]> = 
    T extends [infer U, ...infer R] ? 
        U extends any[] ? 
        [...Flatten<U>, ... Flatten<R>]: [U, ... Flatten<R>]: []
type FlatExample = Flatten<Example>;

Playground Link

注意：虽然递归类型在 4.1 中得到了更多支持，但您仍然可以运行进入编译器硬编码限制，例如类型实例化深度和总类型实例 (因为这样的递归类型会生成很多类型实例化）。所以请谨慎使用。

如何获得元组元组的扁平元组类型？

How to get a flattened tuple type of a tuple of tuples?

tuples

typescript

recursive-type