typescript 4.1中rest参数的数组和条件递归类型

TypeScript 4.1中引入了rest参数的数组和条件递归类型。

1. Rest参数的数组：在函数定义时，可以使用rest参数语法(...)来表示接收一个不定数量的参数，并将它们作为数组进行处理。例如：

function sum(...numbers: number[]) {
  return numbers.reduce((total, num) => total + num, 0);
}

console.log(sum(1, 2, 3)); // 输出 6
console.log(sum(4, 5, 6, 7)); // 输出 22

在上面的例子中，sum函数使用rest参数语法接收任意数量的参数，并将它们存储在numbers数组中。函数内部使用数组的reduce方法对参数进行求和。

1. 条件递归类型：TypeScript 4.1引入了新的条件类型语法来处理递归类型。条件递归类型可以根据条件的真假来决定返回的类型是什么。例如：

type Flatten<T> = T extends Array<infer U> ? Flatten<U> : T;

type Numbers = [1, [2, [3, [4, 5]]]];
type Flattened = Flatten<Numbers>; // 类型为 [1, 2, 3, 4, 5]

在上面的例子中，我们定义了一个Flatten类型，它接受一个类型T作为参数。如果T是一个数组类型（使用extends Array<infer U>进行判断），则递归地调用Flatten类型，并将数组中的元素类型作为参数。如果T不是数组类型，则返回T本身。

在这个例子中，我们定义了一个Numbers类型，它是一个嵌套数组类型。使用Flatten类型将Numbers类型展开为单层的数组类型[1, 2, 3, 4, 5]。

这样的条件递归类型可以在很多场景下使用，比如处理嵌套的对象结构或者数组结构。

关于 TypeScript 4.1中的rest参数的数组和条件递归类型的详细信息，可以参考腾讯云官方文档中的相关章节：

• TypeScript 4.1官方文档：https://www.typescriptlang.org/docs/handbook/2/
• TypeScript 4.1 Release Notes：https://www.typescriptlang.org/docs/handbook/release-notes/typescript-4-1.html