TypeScript中如何区分固定长度元组与数组类型实现泛型约束

需求说明 #

泛型函数doSomething需要满足：

• 类型参数仅接受任意长度、支持混合元素类型的固定元组
• 禁止传入普通可变长度数组
• 无需预定义所有可能的元组类型，兼容所有合法的固定元组场景

预期校验效果：

// 允许传入，正常编译
doSomething<[number, string, boolean]>();
// 禁止传入，抛出编译错误
doSomething<number[]>();

原有实现的缺陷 #

之前尝试通过把length属性约束为指定数字字面量的方式限定元组，比如仅允许长度为2的元组：

type LengthOf<N extends number> = {
  length: N;
}
function doSomething<T extends LengthOf<2>>() {}

doSomething<[any, any]>(); // 通过校验
doSomething<[any]>(); // 报错

这种方案的问题是：

• 只能硬编码固定元组的长度，无法兼容任意长度的元组
• 如果把长度限制放开为宽泛的number，普通可变数组的length属性恰好是number类型，会被误判为合法类型，无法和固定元组做区分

具体实现方案 #

判定逻辑 #

利用TypeScript的类型系统特性：

• 固定元组的length是具体的数字字面量类型，此时number extends 元组的length类型的判定结果为false
• 普通可变数组的length是宽泛的number类型，此时number extends 数组的length类型的判定结果为true

通过这个差异，就能精准过滤出所有固定元组，排除普通可变数组。

代码实现 #

首先定义固定元组的判定类型：

type FixedTuple<T> = 
  // 兼容普通元组、只读元组场景，首先要求是数组/元组结构
  T extends readonly unknown[]
  // 如果是普通可变数组（length为宽泛number），返回never触发约束失败
  ? number extends T['length']
    ? never
    : T
  : never;

声明带约束的泛型函数：

function doSomething<T extends FixedTuple<T>>() {}

效果验证 #

• 可正常通过编译的合法场景：
  • 任意长度的混合类型元组：doSomething<[number, string, boolean]>();
  • 单元素元组：doSomething<[string]>();
  • 空元组：doSomething<[]>();
  • 只读固定元组：doSomething<readonly [number, () => void]>();
• 会触发编译错误的非法场景：
  • 普通可变数组：doSomething<number[]>();
  • 任意类型的普通数组：doSomething<any[]>();
  • 非数组类型：doSomething<object>();

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