如何通过TypeScript类型约束数组中仅存在一个value为true的元素？

当然可以做到！我们完全可以只通过TypeScript的类型系统来约束数组中恰好只有一个元素的value为true，其余元素的value必须为false，不需要额外的运行时逻辑。

核心思路 #

我们可以利用TypeScript的递归条件类型和泛型状态跟踪来实现这个约束：通过递归遍历数组的每个元素，用一个泛型参数标记是否已经遇到过value: true的元素，一旦检测到第二个true就返回never类型（触发TS报错），同时确保遍历结束后至少有一个true（可选调整）。

完整类型实现 #

// 基础元素类型定义
type Item = { value: boolean; label: string };

// 辅助递归类型：遍历数组，跟踪是否已存在true元素
type EnsureSingleTrue<T extends Item[], HasTrue extends boolean = false> = 
  // 拆分数组为第一个元素和剩余元素
  T extends [infer First extends Item, ...infer Rest extends Item[]]
    ? First['value'] extends true
      ? // 如果当前元素是true，且之前已经出现过true → 冲突，返回never
        HasTrue extends true
          ? never
          : // 标记已出现true，继续遍历剩余元素
            EnsureSingleTrue<Rest, true>
      : // 当前元素是false，继续遍历，保持HasTrue状态
        EnsureSingleTrue<Rest, HasTrue>
    : // 遍历结束后，检查是否至少有一个true（可根据需求调整）
      HasTrue extends true
        ? T
        : never;

// 最终的数组类型：约束恰好有一个value为true的元素
type SingleTrueArray = Item[] & EnsureSingleTrue<Item[]>;

示例验证 #

// ✅ 合法：恰好包含一个true元素
const validArr: SingleTrueArray = [
  { value: false, label: '选项1' },
  { value: true, label: '选项2' },
  { value: false, label: '选项3' },
];

// ❌ 报错：包含多个true元素
const invalidMultiTrue: SingleTrueArray = [
  { value: true, label: '选项1' },
  { value: true, label: '选项2' },
  { value: false, label: '选项3' },
];

// ❌ 报错：没有任何true元素
const invalidNoTrue: SingleTrueArray = [
  { value: false, label: '选项1' },
  { value: false, label: '选项2' },
];

灵活调整 #

如果你需要允许空数组或者全false的数组，只需要修改EnsureSingleTrue的最终返回逻辑：

type EnsureSingleTrue<T extends Item[], HasTrue extends boolean = false> = 
  T extends [infer First extends Item, ...infer Rest extends Item[]]
    ? First['value'] extends true
      ? HasTrue extends true
        ? never
        : EnsureSingleTrue<Rest, true>
      : EnsureSingleTrue<Rest, HasTrue>
    : T; // 遍历结束后直接返回原类型，允许空数组/全false数组

这样调整后，空数组和全false数组会被允许，但多个true的情况依然会触发报错。

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