TypeScript IsEqual类型函数：返回值、泛型G及替代实现疑问

先贴出原实现代码：

type IsEqual<T, U> =
    (<G>() => G extends T ? 1 : 2) extends
    (<G>() => G extends U ? 1 : 2)
        ? true
        : false;

1. 返回1和2的原因是什么？ #

1和2只是两个不同的字面量类型，核心作用是制造类型分支的差异，让TypeScript能通过函数类型的兼容性来判断T和U是否完全等价。

如果T和U完全相同，那么对于任意的G类型，G extends T和G extends U的结果完全一致，两个泛型函数的返回逻辑完全匹配，因此函数类型可以互相兼容（extends成立），最终返回true。

如果T和U存在差异，必然能找到某个G类型，使得G extends T和G extends U的结果不同，此时两个函数的返回类型会出现分支差异（一个返回1，另一个返回2），导致函数类型无法兼容，最终返回false。换成'A'和'B'这类不同类型也能达到同样效果，1和2只是简单易读的选择。

2. 类型变量G的作用是什么？ #

G不是单纯的模板，它是实现全量等价检查的关键，利用了泛型函数的逆变特性：

普通的双向子类型检查（T extends U ? U extends T ? true : false : false）只能判断单向子类型关系，无法区分「T是U的子类型但U不是T的子类型」的场景（比如string和string | number）。而引入泛型G后，TypeScript在比较两个函数类型时，要求对所有可能的G类型，函数的返回逻辑都必须完全一致——这就强制T和U必须是完全等价的类型，而非单向的子类型关系。

举个例子：当T是string，U是string | number时，存在G为number，此时G extends T返回false（函数返回2），G extends U返回true（函数返回1），两个函数的类型因此不兼容，正确返回false，而普通双向检查会错误返回true。

3. 其他实现方式，以及该方法是否为最优/最新？ #

其他实现方式 #

• 基础双向子类型检查：

  type IsEqualBasic<T, U> = T extends U ? U extends T ? true : false : false;
  

  写法最简单，但缺陷明显：无法处理联合类型、never、函数逆变参数等边界场景，比如IsEqualBasic<string, string | number>会错误返回true。

• 元组包裹的双向检查：

  type IsEqualTuple<T, U> = [T] extends [U] ? [U] extends [T] ? true : false : false;
  

  元组可以避免TypeScript的分布式条件类型拆分联合类型，能正确处理string | number和number | string的等价性，但依然无法处理函数逆变参数、any与其他类型的比较等场景。

该方法是否为最优/最新？ #

这个泛型函数的实现是TypeScript社区中经典的全等价类型检查方案，能处理绝大多数边界情况（包括never、any、联合类型、函数逆变参数等），至今依然被广泛使用。

在TypeScript 5.x之后，虽然有语法更新，但没有出现能完全替代该方案的更优实现——它的核心逻辑利用了TypeScript泛型函数的类型兼容性规则，属于语言层面的特性，稳定性和可靠性都很高。

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