使用条件类型约束函数入参后，仍需类型收窄吗？

我用条件类型约束doSomething函数的输入值，外部调用时类型校验完全正常，但函数内部无法自动推导data的具体类型，仍旧需要手动做类型收窄，这看起来是重复工作。想请教两个问题：

1. 使用条件类型约束后是否必须执行类型收窄？
2. 是否存在其他实现方式（比如函数重载）来减少类型收窄的代码量？

type TObj = { x: number, y: number }
type TTup = [number, number]

function doSomething<TOption extends boolean, TData extends TOption extends true ? TTup : TObj>(data: TData, someOption: TOption){
    if (someOption && !Array.isArray(data)){
        throw 'this should be impossible'
    }

    if (someOption){
        console.log(data) // data 被推断为 TObj | TTup，但实际应该是 TTup
        //          ^?
    }
    else {
        console.log(data) // data 被推断为 TObj | TTup，但实际应该是 TObj
        //          ^?
    }
}

doSomething({ x: 1, y: 1 }, false) // 合法，正确
doSomething([1,1], true) // 合法，正确

doSomething({ x: 1, y: 1 }, true) // 非法，正确
doSomething([1,1], false) // 非法，正确

1. 使用条件类型约束后是否必须类型收窄？ #

是的，在你当前的写法下必须手动做类型收窄。原因在于TypeScript的泛型条件类型在函数内部无法被反向追踪：虽然外部调用时TOption和TData的关联关系是明确的，但进入函数内部后，TypeScript无法将someOption的具体布尔值和TData的类型绑定起来——它只知道TData满足TOption extends true ? TTup : TObj这个约束，但没法根据someOption的分支自动推导TData的具体类型。

所以你必须通过Array.isArray(data)这类类型守卫来手动收窄data的类型，或者像你代码里那样通过抛出错误的方式排除不可能的情况。

2. 用函数重载减少类型收窄代码 #

函数重载是更合适的方案，它能让TypeScript在函数内部自动识别不同分支下的参数类型，无需手动收窄。具体实现如下：

type TObj = { x: number, y: number }
type TTup = [number, number]

// 重载签名：定义两种合法的调用组合
function doSomething(data: TTup, someOption: true): void;
function doSomething(data: TObj, someOption: false): void;

// 实现签名：处理具体逻辑
function doSomething(data: TTup | TObj, someOption: boolean) {
    if (someOption) {
        console.log(data) // data 自动推断为 TTup
        //          ^?
    } else {
        console.log(data) // data 自动推断为 TObj
        //          ^?
    }
}

doSomething({ x: 1, y: 1 }, false) // 合法，正确
doSomething([1,1], true) // 合法，正确

doSomething({ x: 1, y: 1 }, true) // 非法，正确
doSomething([1,1], false) // 非法，正确

这种写法的优势在于：

• 外部调用的类型校验和原来完全一致，非法调用会被正确拦截
• 函数内部根据someOption的分支，TypeScript能自动推导出data的具体类型，省去了手动类型收窄的代码
• 代码逻辑更清晰，直接明确了两种合法的调用模式

另外，如果你需要保留泛型的灵活性，也可以结合重载和泛型，但对于这个场景来说，直接用重载已经足够简洁。

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