了解如何修复的 Java 未经检查的警告问题

Question

我很难理解关于 java 泛型的两个声明之间的区别。

假设我有以下两个接口

@FunctionalInterface
public interface CheckedFunction<T, R, E extends Throwable> {
   R apply(T t) throws E;
}

public interface SomeInterface<DTO, E2 extends Throwable> {

    <E extends Throwable> CheckedFunction<Object, String, E> firstFunction();

    CheckedFunction<String, DTO, E2> secondFunction();
}

所以现在我创建了一个实现，并弹出了一个“未经检查”的警告，这是我想要理解的。

实现如下

public class TmpImpl implements SomeInterface<TmpObj, IOException> {

    final ObjectMapper objectMapper = new ObjectMapper();

    @Override
    public CheckedFunction<Object, String, JsonProcessingException> firstFunction() {
        return objectMapper::writeValueAsString;
    }

    @Override
    public CheckedFunction<String, TmpObj, IOException> secondFunction() {
        return json -> objectMapper.readValue(json, TmpObj.class);
    }

    public static class TmpObj {
        String s;
    }
}

对于这个例子，我使用com.fasterxml.jackson.databind.ObjectMapper，因为它完全符合我的要求并生成警告。

所以 firstFunction 现在有一个警告

Unchecked overriding: return type requires unchecked conversion. Found 'CheckedFunction<java.lang.Object,java.lang.String,com.fasterxml.jackson.core.JsonProcessingException>', required 'CheckedFunction<java.lang.Object,java.lang.String,E>

第二个就好了。

为什么会这样？为了修复它，我显然遗漏了一些我没有注意到的东西！

注意JsonProcessingException 扩展IOException（声明：public class JsonProcessingException extends IOException）

Answer 1

简短的回答是您的实现是指定JsonProcessingException，而接口允许推断E。

也就是说，根据界面，这应该是可以的：

SomeInterface<String, RuntimeException> runtimeExceptionSomeInterface = null;
CheckedFunction<Object, String, RuntimeException> function = 
                     runtimeExceptionSomeInterface.firstFunction();

此声明：

<E extends Throwable> CheckedFunction<Object, String, E> firstFunction();

允许调用者为E 指定具体参数，这正是我在上面的示例中所做的（使用RuntimeException）。

但是，您的实现是静态强制JsonProcessingException：

public CheckedFunction<Object, String, JsonProcessingException> firstFunction() {
    return objectMapper::writeValueAsString;
}

也就是说，您忽略了传入的 E 类型参数，并强制将其替换为 JsonProcessingException。

---

简而言之，如果您希望firstFunction() 具有通用性，则相应地实现它：

@Override
public <E extends Throwable> CheckedFunction<Object, String, E> firstFunction() {
    return objectMapper::writeValueAsString;
}

但是，上述操作失败了 return objectMapper::writeValueAsString; 并带有未处理的 JsonProcessingException，我怀疑这导致了您的实施。

这仅仅意味着您对通用Throwable 参数的使用是错误的。

解决它的第一个尝试是使用SomeInterface 的E2 变量：

interface SomeInterface<DTO, E2 extends Throwable> {
    CheckedFunction<Object, String, E2> firstFunction();
    CheckedFunction<String, DTO, E2> secondFunction();
}

如果使用以下实现，将解决问题：

class TmpImpl implements SomeInterface<TmpObj, IOException> {
    //...
    @Override
    public CheckedFunction<Object, String, IOException> firstFunction() {
        return objectMapper::writeValueAsString;
    }

但是，您仍然会遇到问题，因为知道将引发什么异常的不是SomeInterface 的用户，而是实现。这意味着您应该在 API 上声明异常类型，而不是使其成为通用参数：

interface SomeInterface<DTO> {
    CheckedFunction<Object, String, IOException> firstFunction();
    //...
}

class TmpImpl implements SomeInterface<TmpObj> {

    //...

    @Override
    public CheckedFunction<Object, String, IOException> firstFunction() {
        return objectMapper::writeValueAsString;
    }
}

也就是说SomeInterface 及其实现知道要处理的异常范围，因此它们返回的函数知道，在这种情况下，IOException（选择它是因为您知道它包括 @987654344 @，以及其他类型）