冗余通用参数

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是一个可识别的,我认为如果我最终能像这样使用它会很棒:

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.