TypeScript如何定义含可选字面量的只读元组？Partial方案有何弊端

现有实现的弊端 #

你目前用Partial包裹固定长度元组的写法存在两个核心问题：

• 长度被强制限制为最多等于你定义的元组长度，完全无法满足「长度可以任意」的需求，如果你需要存储4个及以上元素会直接触发类型错误
• 元组是按位置匹配类型的，你定义的元组第一个位置只能是'a'/undefined、第二个只能是'b'/undefined、第三个只能是'c'/undefined，如果传入打乱顺序的元素比如['b', 'a']会直接报错，灵活度极低

更优解决方案 #

你的需求本质是要一个元素只能为指定字面量、长度任意的只读数组，直接用字面量联合类型作为数组成员类型即可：

// 允许的字面量类型，新增时只需要往联合里加即可，100个也只需要写一次
type AllowedLiteral = 'a' | 'b' | 'c'

export interface FormAttributesConfig {
    list: readonly AllowedLiteral[]
}

该写法完全满足你的所有要求：

• 元素仅能为指定的字面量类型，传入其他字符串会直接触发类型校验错误
• 长度不受限制，空数组、任意长度的数组都可以正常匹配
• 元素顺序、是否重复都不受限制，适配所有使用场景

可选扩展：限制元素不重复

如果你额外要求每个字面量最多只能出现一次，可以用递归类型实现：

type AllowedLiteral = 'a' | 'b' | 'c'
type NoRepeatLiteralArray<T extends string, U extends T[] = []> = 
  U['length'] extends 0 ? [] | NoRepeatLiteralArray<T, [T]> :
  U[number] extends T ? U :
  U | NoRepeatLiteralArray<T, [...U, Exclude<T, U[number]>]>

export interface FormAttributesConfig {
    list: Readonly<NoRepeatLiteralArray<AllowedLiteral>>
}

这种写法下，['c', 'a']、['a', 'b', 'c']这类无重复的数组可以正常通过校验，['a', 'a']、['a', 'b', 'a']这类存在重复元素的数组会触发类型错误。

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