TypeScript类继承：构造器重载可选参数兼容与参数限制问题

问题原因 #

TypeScript 中父类的实现签名对外不可见，子类调用super()时，TypeScript 只会匹配父类公开的重载签名，而非实现签名。子类直接将联合类型参数传递给super()，无法匹配父类的任何一个重载签名，因此抛出类型错误。

解决方案 #

方式1：复刻父类重载签名，逐个匹配调用 #

在子类中定义与父类完全一致的重载签名，TypeScript 会根据重载自动匹配对应的super()调用：

export class DEF extends ABC {
    // 复刻父类所有重载签名
    constructor();
    constructor(_s: string);
    constructor(_n: number);
    
    constructor(_arg?: string | number) {
        super(_arg);
    }
}

方式2：通过类型守卫缩小参数范围 #

如果不想重复编写重载签名，可在子类构造函数内通过类型判断分情况调用super()：

export class DEF extends ABC {
    constructor(_arg?: string | number) {
        if (typeof _arg === "string") {
            super(_arg); // 匹配父类string参数重载
        } else if (typeof _arg === "number") {
            super(_arg); // 匹配父类number参数重载
        } else {
            super(); // 匹配无参重载
        }
    }
}

关于「实现签名对外可见」 #

TypeScript 的设计逻辑是实现签名仅用于内部实现，对外不可见，以此保证类的对外接口与内部实现分离。若需要让某参数组合对外可用，应将其定义为公开的重载签名，而非依赖实现签名暴露类型。

问题原因 #

你在ABC类中错误地将实现签名的宽泛参数类型（_arg1?:string|number, _arg2?:string|number）也定义成了公开重载签名，导致外部可调用该宽泛重载，从而允许了number+number这类非法组合。

解决方案 #

仅保留合法的重载签名，删除宽泛的重载定义。实现签名的参数类型可保持宽泛用于内部处理，但外部调用时只能匹配合法重载，编译期会自动阻止非法组合：

export class ABC {
    // 仅保留所有合法重载签名
    constructor();
    constructor(_arg1: string);
    constructor(_arg1: number);
    constructor(_arg1: string, _arg2: number);
    constructor(_arg1: string, _arg2: string);
    constructor(_arg1: number, _arg2: string);

    // 实现签名仅内部可见
    constructor(_arg1?: string | number, _arg2?: string | number) {
        // 可选：添加运行时检查，防止绕过编译期限制
        if (typeof _arg1 === "number" && typeof _arg2 === "number") {
            throw new Error("禁止number+number的参数组合");
        }
    }
}

// 子类复刻父类重载签名即可
export class DEF extends ABC {
    constructor();
    constructor(_arg1: string);
    constructor(_arg1: number);
    constructor(_arg1: string, _arg2: number);
    constructor(_arg1: string, _arg2: string);
    constructor(_arg1: number, _arg2: string);
    
    constructor(_arg1?: string | number, _arg2?: string | number) {
        super(_arg1, _arg2);
    }
}

此时编译期调用new ABC(1,2)会直接报错，无匹配的重载签名；若担心类型断言绕过编译限制，可在实现签名中添加运行时检查进一步保障合法性。

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