java - 具有另一个泛型类作为参数的泛型类

Question

我发现自己在泛型方面处于一种奇怪的境地，到目前为止这似乎是不可能的。我尝试在简单的类中隔离情况。我试图完成的是:一个服务类，它分派(dispatch)句柄来处理数据包。每个处理程序都有一个数据包类型参数，因为每个数据包都应该有一个处理程序。服务类还有一个 Handler 类型参数，因为有几种类型的处理程序，所以不同的处理程序类型需要几种服务。这个描述可能不是很清楚，下面是我做的例子:

public abstract class Service<T extends Handler<?>> {

    //Some random logic

    //If only I could use T<E>
    protected abstract <E extends Packet> void handle(T handler, E packet);

}

public class ServiceImpl extends Service<HandlerOne<?>> {

    @Override
    protected <E extends Packet> void handle(HandlerOne<?> handler, E packet) {
        handler.handle("someString", packet); //ERROR
    }

}

public interface Handler<E extends Packet> {

}

public interface HandlerOne<E extends Packet> extends Handler<E> {

    void handle(Object someObject, E packet);

}

public class HandlerOneImpl implements HandlerOne<SomePacket> {

    @Override
    public void handle(Object someObject, SomePacket packet) {
    }

}

public interface Packet {

}

public class SomePacket implements Packet {

}

有没有办法完成这样的事情，或者有什么建议吗？谢谢

编辑:这是 manouti 的回答中修改后的代码(注意:为清楚起见，我将 SomePacket 更改为 PacketOne)。我遇到的问题是创建ServiceImpl的实例。

public static void main(String[] args) {
    HashMap<Class<? extends Packet>, HandlerOne<? extends Packet>> handlerMap = new HashMap<>();
    handlerMap.put(PacketOne.class, new HandlerOneImpl());

    ServiceImpl<Packet, HandlerOne<?>> s = new ServiceImpl<>(handlerMap);//ERROR
}

public static abstract class Service<E extends Packet, T extends Handler<E>> {

    Map<Class<? extends Packet>, T> handlerMap;

    public Service(Map<Class<? extends Packet>, T> handlerMap) {
        this.handlerMap = handlerMap;
    }

    //Some random logic

    //If only I could use T<E>
    protected abstract void handle(T handler, E packet);

}

public static class ServiceImpl<E extends Packet, T extends HandlerOne<E>> extends Service<E, T> {

    public ServiceImpl(Map<Class<? extends Packet>, T> handlerMap) {
        super(handlerMap);
    }

    @Override
    protected void handle(T handler, E packet) {
        handler.handle("someObject", packet);
    }

}

Answer 1

handle 方法需要一个Object 和一个E 类型的参数(类型参数)。您只指定了第二个。

那么由于?通配符的捕获转换，即使你在第一个参数中引入了一个Object，你仍然会报错。所以我会使用两种类型的参数:

public abstract class Service<E extends Packet, T extends Handler<E>> {
    // Some random logic

    protected abstract void handle(T handler, E packet);

}

public class ServiceImpl<E extends Packet, T extends HandlerOne<E>> extends Service<E, T> {
    @Override
    protected void handle(T handler, E packet) {
        handler.handle(new Object(), packet); // some object as first parameter
    }
}

当前代码的问题在于以下语句:

protected <E extends Packet> void handle(HandlerOne<?> handler, E packet) {
    handler.handle("someString", packet); //ERROR
}

您是在告诉处理程序(它被键入为“某些”数据包类型)处理类型为 E 的数据包。在运行时，处理程序的实际数据包类型可能不是 E。