Java 泛型 - 多次使用相同的通配符

Question

我有一个使用泛型和有界通配符的类声明：

class Factory<T extends Logic<? extends Entity>, 
              U extends DAO<? extends Entity>> 
{
}

基本上它是一个泛型工厂，它采用逻辑接口 (T) 并返回配置的实现。为了实例化逻辑，我采用了一个适当的 DAO 类来实现 DAO 接口 (U)。

逻辑接口和 DAO 接口都是通用的，并采用要使用的实体的类型作为其类型参数。但是，我想进一步限制这一点，以便 DAO 和 Logic 不仅具有扩展实体的类型参数，而且它们扩展相同的实体。结果可能类似于：

class <X extends Entity> Factory<T extends Logic<X>, 
              U extends DAO<X>> 
{
}

Can I get that with java generics?

Answer 1

是的，你很接近。这样做：

class Factory<X extends Entity,
              T extends Logic<X>, 
              U extends DAO<X>> 
{
}

替代方案

class Factory<T extends Logic<?>, 
              U extends DAO<?>> 
{
    // Here, the generic method parameter only requires X
    // to be the same bound at method invocation. However,
    // you will "lose" that information again when the 
    // Factory is returned.
    public static <X extends Entity,
                   T extends Logic<X>, 
                   U extends DAO<X>> Factory<T, U> createFactory(T logic, U dao)
    {
        return new Factory<T, U>(logic, dao);
    }
}

Answer 2

另一种方法可能是提供一个包装器（尽管这并不是很优雅;)）：

class Entity{}

interface Logic<T extends Entity> {}

interface DAO<T extends Entity> {}

interface DaoLogic<X extends Entity> {
  DAO<X> getDAO();
  Logic<X> getLogic();
}

class Factory<T extends DaoLogic<? extends Entity>> {}

Answer 3

会进行以下工作吗？ X 将是“通用”类型，其中 Logic 和 DAO 都将使用此类型。

public class Factory<X extends Entity, T extends Logic<X>, U extends DAO<X>>
{
}