高度后省略 - TypeScript

在 TypeScript 中，我们可以使用高度后省略语法 (also known as "highly-compressed tuple types") 来定义一些非常简洁但非常强大的类型。这个语法利用了元组类型的性质，让我们可以定义不定数量的元素，而不必显式地把每一个元素的类型都写出来。

下面是一个例子：

type MyTuple = [number, string, boolean, ...number[]];

这个类型表示一个包含 3 个常规元素和任意数量的数字类型元素的元组。我们可以这样使用它：

const t1: MyTuple = [42, "foo", true];
const t2: MyTuple = [1, "bar", false, 2, 3, 4];

注意，我们甚至可以省略末尾的逗号，因为 TypeScript 可以根据元素数量自动推导出元组类型。比如：

const t3: MyTuple = [42, "foo", true, 0, 1, 2, 3];

这个示例中，我们显式地指定了 7 个元素，但 TypeScript 依然可以正确地推导出类型。

高度后省略语法还可以用于函数类型的定义。比如：

type MyFunc = (...args: [any, ...any[]]) => any;

这个类型表示任意数量的参数类型和返回值类型都是任意类型的函数类型。我们可以这样使用它：

const f1: MyFunc = (x: number, y: string) => true;
const f2: MyFunc = (x: boolean, ...args: string[]) => "foo";

需要注意的是，使用高度后省略语法可能会让代码变得难以阅读和理解。因为类型信息被简化了，所以我们需要根据上下文来推断具体的类型。此外，这个语法在一些比较老的编译器中可能不被支持，所以在实际项目中使用时需要慎重考虑。