为什么Java编译器不识别泛型参数类型而间接要求强制转换？

Question

我正在编写一个泛型方法，它处理泛型接口的请求类型，并返回一个泛型响应。

前面提到的是我的接口、方法和Pojos。

public interface Request {
}

public interface Response {
}

public class MyRequest implements Request{
   //SomeFields
}

public class MyResponse implements Response{
   //SomeFields
}

现在，我正在编写一个请求处理程序，其中有一个方法

public <T extends Response, S extends Request> T handle(S request) {

        String decoratedMsg = requestDecorator.writeAsJsonifiedString(request);
        sqsAccessor.pushMessage(decoratedMsg,"SomeURL");
        MyRequest myRequest = (MyRequest) request;
        return (T) buildResponse(MyRequest);
    }

private MyResponse buildResponse(MyRequest request) {
   return new MyResponse();
}

上述代码的问题是，在调用私有方法 buildResponse 时，我必须强制转换我的响应，但我只是想知道在定义 T 时，我已经指定了 T 扩展响应，而我的私有方法返回实现响应的 MyResponse，那么为什么需要强制转换呢？

Answer 1

buildResponse将一个MyRequest作为参数，并返回一个MyResponse

但是，传递给handle的可以是任何（任何子类）请求，返回的可以是任意

即使在将buildResponse更改为

private Response buildResponse(Request request) {
   return new MyResponse();
}

编译器强制1将响应转换为return（T）buildResponse（request）

如果您的方法将返回Response的子类，则无需使用类型参数T。相反，您可以将返回类型标记为Response。

public <S extends Request> Response handle(S request) 

1 这会导致未经检查的转换，使您的代码非类型安全。

Answer 2

这是因为< code>T扩展了< code>Response，这意味着< code>T可以是Response的任何子类，而不仅仅是< code>MyResponse。这里，方法< code>buildResponse返回< code>MyResponse，它不必与当前的< code>T泛型类型相同。

例如，如果你打电话

MyOtherResponse myOtherResponse = this.<MyOtherResponse, MyRequest>handle(request);

其中:

public static class MyOtherResponse implements Request {
    //SomeFields
}

您将返回一个< code>MyRequest，而不是一个将引发< code>ClassCastExcepthtml" target="_blank">ion的< code>MyOtherResponse。

如果您总是要返回MyResponse类，则应将句柄方法更改为：

public <S extends Request> MyResponse handle(S request)

另一方面，如果您可以返回Response的不同子类，那么您就不能使用buildResponse方法，而可以在该方法中使用泛型