TypeScript 实践中的 Equals 类型的实现原理是什么？

原文链接

type Equals<X, Y> =
  (<T>(arg: T extends X ? 1 : 2) => any) extends
  (<T>(arg: T extends Y ? 1 : 2) => any) ? true : false;
1
2
3

该代码定义了一个条件类型 Equals，它接受两个类型参数 X 和 Y。它会通过对两个类型进行判断，返回一个布尔值来表示这两个类型是否相等。

分解这个类型定义的步骤：

((arg: T extends X ? 1 : 2) => any) 是一个函数类型，其中 T 是一个泛型参数。它接受一个参数 arg，并根据 T 是否能够赋值给 X 进行条件判断。如果满足条件，则返回 1，否则返回 2。这个函数类型相当于一个标记函数，用于在类型级别上判断某个类型是否能够赋值给 X。
((arg: T extends Y ? 1 : 2) => any) 是另一个类似的函数类型，用于在类型级别上判断某个类型是否能够赋值给 Y。

使用 extends 关键字将这两个函数类型进行比较：

(<T>(arg: T extends X ? 1 : 2) => any) extends
(<T>(arg: T extends Y ? 1 : 2) => any)
1
2

如果第一个函数类型能够赋值给第二个函数类型，也就是说，对于任意的 T，满足 T extends X 的条件可以推导出 T extends Y 条件，则整个表达式返回 true，否则返回 false。

最后，根据条件表达式的结果，类型 Equals 将会被定义为 true 或 false。

使用此条件类型，我们可以比较两个类型是否相等。例如：

type A = { x: number };
type B = { x: number };

type Result = Equals<A, B>;
// Result 的类型将会是 true，因为类型 A 和 B 是相等的
1
2
3
4
5