为何传入相同参数的两个TypeScript泛型函数类型评估结果不同？test3调用报错原因解析

咱们来一步步拆解这个问题，核心在于TypeScript处理泛型条件类型时的类型推断逻辑差异：

先看test1为什么能正常工作 #

当你调用test1({foo: 23})时：

• TypeScript会自动推断泛型参数T为{foo: number}，这个类型完全满足T extends {foo: number}的判断条件。
• 条件类型返回的是T本身，所以参数的预期类型就是{foo: number}，和你传入的参数完美匹配，自然能通过类型检查。

再分析test3报错的核心原因 #

而调用test3({foo: 23})时，情况就完全不同了：

• 函数的参数类型是T extends {foo: number} ? Bar<T> : never，其中Bar<T>是{bar: T}结构。
• TypeScript需要找到一个合适的T，让条件类型的结果（要么是{bar: T}，要么是never）能匹配你传入的{foo: 23}。
• 但{foo: 23}和{bar: T}的结构完全不兼容——一个带foo属性，一个带bar属性，TypeScript根本找不到任何T能让{bar: T}和{foo: 23}划等号。
• 这时候TypeScript会判定条件T extends {foo: number}不成立，参数类型就 fallback 到了never。而{foo: 23}显然不能赋值给never，于是就出现了你看到的报错（报错里的number是推断过程中产生的中间类型，本质还是参数和never不匹配）。

怎么修正这个问题？ #

如果你希望test3接受的是Bar<T>类型的参数（其中T满足{foo: number}），应该把泛型约束直接写在T上，而非用条件类型：

type Bar<T> = {bar: T}
function test3<T extends {foo: number}>(arg: Bar<T>): void {}

// 这样调用就正常了：
test3({bar: {foo: 23}});

如果你的本意是让test3接受{foo: number}类型的参数并自动关联到Bar<T>，那条件类型并不是正确的实现方式，你可能需要调整函数的设计，比如直接将参数类型定义为Bar<{foo: number}>，或者通过其他类型手段实现你的需求。

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