TypeScript泛型Error 2345成因解析：bar1报错bar2正常的根源

先看问题中的代码：

const foo1 = <E extends (a: unknown) => void>(e: E) => console.log(e)

const bar1 = <Arg extends unknown>() => foo1((a: Arg) => console.log(a)) // 触发Error 2345

const foo2 = <Arg extends unknown>(e: (a: Arg) => void) => console.log(e)

const bar2 = <Arg extends unknown>() => foo2((a: Arg) => console.log(a)) // 正常运行

Error 2345的核心成因 #

Error 2345本质是类型兼容性不匹配：TypeScript类型检查器判定传入的参数类型，不符合目标函数的泛型约束或参数类型要求。在这个场景下，问题出在函数类型的逆变规则与泛型约束的交互上。

为什么bar1报错？ #

foo1的泛型E被约束为(a: unknown) => void的子类型。根据TypeScript的函数类型逆变规则：函数参数类型越宽泛，函数类型越“小”（即子类型）。比如(a: unknown) => void可以接受任意类型的参数，而(a: Arg) => void（当Arg是unknown的子类型，比如string）只能接受特定类型的参数。这意味着(a: Arg) => void并不是(a: unknown) => void的子类型——反过来才对。

当bar1调用foo1时，TypeScript需要确认传入的(a: Arg) => void满足E extends (a: unknown) => void的约束，但由于Arg可以是任意unknown的子类型，TypeScript无法保证这个函数始终符合约束，因此抛出Error 2345。

为什么bar2不报错？ #

foo2的泛型Arg是直接用来定义参数e的类型：(a: Arg) => void。当bar2调用foo2时，TypeScript会直接将传入的(a: Arg) => void与参数类型做精确匹配——这里的Arg会被推断为当前传入函数的参数类型，两者完全一致，不存在兼容性冲突，自然不会触发类型错误。

二者的根本差异 #

• foo1的泛型是对整个函数类型E施加约束，要求E必须是(a: unknown) => void的子类型，依赖函数参数的逆变兼容性检查；
• foo2的泛型是定义函数参数的类型参数，传入的函数类型与泛型Arg直接绑定，类型完全对齐，不需要做逆变兼容性验证。

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