TypeScript泛型函数参数限制：条件类型顺序为何影响校验结果？

我编写了一个TypeScript泛型函数bar<T, P>，要求该函数仅接受0个或2个参数，不能只传1个参数（即传入第一个参数时必须传入第二个参数）。

正确实现 #

function bar<T, P>(a?: undefined extends P ? never : T, b?: P) { }

bar('') // 触发错误，符合预期。

错误实现（不符合预期） #

最初我将条件类型写反了，无法实现预期效果：

function bar<T, P>(a?: P extends undefined ? never : T, b?: P) { }

bar('') // 未触发错误，不符合预期。

问题核心 #

当未传入第二个参数时，P会被推断为undefined，而undefined extends undefined成立，为何P extends undefined的写法无法生效？

原因解释 #

核心在于TypeScript的条件类型推断方向和参数推断优先级：

1. 错误写法的问题：
   当只传第一个参数bar('')时，TypeScript会优先调整泛型参数来让类型合法，而非触发错误。它不会直接将P推断为undefined，反而会推断出一个兼容的P类型（比如unknown），同时将T推断为string。此时P extends undefined不成立，条件类型返回T，a参数类型变为string，自然不会报错。

2. 正确写法的逻辑：
   当未传第二个参数时，b的类型为undefined，P会被推断为undefined。此时undefined extends P（即undefined extends undefined）成立，条件类型返回never，意味着a参数不能接收任何值，传入''就会触发类型错误，完全符合预期。

简言之，条件类型的判断方向决定了TypeScript是验证现有推断结果还是调整推断来满足条件：反向条件类型会强制先确认P的类型，再约束a的合法性；正向条件类型则会被TypeScript通过调整泛型参数绕过约束。

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