TypeScript中箭头函数与普通函数的泛型函数推断差异疑问

你的问题核心在于TypeScript对对象字面量中不同函数写法的类型推断时机不同，和this/执行上下文无关，具体逻辑如下：

核心约束与推断规则 #

函数test的泛型T由两个属性共同约束：

• b: () => T：b的返回值类型是T的候选类型
• a: (c: T) => void：a的参数类型必须匹配T

TypeScript在解析对象字面量的泛型时，会根据函数的写法（箭头函数/普通函数声明）决定推断时机：

1. 箭头函数的延迟推断 #

对于箭头函数（比如a: (c) => { c }），TypeScript会延迟推断其参数类型，直到整个对象的所有属性都解析完成。这样它可以结合后续属性（比如b）的类型来确定T，所以前两个案例中，无论a和b的顺序如何，b返回number都会让T被推断为number，a的参数c自然匹配为number。

2. 普通函数声明的立即推断 #

对于对象字面量中的普通函数声明（比如a(c) { return c }），TypeScript会优先立即解析其参数类型。如果此时还未读取到后面的b属性，就会使用泛型T的默认值unknown作为参数类型。一旦这个类型被锁定，后续读到b的返回值时，TypeScript不会回溯修改已经确定的a的参数类型——普通函数声明的类型会被提前固化，无法再根据后续属性调整。

对应案例拆解 #

• 第三个案例：先写b() { return 'test' }，TypeScript先解析出b的返回值为string，确定T = string，之后解析a(c) { return c }时，c的类型自然匹配T为string。
• 第四个案例：先写a(c) { return c }，此时还未读取到b，TypeScript直接用T的默认值unknown作为c的类型，后续读到b返回string时，已无法修改a的参数类型，所以c仍为unknown。

验证与解决 #

如果把第四个案例的a改成箭头函数，就能得到预期的string类型：

test({
    a: (c) => { return c }, // c is string
    b() { return 'test' }
})

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