TypeScript中无需泛型，如何限制数组元素的特定顺序类型

其实不用泛型的话，TypeScript里的元组类型就是专门解决这个问题的——它天生就是为固定长度、固定位置类型的“有序数组”设计的，完全符合你要的“索引0是string，索引1是number”这类需求。

直接来看具体用法：

基础用法：固定顺序的元组 #

如果你需要数组严格遵循「索引0为string，索引1为number」的顺序，直接把类型声明为[string, number]就可以了：

// 正确：完全符合顺序和类型要求
const arr: [string, number] = ['hello world', 123];

// 错误：顺序颠倒，TypeScript会直接抛出类型不匹配的错误
// const arr: [string, number] = [123, 'hello world'];

// 错误：索引0类型不符合要求，同样会报错
// const arr: [string, number] = [true, 123];

元组和普通数组（比如Array<any>）的核心区别在于：普通数组的所有元素类型是统一的（或无约束的任意类型），而元组的每个索引位置都有独立的类型约束，完美匹配你要的“特定顺序”要求。

扩展用法：可选元素与剩余元素 #

如果你的数组需要支持可选位置或者后面跟多个同类型元素，元组也能轻松搞定：

• 可选元素：在类型后面加?表示该位置的元素可选（可有可无）

  // 索引2的boolean元素可选，既可以只传前两个元素，也可以三个都传
  const arr: [string, number, boolean?] = ['foo', 42];
  const arrWithOptional: [string, number, boolean?] = ['bar', 88, true];
  

• 剩余元素：用...类型[]表示该位置之后可以跟任意多个指定类型的元素

  // 前两个元素固定类型，后面可以追加任意数量的string元素
  const arr: [string, number, ...string[]] = ['hello', 100, 'a', 'b', 'c'];
  

为什么这不算用泛型？ #

可能你会疑惑元组的底层是否依赖泛型？其实TS的元组语法是官方提供的原生语法糖，我们不需要自己定义任何泛型（比如Tuple<T1, T2>这类自定义泛型），直接用[类型1, 类型2, ...]的字面量语法就能实现需求，完全符合你“不使用泛型”的要求。

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