如何基于动态变更的Pets联合类型初始化对应数组？

要让数组始终同步包含动态变更的联合类型所有取值，核心是利用TypeScript的泛型约束与编译时校验——因为类型仅存在于编译阶段，无法直接从类型生成运行时数组，但可以通过代码约束确保数组与类型保持一致。

方法一：带完整性校验的工具函数 #

通过自定义工具函数和类型，强制数组必须覆盖联合类型的所有成员，少传或多传都会触发编译错误：

// 动态变更的联合类型
type Pets = 'dog' | 'cat';

// 工具类型：标记数组为"完整覆盖联合类型"
type ExhaustiveArray<T> = T[] & { __exhaustive: true };

/**
 * 创建包含联合类型所有成员的数组
 * @param items 必须传入联合类型的每一个取值，不能重复、不能遗漏
 */
function createExhaustiveArray<T extends string | number | boolean>(...items: T[]): ExhaustiveArray<T> {
  // 运行时可选：检查重复项
  if (new Set(items).size !== items.length) {
    throw new Error('数组包含重复的联合类型成员');
  }
  return items as ExhaustiveArray<T>;
}

// 编译时校验：如果Pets新增了成员（比如'bird'），这里不传会直接报错
const PETS = createExhaustiveArray<'dog' | 'cat'>('dog', 'cat');

// 验证：PETS的类型完全匹配Array<Pets>
type VerifyPETS = typeof PETS extends Pets[] ? true : false; // 结果为true

方法二：简洁的泛型断言写法 #

如果不需要额外的运行时检查，直接用泛型约束+const断言即可，既能保证类型精确，又能触发编译时校验：

type Pets = 'dog' | 'cat';

// 定义一个泛型函数，约束参数必须是Pets的成员
const buildPetsArray = <const T extends Pets[]>(...items: T) => items;

// 调用时必须传全所有成员，否则TS编译报错
const PETS = buildPetsArray('dog', 'cat'); // 类型为readonly ['dog', 'cat']

// 如果需要可变数组，去掉const断言即可
const buildMutablePetsArray = <T extends Pets[]>(...items: T) => items;
const PETSMutable = buildMutablePetsArray('dog', 'cat'); // 类型为Pets[]

关键说明 #

• TypeScript的类型仅在编译阶段存在，无法直接从类型生成运行时数组，所以必须手动维护数组内容，但通过上述方法可以让TS在编译阶段强制数组与类型同步，避免遗漏或多余成员。
• 当Pets联合类型变更时（比如新增'bird'），如果数组没有同步更新，TypeScript会立即抛出编译错误，提醒你补充对应的成员。

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