java - 是否存在带有类型参数的泛型(generics with generics)？

Question

我需要定义一个通用总线接口(interface)，它可以是 CommandBus 或 QueryBus。

public interface Bus {

    <T> T execute(BusRequest<T> request);

}

public interface BusRequest<T> {
}

上面的示例有效，但我希望将 BusRequest 替换为另一个扩展 BusRequest 的泛型，以便您可以执行以下操作:

public interface CommandBus extends Bus<Command> {

    // Inherited method would turn into something like
    // <T> T execute(Command<T> cmd);

}

public interface Command<T> extends BusRequest<T> {
}

我如何定义Bus接口(interface)来做到这一点？ Java 中可以吗？

我已经尝试过:

public interface Bus<R extends BusRequest> {

    <T> T execute(R<T> request);

}

但是它说:

Type 'R' does not have type parameters

Answer 1

一个Kind ？

没有。为此，您需要 Scala(或 Haskell)。