TypeScript中调用接收number与number[]的重载接口方法的最佳实践

假设我们有如下带重载方法的接口：

interface OverloadInterface {
    accept(x: number): void;
    accept(x: number[]): void;
}

当持有number|number[]联合类型的变量时，直接调用accept方法会触发TypeScript错误：No overload matches this call——这是因为TypeScript无法自动将联合类型匹配到单个重载签名。而用类型守卫拆分分支虽然能解决错误，但代码看起来冗余怪异：

function call(x: number|number[], consumer: OverloadInterface): void{
    if(Array.isArray(x))
        consumer.accept(x);
    else
        consumer.accept(x);
}

最佳实践方案 #

1. 保留类型守卫分支（安全合规）

虽然代码看起来重复，但这是TypeScript类型系统下最安全的常规做法。Array.isArray(x)作为类型守卫，会将分支内的x类型收窄为number[]，else分支则自动收窄为number，此时两个分支的调用都能精准匹配对应的重载签名，完全符合类型安全要求。

如果觉得冗余，可以简化为三元表达式写法，逻辑不变但更紧凑：

function call(x: number|number[], consumer: OverloadInterface): void{
    consumer.accept(Array.isArray(x) ? x : x);
}

2. 扩展接口重载签名（若允许修改接口）

如果有权限修改OverloadInterface，可以直接添加一个接受联合类型的重载签名，这样就能直接调用而无需分支判断：

interface OverloadInterface {
    accept(x: number): void;
    accept(x: number[]): void;
    accept(x: number | number[]): void;
}

// 此时直接调用不再报错
function call(x: number|number[], consumer: OverloadInterface): void{
    consumer.accept(x);
}

注意：这个方案需要接口的实现逻辑也能兼容联合类型参数，否则要同步更新实现代码。

3. 类型断言（谨慎使用）

如果能100%确定变量实际类型符合某个重载签名，可以用类型断言跳过类型检查，但这种方式会丢失TypeScript的类型安全保障，仅适合场景完全明确的情况：

function call(x: number|number[], consumer: OverloadInterface): void{
    consumer.accept(x as number);
}

风险提示：如果x实际为number[]类型，这种断言会导致运行时潜在问题，不推荐作为常规方案。

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