TypeScript函数重载报错：单参数返回符合定义仍报错？

你的重载声明function position(a: number): IPositionDefault之所以报错，核心问题是函数实现的条件判断逻辑存在漏洞，导致传入某些数字参数时，返回的对象不符合重载声明的类型约定。

错误根源 #

你用!a、!b这类布尔隐式转换来判断参数是否存在，但数字0的布尔值为false。当调用position(0)时：

• !a && !b会被判定为true（因为!0是true，!undefined也是true），触发第一个分支返回{x: undefined, y: undefined}，这属于IPosition类型，而非重载声明的IPositionDefault类型。
• 编译器能检测到这种类型不匹配的情况，因此抛出错误。

修复方案 #

将条件判断改为严格检查参数是否为undefined，避免假值干扰逻辑：

function position(): IPosition;
function position(a: number): IPositionDefault;
function position(a: number, b: number): IPosition;
function position(a?: number, b?: number) {
    if (a === undefined && b === undefined) {
        return { x: undefined, y: undefined };
    }
    if (a !== undefined && b === undefined) { 
        return { x: a, y: undefined, default: a.toString() };
    }
    if (a === undefined && b !== undefined) {
        return { x: b, y: undefined, default: b.toString() };
    }
    
    return { x: a, y: b };
}

修改后，每个参数场景的逻辑分支都能精准对应重载声明的返回类型，编译器就不会再报错。

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