java - 如何在类定义中的泛型类型中捕获子类型？

Question

我无法相信如果不将类键入冗余的 2 类，我就无法捕获 P:

public class MyClass<T extends List<P>> {

   T getList(/**/){}
   P getRandomElement(){ /**/ }
}

我真的需要将 MyClass 定义和实例化为 MyClass<String,ArrayList<String>>吗？ , 难道不能以某种方式推断出来吗？

编辑:我的意思是我认为必须定义 MyClass<P,T extends List<P>> 是多余的因为那时我需要始终将其实例化为 MyClass<String,ArrayList<String>> ，并且到处携带字符串。如果语言允许像

MyClass<L extends List<P>> 这样的东西就好了或类似的。这样，MyClass<ArrayList<String>>会返回 ArrayList<String>在执行 getList() 时和一个 String在执行 getRandomElement() 时, 很好。

Answer 1

如果你真的必须拥有 List 的确切类型从 getList 返回, 那么你需要类型参数 T以及P .

public class MyClass<P, T extends List<P>> {

这样你就可以得到一个MyClass<String, ArrayList<String>>谁的getList方法返回 ArrayList<String>和一个 getRandomElement返回 String 的方法.

但是，通常不需要知道 List 的确切类型.通常，如果你有一个 List ，那么对于此类的用户来说，哪种类型的 List 并不重要真的是。在这种情况下，您不需要类型参数 T , 只有 P .您可以将类(class)更改为:

public class MyClass<P> {
   List<P> getList(/**/){}
   P getRandomElement(){ /**/ }
}

然后你可以有一个MyClass<String>谁的getList方法返回 List<String>和一个 getRandomElement返回 String 的方法.