如何编写可抛出对应受检异常的Java函数式接口？

我知道Runnable不能抛出受检异常，所以自己写了个新接口来接收能抛出受检异常的方法：

自定义接口 #

interface MyInterface {
    void run() throws Exception;
}

服务类实现 #

public void serviceMethod(MyInterface action) throws Exception {
    // ...
    action.run();
    // ...
}
public void serviceMethod(Runnable action) { // 适配不抛受检异常的方法
    // ...
    action.run();
    // ...
}

调用代码 #

public void myMethod() throws Exception {
    service.serviceMethod(this::someMethodThatThrowsCheckedException);
    service.serviceMethod(this::someMethodThatDoesNotThrowCheckedException);
}

现在这个实现能跑，但我不想让myMethod()抛出Exception基类，而是希望它抛出someMethodThatThrowsCheckedException实际声明的具体异常类。比如如果这个方法是：

public void someMethodThatThrowsCheckedException() throws IOException, ClassNotFoundException {//...}

那我希望myMethod()的声明是throws IOException, ClassNotFoundException，就像直接调用这个方法时那样：

public void myMethod() throws IOException, ClassNotFoundException {
    someMethodThatThrowsCheckedException();
}

有没有通用的实现方式？

可以通过泛型捕获具体异常类型实现，核心是让自定义接口用泛型约束抛出的异常类型，同时服务方法对应使用泛型，让编译器能追踪到具体异常类型。

1. 泛型化自定义接口 #

把接口改成带泛型参数的版本，泛型参数限定为Throwable的子类，明确声明抛出的具体异常：

interface ThrowingRunnable<E extends Throwable> {
    void run() throws E;
}

2. 泛型化服务方法 #

修改服务类的方法，用泛型接收带异常约束的接口，同时在方法上抛出对应的泛型异常：

public <E extends Throwable> void serviceMethod(ThrowingRunnable<E> action) throws E {
    // ...
    action.run();
    // ...
}

// 保留原有的Runnable重载，适配无受检异常的场景
public void serviceMethod(Runnable action) {
    // ...
    action.run();
    // ...
}

3. 调用端的变化 #

现在调用时，编译器会自动推导someMethodThatThrowsCheckedException抛出的具体异常类型，myMethod()就能精准声明这些异常：

public void myMethod() throws IOException, ClassNotFoundException {
    service.serviceMethod(this::someMethodThatThrowsCheckedException);
    service.serviceMethod(this::someMethodThatDoesNotThrowCheckedException);
}

原理说明 #

泛型让编译器在编译期就能追踪到具体的异常类型，替代之前用Exception基类的模糊声明。传递方法引用时，编译器会根据目标方法的throws语句自动匹配泛型参数E的具体类型，最终让调用方方法可以精准抛出对应受检异常，效果和直接调用目标方法完全一致。

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