TypeScript函数参数泛型类型推断规则及问题排查

• 实参直接推导：编译器优先根据传入的参数值类型，反向确定泛型参数的类型。比如调用const res = fn("test")，若fn定义为function fn<T>(arg: T) { return arg }，会自动推断T为string。
• 上下文辅助推断：如果函数参数处于有明确类型约束的上下文（比如作为回调传给某个类型固定的函数），会结合上下文的类型要求推断泛型。
• 约束优先匹配：泛型有显式约束（如T extends number）时，推断结果必须符合约束，不符合的话要么报错，要么调整为兼容约束的最宽类型。
• 多参数关联推断：当多个参数共享同一个泛型时，编译器会取所有参数类型的最兼容交集。比如function fn<T>(a: T, b: T) {}，调用fn(1, "2")会推断T为string | number。
• 默认类型兜底：如果泛型定义了默认类型，且完全无法从参数推断出类型时，会使用默认类型作为泛型的最终类型。

这段代码里的compose函数泛型推断失效，核心问题是参数类型依赖待推断的泛型，形成了循环依赖：

1. compose的泛型T是readonly AnyFn[]，但参数fnsToAdd的类型FunctionChainArray<T>是一个完全依赖T的条件类型——编译器需要先知道T是什么，才能算出fnsToAdd应该符合的类型；但现在需要反过来从fnsToAdd的传入值推断T，编译器做不到这种反向拆解。
2. 手动指定compose<typeof chainArray>时，T被明确为chainArray的只读函数数组类型，此时FunctionChainArray<T>能被正确计算，所以类型检查能正常生效，检测到(c: 'error')这种不兼容参数。
3. 自动推断时，编译器无法解析FunctionChainArray<T>的递归条件逻辑来反向推导T的具体结构，只能把T推断成宽泛的readonly AnyFn[]，导致类型检查失效，无法识别参数里的类型错误。

另外，FunctionChainArray_是递归嵌套的条件类型，进一步提升了推断的复杂度，TypeScript的类型推断引擎对这类递归依赖的条件类型反向支持能力有限。

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