TypeScript中[from: number, to: number]命名元组类型含义是什么

你看到的是TypeScript 4.0正式引入的带标签元组类型（Labeled Tuple Types），你的推测完全正确：它本质就是固定包含两个number类型元素的元组，和type SomeType = [number, number]的底层类型结构、类型兼容性完全一致。元组里写的from、to是纯类型层面的语义标签，编译为JavaScript后会被完全擦除，没有任何运行时开销。

这些标签的作用完全服务于开发体验，不改变实际类型校验逻辑，核心价值包括：

• IDE做类型提示时，会直接展示每个位置元素的语义，不需要额外翻注释就能知道第一个元素代表起始值、第二个代表结束值，避免参数顺序传反
• 解构元组时，编辑器能基于标签给出更准确的语义补全
• 当元组作为函数剩余参数类型时，函数调用提示里会直接显示标签名作为参数名，不会出现无意义的arg0、arg1默认提示

标签不参与类型兼容性校验，只要两个元组的长度、对应位置的元素类型匹配，哪怕标签名完全不同，也可以互相赋值，不会触发类型错误。

type SomeType = [from: number, to: number];
// 合法赋值，标签差异不影响类型匹配
const rangeVal: [min: number, max: number] = [2, 20];
const validInstance: SomeType = rangeVal;

// 作为函数剩余参数时的提示效果示例
function getArraySlice(arr: unknown[], ...[from, to]: SomeType) {
  return arr.slice(from, to);
}
// 调用getArraySlice时，IDE会直接提示第二个参数名为from、第三个参数名为to，语义清晰

内容的提问来源于stack exchange，提问作者Dimanoid