Java泛型进阶问题：为什么我们需要指定冗余信息

Question

我的 JPA 模型 POJO 有一些通用类，如下所示：

public interface Identifiable<PK extends Serializable> {
    PK getUniqueId();
}

public interface GenericDao<T extends Identifiable<PK>> {
    public T findById(PK id);
}

此代码无法编译。 为此，我需要指定

public interface GenericDao<T extends Identifiable<PK>, PK extends Serializable> 

但这是多余的信息！ T 扩展 Identificable 的事实意味着将为 Identifying 实例指定 PK 类型，并且这是用于 DAO PK 的类型。

我怎样才能在没有冗余信息的情况下完成这项工作？

谢谢 Fred

---

编辑： 简化示例

Answer 1

你尝试过吗：（

public interface WatchableDao<T extends Watchable<?>>

即它是一个Watchable，但我不在乎Something是什么）

我还没有尝试过，但值得一试。

编辑：问题编辑后，看来您确实需要 PK 作为接口的类型参数。 在这种情况下，我相信你必须像你正在做的那样有效地重复约束。 是的，它是多余的，但我认为它比语言必须根据其在其他地方用作类型参数来指定哪些有效约束将应用于 PK 更简单。 如果有什么安慰的话，C# 中也是如此。

它还使得 PK 的约束仅从接口本身就变得清晰，而不必查看另一个接口来看看什么是可行的。