Java报错capture<? extends Exception> cannot be applied to Exception如何解决

这个报错是Java泛型的通配符捕获限制导致的：
你定义的Map的Value类型是Function<? extends Exception, Response>，其中? extends Exception是上界通配符，代表「某一种特定的Exception子类」，但编译器无法确定你从Map中取出的Function具体接受哪种子类，所以直接传入父类Exception实例会触发类型校验失败。
而你存入Map时已经严格保证了key的异常类和Function的入参类型一一对应，所以这个场景下的类型强转是完全安全的。

增加一个泛型辅助方法做类型转换，绕开编译校验即可：

@SuppressWarnings("unchecked")
private <T extends Exception> Function<T, Response> getHandler(Class<T> exceptionClass) {
    // 这里的强转是安全的，因为存入Map时已经保证了类型对应
    return (Function<T, Response>) HANDLERS.get(exceptionClass);
}

private Response handleException(Exception e) {
    return getHandler(e.getClass()).apply(e);
}

// 原HANDLERS定义无需修改
Map<Class<? extends Exception>, Function<? extends Exception, Response>> HANDLERS =
    Map.ofEntries(
        Map.entry(SpecificException.class, (Function<SpecificException, Response>) e -> ...),
        Map.entry(Exception.class, (Function<Exception, Response>) e -> ...)
    );

建议增加空值判断逻辑，避免HANDLERS中不存在对应异常类型时抛出空指针。

如果不想处理泛型通配符问题，可以选以下更简洁的实现：

• 方案1：异常类型较少时直接用instanceof分支判断，无泛型负担

private Response handleException(Exception e) {
    if (e instanceof SpecificException se) {
        // SpecificException处理逻辑
    } 
    // 其他异常类型分支
    else {
        // 通用Exception处理逻辑
    }
}

• 方案2：Java 16+ 用模式匹配switch，代码更简洁

private Response handleException(Exception e) {
    return switch (e) {
        case SpecificException se -> /* 返回SpecificException对应的Response */;
        // 其他异常类型分支
        case Exception ex -> /* 返回通用Response */;
    };
}

• 方案3：修改Handler定义为接受Exception类型，内部自行做类型转换

Map<Class<? extends Exception>, Function<Exception, Response>> HANDLERS = Map.ofEntries(
    Map.entry(SpecificException.class, e -> {
        SpecificException se = (SpecificException) e;
        // 处理逻辑
    }),
    Map.entry(Exception.class, e -> {
        // 通用处理逻辑
    })
);

private Response handleException(Exception e) {
    return HANDLERS.get(e.getClass()).apply(e);
}

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