TypeScript泛型类型困惑：为何继承同一联合类型的L与R被判定为无类型重叠？

你这里的核心误区在于，误以为两个都继承自同一联合类型的独立泛型参数，必然存在类型交集，但TypeScript对泛型函数的类型检查是基于泛型参数的独立约束，而非它们的潜在取值重叠可能性。

具体原因拆解： #

• 你的Proc类型定义了两个独立的泛型参数L和R，它们各自被约束为AUnion的子类型，但彼此之间没有任何关联。也就是说：
  • L可以是'a'，R可以是'b'（完全不相交的子类型）
  • L可以是'a'|'b'，R可以是'a'
  • 当然也包括你测试的L和R都是'a'的情况
• 在泛型函数定义阶段，TypeScript必须考虑所有符合约束的调用场景，而不是只看某一种合法调用。它无法确定L和R是否会有重叠，因此会保守地认为l === r这个条件在所有可能的调用中都不会成立——毕竟存在大量L和R完全不相交的情况。

怎么解决这个类型报错？ #

如果你想保留原有的Proc类型定义，同时让类型检查通过，可以通过类型断言把参数缩小到AUnion类型，让TypeScript意识到它们是可能相等的联合类型：

const proc: Proc = (l, r) => {
  if ((l as AUnion) === (r as AUnion)) {
    return 0;
  }
  return 1;
};

或者，如果你想从泛型约束层面就确保L和R有交集，可以修改Proc的泛型定义（但这会改变函数的调用方式）：

// 让R继承自L，确保两者必然有交集
type Proc = <L extends AUnion, R extends L>(l:L, r:R)=>0|1;

补充说明： #

泛型函数的类型检查逻辑和调用时的类型推断是分开的：调用时TypeScript会根据传入的参数推断出具体的L和R类型，但定义时它只能基于约束来判断代码的合法性。你测试的proc(arg, arg)能通过检查，是因为调用时L和R都被推断为'a'，但这个推断结果不会反向影响函数定义时的类型检查。

内容的提问来源于stack exchange，提问作者Mx.Wolf