TypeScript如何传递多类型数组并避免协变导致的非法子类型兼容报错

解决方案 #

核心思路是将数组类型推断为元组，对每个元素单独执行兼容校验，替代原先的联合类型整体校验逻辑，这样TypeScript可以精准定位到数组中不符合规则的具体元素位置。

完整实现代码 #

type StringOrNumberInStringOrNumberOut = InstanceType<typeof StringOrNumberInStringOrNumberOut>;

type isCompatible<B extends StringOrNumberInStringOrNumberOut> = 
    B extends StringOrNumberInStringOrNumberOut ? StringOrNumberInStringOrNumberOut extends B ? B : never : never;

// 新增：遍历元组每个元素单独做兼容校验
type ValidateTuple<T extends readonly StringOrNumberInStringOrNumberOut[]> = {
    [K in keyof T]: isCompatible<T[K]>
}

class MyGroup {
    private _collection: StringOrNumberInStringOrNumberOut[] = [];
    add<B extends StringOrNumberInStringOrNumberOut>(arg: isCompatible<B>):void {
        this._collection.push(arg);
    }
    // 调整addMultiple类型定义，用可变元组语法强制TS推断为元组而不是联合数组
    addMultiple<const B extends readonly StringOrNumberInStringOrNumberOut[]>(args: [...ValidateTuple<B>]): void {
        args.forEach((arg) => {
            this._collection.push(arg);
        });
    }
}

class StringInNumberOut {
    execute(input: string): number {
        return 1;
    }
}
class StringInStringOrNumberOut {
    execute(input: string): string | number {
        return 1;
    }
}
class StringOrNumberInStringOrNumberOut {
    execute(input: string | number): string | number {
        return 1;
    }
}

校验效果 #

测试原问题场景：

const group = new MyGroup();
// 原有校验逻辑保持正常
group.add(new StringInNumberOut()); // 正常报错
group.add(new StringInStringOrNumberOut());
group.add(new StringOrNumberInStringOrNumberOut());
group.addMultiple([new StringInStringOrNumberOut(), new StringOrNumberInStringOrNumberOut()]); // 正常通过
group.addMultiple([new StringInNumberOut()]); // 正常报错
// 原不报错的异常场景现在会精准报错
group.addMultiple([new StringInNumberOut(), new StringInStringOrNumberOut()]); 
// 类型报错提示：第0个元素类型StringInNumberOut不能赋值给类型never

实现说明 #

1. const 类型参数（TS 5.0+支持）会强制TypeScript将传入的数组参数推断为字面量元组，而不是向上兼容的联合类型数组，避免数组协变的影响。
2. ValidateTuple 映射类型会遍历元组的每一个元素，单独执行isCompatible校验，哪个元素不符合规则就会在对应下标位置抛出类型错误，开发者可以直接定位问题元素。
3. 若需要兼容TS 5.0以下版本，可在调用addMultiple时手动给传入的数组加as const修饰，也能达到元组推断的效果。

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