Typescript 确保对象列表在编译时在类型脚本中具有唯一键

我们的目标是编写ensureUniqueKeys()，这样它就可以接受不同数量的对象参数，这样就不会知道任何参数的键存在于任何其他参数中.

我会采取的方法是制作一个mapped type over the array of inputs T，在类似数字的键I上迭代.

对于每个元素T[I]，我们可以构造索引I处的T个元素except的每个元素的union个键.我们可以再次映射到T上，这一次是在类似数字的键J上迭代.我们要找的 keys 是{ [J in keyof T]: J extends I ? never : keyof T[J] }[number].

如果T[I]在该组关键字中有任何关键字K，则它是重复的关键字，并将属性设置为never.否则，我们将把它保留为T[I][K].

整件事看起来像是:

declare function ensureUniqueKeys<T extends object[] & {
  [I in keyof T]: {
    [K in keyof T[I]]: K extends {
      [J in keyof T]: J extends I ? never : keyof T[J]
    }[number] ? never : T[I][K]
  }
}>(...args: T): void;

让我们来测试一下:

const obj1 = { a: 1, b: 2 };
const obj2 = { c: 3, d: 4 };
const obj3 = { e: 5, f: 6 };
const obj4 = { a: 7, g: 8 }; // 'a' is duplicated
ensureUniqueKeys(obj1, obj2, obj3); // okay
ensureUniqueKeys(obj1, obj2, obj3, obj4); // error
//               ~~~~~~~~~~~~~~~~~~~~~~
// The types of 'a' are incompatible between these types.

看上go 不错.

为了清楚起见，让我们稍微浏览一下类型.

在第一个调用中，T被推断为[{a: number, b: number}, {c: number, d: number}, {e: number, f: number}].I迭代类数字键"0"、"1"和"2".当I是"0"时，{ [J in keyof T]: J extends I ? never : keyof T[J] }是[never, "c" | "d", "e" | "f"]；第一个元素是never，因为J extends I在那里为真.Indexing into乘以number得"c" | "d" | "e" | "f".由于T[0]在该集合中没有密钥，因此{ [K in keyof T[0]]: K extends "c" | "d" | "e" | "f" ? never : T[0][K] }仅为{a: number, b: number}.这意味着T的第一个元素是可以接受的，因为它可以赋值给自己.你可以证明另外两个元素也是可以接受的.

在第二个调用中，T被推断为[{a: number, b: number}, {c: number, d: number}, {e: number, f: number}, {a: number, g: number}].现在，当I是"0"时，类型{ [J in keyof T]: J extends I ? never : keyof T[J] }是[never, "c" | "d", "e" | "f", "a" | "g"]，用number编制索引得到"c" | "d" | "e" | "f" | "a" | "g"].由于T[0]在该集合中具有密钥，因此{ [K in keyof T[0]]: K extends "c" | "d" | "e" | "f" | "a" | "g" ? never : T[0][K] }相当于{a: never, b: number}.这意味着T的第一个元素是not可接受的，因为{a: number, b: number}是not可赋值给{a: never, b: number}.我们收到一条错误消息，说a键有问题.

Playground link to code个