冗余通用参数

Question

我有这两个接口和类：

public interface Identifiable<T> {
    T getId();
}

public interface GenericRepository<T extends Identifiable<K>, K> {
    T get(K id);
}

public class MyEntity implements Identifiable<Long> {

    private Long id;

    public Long getId() {
        return id;
    }
}

public class MyService {
    private GenericRepository<MyEntity, Long> myEntityRepository;
}

这一切都按预期工作。但在我看来，GenericRepository (K) 中的第二个通用参数是多余的。因为我知道 MyEntity 是一个 Identifiable，所以我认为如果我最终可以像这样使用它会很棒：

public class MyService {
    private GenericRepository<MyEntity> myEntityRepository;
}

但我正在尝试不同的事情但没有成功。可能吗？如果没有，为什么不呢？

更新：回答一些回复。我认为编译器知道 MyEntity 中的泛型类型。例如：

public class MyEntityGenericRepository implements GenericRepository<MyEntity, Long> {
    // compiles...
}

public class MyEntityGenericRepository implements GenericRepository<MyEntity, String> {
    // compiler says: "Bound mismatch: The type MyEntity is not a valid substitute for the bounded parameter <T extends Identifiable<K>> of the type GenericRepository<T,K>"
}

Answer 1

我认为你不能省略它。对于T extends Identifiable<K>，您想说泛型类型参数必须是Identifiable。由于Identifiable 是一个泛型类，你也需要提及它的泛型类型参数（如果你想遵守规则——如果你省略它，你将失去GenericRepository 的所有泛型类型安全性，因为向后兼容规则）。另请注意，K 实际上用作GenericRepository.get 的参数类型。并且由于该类型可能与T 不同，因此您需要通过将其声明为GenericRepository 的另一个泛型类型参数来满足编译器的要求。否则编译器无法知道K 是什么。

Answer 2

从 GenericRepository 类的角度来看，这不是多余的。当它有像T get(K id) 这样的方法时，它不知道它可以接受哪些类型的id 参数。你可以这样写：

interface GenericRepository<T extends Identifiable<?>> {
    T get(Object id);
}

现在您不必将Long 写为类型参数，但是您无法在编译时检查get 方法是否正确使用。所以类型变量有特定的用途。

对于字段声明，当你有一个泛型类型时，你必须指定它使用的所有类型变量。当然，您可以争辩说，如果语言能够理解其中一个参数值可以从另一个参数值推断出来，那就太好了，但这是值得商榷的。

Answer 3

除了引入一个只优化 GenericRepository 的接口之外，你无能为力

  public interface LongKeyedRepository<T extends Identifiable<Long>> 
        extends GenericRepository<T, Long> { {
  //No new methods need to be defined
  }

那么你就可以拥有了

private LongKeyedRepository<MyEntity> myEntityRepository;

等等

Answer 4

如果我没记错的话，泛型将全部编译为就好像它们只是 Object。现在（硬）检查语法以确保您没有将苹果和橙子放在一起，因为泛型是在 Java 的初始设计之后添加的。这就是为什么泛型如此受限的原因......

Answer 5

它适用于（即编译）

public interface GenericRepository<T extends Identifiable> {
    T get(T id);
}

但它仍然说 Identifiable 是一种原始类型，并且应该对其进行参数化。

希望对你有帮助。

Answer 6

为什么不能从中删除第二个 K，

public interface GenericRepository<T extends Identifiable<K>, K> {

那么，与其像上面那样，我们可以把它当作

public interface GenericRepository<T extends Identifiable<K>> {

这样我们就可以做你想做的事了。