相关疑难解决方法(0)

我认为你不能将Java泛型类型参数绑定到下限(即使用super关键字).我正在阅读Angelika Langer Generics常见问题解答中有关该主题的内容.他们说这基本上归结为下限无用("没有任何意义").

我不相信.我可以想象它们的用途可以帮助您更灵活地生成类型化结果的库方法的调用者.想象一个方法,它创建一个用户指定大小的数组列表,并用空字符串填充它.一个简单的声明就是

public static ArrayList<String> createArrayListFullOfEmptyStrings(int i);

但这对您的客户来说是不必要的限制.为什么他们不能像这样调用你的方法:

//should compile
List<Object> l1 = createArrayListFullOfEmptyStrings(5); 
List<CharSequence> l2 = createArrayListFullOfEmptyStrings(5);
List<String> l3 = createArrayListFullOfEmptyStrings(5);

//shouldn't compile
List<Integer> l4 = createArrayListFullOfEmptyStrings(5);

在这一点上,我很想尝试以下定义:

public static <T super String> List<T> createArrayListFullOfEmptyStrings(int size) {
  List<T> list = new ArrayList<T>(size);
  for(int i = 0; i < size; i++) {
     list.add("");
  }
  return list;
}

但它不会编译; super在这种情况下,关键字是非法的.

上面我的例子是一个坏例子(忽略我在下面说的)？为什么这里没有下限？如果它有用,那么Java中不允许它的真正原因是什么？

PS

我知道一个更好的组织可能是这样的:

public static void populateListWithEmptyStrings(List<? super String> list, int size); …