TypeScript中联合类型成员顺序为何影响类型推断？

先看两段对比代码：

第一段代码（存在报错） #

type X1 = 100;
type X2 = 200|201;

type A<T1, T2 extends X1 | X2> = {x:T1, s:T2};

type A1 = A<{y:number}, 100> | A<{z:number}, 200>;
type A2 = A<{z:number}, 200> | A<{y:number}, 100>;

function f<T>(p:A<T, X1> | A<{z:number}, X2>) {

}

f({} as A1);
f({} as A2); // error 

第二段代码（无报错） #

type X1 = 100;
type X2 = 200; // 非联合类型

type A<T1, T2 extends X1 | X2> = {x:T1, s:T2};

type A1 = A<{y:number}, 100> | A<{z:number}, 200>;
type A2 = A<{z:number}, 200> | A<{y:number}, 100>;

function f<T>(p:A<T, X1> | A<{z:number}, X2>) {

}

f({} as A1);
f({} as A2); // no error 

原因解析 #

两段代码的核心差异在于X2是否为联合类型，以及TypeScript处理泛型联合类型推断的逻辑：

1. 第一段代码的报错逻辑 #

函数f的参数类型是A<T, X1> | A<{z:number}, X2>，其中X2 = 200|201，所以第二个分支本质是A<{z:number},200> | A<{z:number},201>（嵌套联合类型）。
当传入A2时：

• TypeScript会按联合成员的顺序尝试匹配：先处理A<{z:number},200>，它能匹配到f参数的第二个分支，此时TypeScript会倾向于将泛型T推断为{z:number}；
• 接下来处理A<{y:number},100>时，它需要符合A<{z:number}, X1> | A<{z:number}, X2>，但它的x类型是{y:number}，和已推断的T={z:number}不匹配，且第一个分支A<T,X1>要求x必须是T类型，因此匹配失败，触发报错。
  而A1的顺序是先A<{y:number},100>，TypeScript先推断T={y:number}，后续的A<{z:number},200>匹配第二个分支（该分支的x类型是固定的{z:number}，不依赖泛型T），因此整体符合类型要求。

2. 第二段代码无报错的逻辑 #

X2是单一类型200，所以f参数的第二个分支是单一类型A<{z:number},200>。
当传入A2时：

• A<{z:number},200>直接匹配第二个分支；
• A<{y:number},100>匹配第一个分支，此时TypeScript会独立推断T={y:number}——因为第二个分支是单一类型，不需要强制泛型T在整个联合类型中保持统一，两个分支可以各自匹配对应的参数类型，因此不会报错。

总结：当函数参数的联合分支中存在泛型+嵌套联合类型的组合时，TypeScript会按顺序优先推断泛型类型，并要求该泛型能覆盖后续分支；如果分支是单一类型，则允许每个分支独立匹配，泛型可按需推断，不受顺序限制。

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