TypeScript含undefined的条件返回类型不兼容问题求解

嗨，我来帮你捋捋这个问题～你遇到的是TypeScript里条件类型在函数实现时的典型推导限制，先还原下你的场景：

你写了这样的泛型函数，期望入参是number/boolean/undefined时，分别返回undefined或{obj: T}：

function undefinedOrObject<T>( param: T ): T extends undefined ? undefined: {obj: T} {
    return typeof param === 'undefined' ? param : { obj: param } 
}

但TS抛出了类型不兼容的错误：

Type '(T & undefined) | { obj: T & ({} | null); }' is not assignable to type 'T extends undefined ? undefined : { obj: T; }'. Type 'T & undefined' is not assignable to type 'T extends undefined ? undefined : { obj: T; }'.(2322)

问题根源 #

这是因为当T是联合类型（比如number | undefined）时，TypeScript的条件类型会自动做分发——也就是把联合类型拆成单个分支分别计算条件类型，得到undefined | {obj: number}。但在函数实现阶段，TS没办法把return里的两个分支和分发后的条件类型精准对应起来，它会把返回值推断成一个“粗糙”的联合类型，和我们期望的分发后类型不匹配，所以报错。

不用as断言的解决方案：使用函数重载 #

最直观且符合TS类型系统的方法是用重载签名，明确指定不同入参对应的返回类型，完全不需要类型断言：

// 重载签名：给TS明确不同入参的返回值映射
function undefinedOrObject(param: undefined): undefined;
function undefinedOrObject<T extends number | boolean>(param: T): { obj: T };
// 实现签名：只需要保证逻辑覆盖所有情况，TS会自动用重载签名做类型检查
function undefinedOrObject(param: number | boolean | undefined) {
    return typeof param === 'undefined' ? param : { obj: param };
}

测试验证 #

这样调用时，TS会精准推导返回类型：

const numRes = undefinedOrObject(456); // 类型自动推断为 { obj: number }
const boolRes = undefinedOrObject(false); // 类型自动推断为 { obj: boolean }
const undefRes = undefinedOrObject(undefined); // 类型自动推断为 undefined

为什么这个方法可行？ #

重载签名相当于给TS提前“约定”了不同入参对应的返回类型，调用时TS会直接匹配对应的重载签名，而实现签名只需要保证逻辑上兼容所有入参情况，不需要再让TS去推导复杂的条件分发类型，完美避开了原写法的类型推导限制。

备注：内容来源于stack exchange，提问作者Marcel Tinner