TypeScript：如何保留列表类型同时定义其值的联合类型？

核心问题在于：如果直接给数组指定string[]类型，TypeScript会自动拓宽类型，丢失元素的字面量信息，导致无法推导具体的联合类型。以下两种方法可以兼顾“保留联合类型推导”和“数组可修改”的需求：

方法一：先定义联合类型，再约束数组 #

先手动定义需要的联合类型，再将数组指定为该联合类型的数组。这种方式清晰直接，且数组保持可写性：

// 定义目标联合类型
type AllowedValues = 'a' | 'b' | 'c';
// 数组类型为联合类型的数组，兼容string[]且可修改
const list: AllowedValues[] = ['a', 'b', 'c'];

// 验证：可合法修改数组
list.push('a'); // 正常通过
list.push('d'); // TypeScript报错，符合预期

// 可将数组赋值给string[]类型变量（因为AllowedValues是string的子类型）
const strList: string[] = list;

方法二：用工具函数保留字面量类型且保持数组可变 #

如果不想手动写联合类型，想从数组字面量自动推导，可以借助工具函数让TypeScript保留元素的字面量类型，同时避免数组变成只读：

// 工具函数：接收泛型数组并返回同类型的可变数组
function createMutableList<T extends string>(items: T[]): T[] {
  return items;
}

// 从字面量推导元素类型，数组为可变的('a'|'b'|'c')[]
const list = createMutableList(['a', 'b', 'c']);
// 自动推导联合类型
type AllowedValues = typeof list[number]; // 'a' | 'b' | 'c'

// 验证：数组可修改
list.push('b'); // 正常通过
list.push('x'); // 报错，符合预期

// 同样兼容string[]类型
const strList: string[] = list;

为什么直接指定string[]不行？ #

当你写const list: string[] = ['a','b','c']时，TypeScript会将数组的类型拓宽为宽泛的string[]，丢失了'a'/'b'/'c'这些具体字面量的类型信息，因此typeof list[number]只能得到string，而非目标联合类型。

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