TypeScript：无需将字面量联合转为元组实现全值数组校验

我需要实现以下目标：

• 用新的字面量联合类型替换指定类型的某个字段值
• 当该字面量联合类型新增成员时，TypeScript编译器能像Record类型一样提示存在值缺失
• 无需修改数组内对象的实际键名

我原本的思路是先将联合类型转换为元组，再展开元组并用字面量联合替换对应字段值。这种方式确实能触发新增成员时的错误提示，但我了解到将联合类型转为元组并非可靠方案，想询问是否有其他更合理的实现方式？

以下是我原来的代码：

// 此字面量联合用于在新增类型时触发错误提示
type TaskKind = 'Foo' | 'Bar' | 'Baz';

type Option = {
  value: string | number | boolean | null | undefined;
  label: string;
};

type ReplaceValue<T, K extends keyof T, U> = Omit<T, K> & Record<K, U>;

type UnionToIntersection<U> = (
  U extends unknown ? (arg: U) => 0 : never
) extends (arg: infer I) => 0
  ? I
  : never;

type LastInUnion<U> = UnionToIntersection<
  U extends unknown ? (x: U) => 0 : never
> extends (x: infer L) => 0
  ? L
  : never;

type UnionToTuple<U, Last = LastInUnion<U>> = [U] extends [never]
  ? []
  : [...UnionToTuple<Exclude<U, Last>>, Last];

type SpreadTuple<T extends any[]> = T extends [infer First, ...infer Last]
  ? Last extends any[]
    ? [ReplaceValue<Option, 'value', First>, ...SpreadTuple<Last>]
    : [ReplaceValue<Option, 'value', First>]
  : [];

const options: SpreadTuple<UnionToTuple<TaskKind>> = [
  { label: 'Foo', value: 'Foo' },
  {
    label: 'Bar',
    value: 'Bar',
  },
  {
    label: 'Baz',
    value: 'Baz',
  },
];

可以通过类型约束+辅助函数的方式实现需求，无需依赖联合转元组的不可靠逻辑：

方案1：映射类型+数组约束 #

type TaskKind = 'Foo' | 'Bar' | 'Baz';

// 带泛型的Option类型，value字段绑定传入的字面量类型
type Option<T extends string> = {
  value: T;
  label: string;
};

// 生成包含所有TaskKind成员的数组类型，强制覆盖所有联合成员
type OptionsArray<T extends string> = readonly Option<T>[] & {
  [K in T]: Extract<OptionsArray<T>[number], Option<K>>;
};

// 辅助函数推导类型并强制执行约束
const createOptions = <T extends string>(options: OptionsArray<T>): OptionsArray<T> => options;

// 使用示例
const options = createOptions<TaskKind>([
  { label: 'Foo', value: 'Foo' },
  { label: 'Bar', value: 'Bar' },
  { label: 'Baz', value: 'Baz' },
]);

方案2：Exclude检查成员覆盖 #

type TaskKind = 'Foo' | 'Bar' | 'Baz';

type Option = {
  value: string;
  label: string;
};

// 类型工具：如果数组未覆盖所有T成员，返回never触发错误
type EnsureAllMembers<T extends string, U extends Option[]> = 
  Exclude<T, U[number]['value']> extends never ? U : never;

// 辅助函数触发类型检查
const defineOptions = <T extends string>(options: EnsureAllMembers<T, typeof options>) => options;

// 使用示例
const options = defineOptions<TaskKind>([
  { label: 'Foo', value: 'Foo' },
  { label: 'Bar', value: 'Bar' },
  { label: 'Baz', value: 'Baz' },
]);

效果说明 #

当TaskKind新增成员（比如'Qux'）时，编译器会直接报错，提示数组缺少对应value为'Qux'的元素，完全符合「缺失提示」的需求，同时不需要修改数组对象的键名。

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