TypeScript 如何正确定义仅允许'john'、'james'值的数组

你目前的写法存在两个核心问题：

• ['john' | 'james'] 是 TypeScript 中固定长度为 1 的元组类型，规则是「必须且只能有 1 个元素，元素值只能是 'john' 或 'james'」，因此自然会拒绝长度为 0、2 及以上的数组。
• 你定义的 interface User 是包含 name 属性的对象类型，直接把数组赋值给 User 类型本身就不匹配，这里属于表述/代码笔误，实际需求应该是「User 的 name 字段是符合要求的数组」，或者直接定义数组本身的类型。

根据你的需求（允许 0/1/2 个元素，每个元素只能是 'john' / 'james'），需要使用全可选元组实现，分两种场景：

场景1：User 为对象，name 字段为目标数组 #

// 定义允许0/1/2个元素的元组类型
type NameTuple = ['john' | 'james'?, 'john' | 'james'?]

interface User {
  name: NameTuple
}

所有合法写法均可正常运行：

// 0个元素
const user1: User = { name: [] }
// 1个元素
const user2: User = { name: ['john'] }
const user3: User = { name: ['james'] }
// 2个元素
const user4: User = { name: ['john', 'james'] }
const user5: User = { name: ['james', 'john'] }

非法写法会触发类型校验：

• 超过2个元素会报错：{ name: ['john', 'james', 'bob'] }
• 元素不是指定字面量会报错：{ name: ['bob'] }

场景2：不需要套对象，直接定义数组本身的类型 #

如果不需要对象包裹，直接定义数组类型即可，无需使用 interface：

type User = ['john' | 'james'?, 'john' | 'james'?]

此时你原有的测试代码可以正常运行：

const user: User = ['john', 'james'] // 正常通过
const user: User = ['john'] // 正常通过
const user: User = [] // 正常通过

如果不需要限制数组最大长度，仅要求元素只能是指定字面量，可直接使用普通数组类型 ('john' | 'james')[]，该写法支持任意长度的数组。

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