如何确保数组包含WithLegs联合类型的所有可能值？

假设我们有第三方库定义的两个不可修改的联合类型，自己将它们合并为WithLegs类型。现在需要创建一个包含WithLegs所有可能值的数组，并且希望数组缺值时TypeScript自动报错，以下是可行的解决方案：

方法1：利用类型约束结合satisfies（TypeScript 4.9+） #

通过自定义辅助类型，强制数组元素的联合类型与WithLegs完全匹配，再用satisfies关键字做约束：

// 第三方库定义，无法修改
type WithFourLegs = 'Cat' | 'Cow' | 'Dog';
type WithTwoLegs = 'Human' | 'Ostrich';

// 可控的合并类型
type WithLegs = WithFourLegs | WithTwoLegs;

// 辅助类型：检查数组元素的联合是否完全覆盖目标类型
type CompleteArray<T> = T[] extends Array<infer U> 
  ? [T] extends [U] 
    ? T[] 
    : never 
  : never;

// 正确示例：包含所有元素，无报错
const allWithLegs = ['Human', 'Cow', 'Cat', 'Dog', 'Ostrich'] satisfies CompleteArray<WithLegs>;

// 错误示例：缺少'Dog'和'Ostrich'，TypeScript会直接报错
// const allWithLegs = ['Human', 'Cow', 'Cat'] satisfies CompleteArray<WithLegs>;

方法2：用泛型辅助函数做强制检查 #

创建一个泛型函数，在编译阶段就校验传入的数组是否包含所有WithLegs的成员：

// 第三方库定义，无法修改
type WithFourLegs = 'Cat' | 'Cow' | 'Dog';
type WithTwoLegs = 'Human' | 'Ostrich';

// 可控的合并类型
type WithLegs = WithFourLegs | WithTwoLegs;

// 辅助函数：约束传入的数组必须包含WithLegs的所有成员
function createLeggedCreatures<T extends WithLegs>(
  ...items: T[]
): [WithLegs] extends [T] ? T[] : never {
  return items;
}

// 正确示例：传入所有元素，正常通过
const allWithLegs = createLeggedCreatures('Human', 'Cow', 'Cat', 'Dog', 'Ostrich');

// 错误示例：缺少元素时，TypeScript会报错
// const allWithLegs = createLeggedCreatures('Human', 'Cow', 'Cat');

原理说明 #

两种方法的核心逻辑一致：让TypeScript校验数组元素的联合类型是否与WithLegs完全相等，而不是仅仅是它的子集。当数组缺少某个成员时，元素的联合类型会是WithLegs的子集，此时类型约束会触发编译报错，以此确保数组包含所有可能的取值。

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