TypeScript函数用条件类型定义返回值报错，重载却可行是什么原因？

条件类型直接定义报错的核心原因 #

TypeScript 在检查泛型函数实现时，不会对未绑定具体类型的条件类型做解析推导：

• 你定义的返回值类型 (T extends number ? T : number) | null，在函数实现阶段，泛型 T 还没有和实际入参的具体类型绑定，TS 会把这个条件类型当作未确定的「黑盒类型」处理
• 即使你在代码里用 typeof arg === 'number' 把入参收窄为 T & number，TS 也不会自动关联这个收窄结果和条件类型的判断逻辑，自然会认为你返回的 T & number 或者普通 number 类型无法匹配这个未解析的黑盒类型，因此抛出类型错误。

重载方案正常运行的原因 #

函数重载的逻辑是「对外暴露类型契约，内部单独检查实现」：

• 你写的前两个泛型重载是给调用方用的类型规则，TS 只会在函数被调用时，根据入参类型匹配对应的重载签名，保证返回值符合预期约束
• 最后那个实际实现的函数签名 function returnSelfRandOrNullOverloaded<T extends number | string>(arg: T): number | null 是专门用于内部实现检查的，只要你的实现返回的是 number 或者 null 都符合要求，不会和前面的重载签名做强制匹配，因此不会报错。

可选替代方案 #

如果不想使用重载，也可以在返回值位置加类型断言绕开检查：

function returnSelfRandOrNullConditional<T extends number | string>(arg: T): (T extends number ? T : number) | null {
    if (typeof arg === 'number') {
        if (arg > 0) {
            return arg as (T extends number ? T : number);
        } else {
            return null;
        }
    } else {
        const rand = Math.random();
        if (rand > 0.5) {
            return rand as (T extends number ? T : number);
        } else {
            return null;
        }
    }
};

不过这种方案需要你自己保证类型正确性，不如重载方案直观可靠。

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