Java中能否实现可变参数式的泛型异常抛出？

Java不支持泛型可变参数（即类似IBaz<EX extends Exception...>的语法）来直接为接口方法指定多个不同的可抛出异常类型。

现有方案的局限 #

你当前使用的单泛型参数方式（interface IFoo<EX extends Exception>），要么只能限定单个异常类型，要么需要让多个异常共享父类（比如用Exception作为泛型边界，但会导致抛出范围过宽），无法精准指定N个互不相关的异常类型。

可行替代方案 #

1. 自定义异常包装类

定义一个统一的包装异常，将需要抛出的具体异常包裹在内。接口方法抛出该包装异常，实现类负责捕获具体异常并包装，调用方按需拆包处理：

class WrappedBizException extends Exception {
    public WrappedBizException(Throwable cause) {
        super(cause);
    }
}

interface IBaz {
    void bar() throws WrappedBizException;
}

class Buzz implements IBaz {
    @Override
    public void bar() throws WrappedBizException {
        try {
            // 执行可能抛出IOException、IllegalStateException、SecurityException的逻辑
        } catch (IOException | IllegalStateException | SecurityException e) {
            throw new WrappedBizException(e);
        }
    }
}

2. 拆分接口（遵循单一职责）

如果不同异常对应不同业务场景，可拆分多个接口，每个接口对应一种异常类型，实现类按需实现多个接口：

interface IOExceptionThrowing {
    void doIoOperation() throws IOException;
}

interface IllegalStateExceptionThrowing {
    void doStateCheck() throws IllegalStateException;
}

class Buzz implements IOExceptionThrowing, IllegalStateExceptionThrowing {
    @Override
    public void doIoOperation() throws IOException {
        // IO相关操作逻辑
    }

    @Override
    public void doStateCheck() throws IllegalStateException {
        // 状态校验逻辑
    }
}

补充说明 #

Java泛型设计中，泛型参数是固定数量的，不支持类似方法可变参数...的可变长度泛型参数语法，因此无法直接通过泛型实现你想要的IBaz<IOException, IllegalStateException, SecurityException>写法来限定方法抛出的异常集合。

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