TypeScript无法推断对象中回调函数的返回类型，该如何解决？

先看两种对比场景：

场景1：函数泛型可自动推断 #

当泛型用于函数时，TypeScript能自动从回调返回值推断出泛型类型：

function myFunction<T>(callback: () => T) {
     return callback();
}

const result = myFunction(() => 5); // TypeScript 自动识别 result 类型为 number

场景2：直接声明泛型对象无法自动推断 #

但如果是直接声明一个泛型类型的对象，TypeScript不会从对象属性反向推导泛型参数，必须显式指定：

type MyObject<T> = {
    callback: () => T
}

const myObject: MyObject = { // 此处报错，编译器要求补充泛型类型参数
    callback: () => 5
}

解决方法 #

方法1：利用satisfies关键字（TypeScript 4.9+）

satisfies可以确保对象符合MyObject的结构约束，同时保留TypeScript对对象属性的自动推断能力：

type MyObject<T> = {
    callback: () => T
}

const myObject = {
    callback: () => 5
} satisfies MyObject<number>;

如果不需要严格绑定MyObject类型，甚至可以直接省略类型注解，TypeScript会自动推断出对象的具体类型为{ callback: () => number }。

方法2：用辅助函数封装对象创建

借助函数的泛型推断能力，把对象创建逻辑包裹在一个泛型函数里，让TypeScript从传入的对象字面量中自动推导泛型参数：

type MyObject<T> = {
    callback: () => T
}

function createMyObject<T>(obj: MyObject<T>) {
    return obj;
}

const myObject = createMyObject({
    callback: () => 5
}); // 自动推断T为number，myObject类型为MyObject<number>

方法3：显式指定泛型参数（最直接的妥协方案）

如果不想额外封装，也可以直接显式写出泛型参数：

type MyObject<T> = {
    callback: () => T
}

const myObject: MyObject<number> = {
    callback: () => 5
}

原因说明 #

TypeScript的泛型推断逻辑在函数和直接类型注解场景下存在差异：函数的泛型参数可以从传入的实参反向推导，但直接给变量指定未填充泛型参数的类型（如MyObject）时，编译器不会尝试从对象字面量中推导缺失的泛型参数，而是判定为语法错误。

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