打字稿：只允许在数组中出现一次值

Question

有没有一种简单的方法可以只允许一个值在数组中出现一次？

假设我已经定义了这样的类型：

  array: {
    value: boolean;
    label: string;
  }[];

我想确保在该数组中，只有一个值可以为真。如果一个值为真，则其他值必须为假。因此，例如，我想允许这样做：

const arr : array = [
    { value: false, label: '1' },
    { value: true, label: '2' },
    { value: false, label: '3' },
  ];

但我希望 typescript 失败，并说如果我有这样的数组，则只有一个值可以为真：

const arr2 : array = [
    { value: true, label: '1' },
    { value: true, label: '2' },
    { value: false, label: '3' },
  ];

这在打字稿中可行吗？

编辑：可以肯定的是，我只想通过类型来确保这一点，而不是其他逻辑

Answer 1

在类型级别（至少在 TypeScript 中）这样做是可能的，但在现实世界中并没有真正有用。你最好的选择是只使用内置的Set 来处理简单的值或使用深度相等的 Set 库（例如immutable-js），这将允许你按插入顺序迭代并强制所有项目都是唯一的。

---

为了给出一个可以使用类型检查器的答案：

可以使用类型化条件将类型返回为never，从而确保程序不会编译。但是，您需要在编译时知道这些值才能使用。

对于 TS 没有相等运算符的事实，我们可以使用一种解决方法，使用此处描述的技术：https://stackoverflow.com/a/53808212/7042389。然后我们可以使用它来构建一个唯一类型的数组，如果一个与另一个匹配，则其类型返回为never - 这将导致编译错误，因为不能为 never 分配任何值。

type IfNotEq<A, B, T> =
    (<T>() => T extends A ? 1 : 2) extends
    (<T>() => T extends B ? 1 : 2) ? never : T;

type UniqueArray2<A, B> = IfNotEq<A, B, [A, B]>;
type UniqueArray3<A, B, C> = IfNotEq<A, B, IfNotEq<B, C, IfNotEq<A, C, [A, B, C]>>>;

const xs1: UniqueArray2<"a", "b"> = ["a", "b"]; // works
const xs2: UniqueArray2<"a", "a"> = ["a", "a"]; // string is not assignable to never

const ys1: UniqueArray3<"a", "b", "c"> = ["a", "b", "c"];
const ys2: UniqueArray3<"a", "a", "b"> = ["a", "b", "c"]; // string is not assignable to never

Playground Link

Answer 2

我认为，唯一的方法是为每种可能的情况编写一份详尽的清单。您在列表中提到永远不会超过 10 - 如果您可以制定严格的规则，那么您可以执行以下操作：

 type Array1 = {
  value: boolean;
  label: string;
}[];

type ArrayItem<T extends boolean> = {
  value: T,
  label: string;
}

type Array2 = [
  ArrayItem<true>,
  ArrayItem<false>,
  ArrayItem<false>,
] | [
  ArrayItem<false>,
  ArrayItem<true>,
  ArrayItem<false>,
] | [
  ArrayItem<false>,
  ArrayItem<false>,
  ArrayItem<true>,
];

const x: Array1 = [
  { value: true, label: '' },
  { value: true, label: '' },
  { value: true, label: '' }
]

const y: Array2 = [
  { value: false, label: '' },
  { value: false, label: '' },
  { value: true, label: '' }
];

// only z has a type error
const z: Array2 = [
  { value: true, label: '' },
  { value: false, label: '' },
  { value: true, label: '' }
]

Playground Link

Answer 3

有没有一种简单的方法可以只允许一个值在 数组？

取决于您的要求。

这是我能想到的最简单/最易读的方法，但它只允许数组的第一个元素为真，其他所有元素都必须为假。

type normalObj = {
  value: false,
  label: string
}

type exceptionObj = {
  value: true,
  label: string
}

type normalObjWithOneException = [exceptionObj, ...normalObj[]];

const arr : normalObjWithOneException = [
    { value: true, label: '1' },
    { value: false, label: '2' },
    { value: false, label: '3' },
    { value: false, label: '4' },
    { value: false, label: '5' },
  ];

Playground Link

如果您希望提供与订单无关的类型，这可能是一个限制。但如果我们从反转元组顺序开始，那么答案是否，这是一种“简单的方法” 到目前为止，TypeScript 中不存在（在 JS 中，我们有很多选择：集合、错误、代理......）。

如果您关心与顺序无关的类型，这是一个已经讨论过很多的话题（关于反转元组）：

1. how to write an Invert type in typescript to invert the order of tuples
2. Unordered tuple type
3. Typescript: Unsorted tuple