我了解何时使用和何时不使用,我在一本书中发现了一个很棒的原则:
Get and Put 原则:当你只从结构中获取值时使用扩展通配符,当你只将值放入结构时使用超级通配符,当你同时获取和放置时不要使用通配符。
这是一个方法,它接受一组数字,将每个数字转换为双精度数,然后将它们相加:
public static double sum(Collection<? extends Number> nums) {
double s = 0.0;
for (Number num : nums) s += num.doubleValue();
return s;
}
由于这使用了extends,因此以下所有调用都是合法的:
List<Integer>ints = Arrays.asList(1,2,3);
assert sum(ints) == 6.0;
List<Double>doubles = Arrays.asList(2.78,3.14);
assert sum(doubles) == 5.92;
List<Number>nums = Arrays.<Number>asList(1,2,2.78,3.14);
assert sum(nums) == 8.92;
如果不使用extends,前两个调用将是不合法的。
例外:您不能将任何内容放入使用扩展通配符声明的类型中——除了值 null,它属于每个引用类型。
每当您使用 add 方法时,都会将值放入结构中,因此请使用超级通配符。这是一个方法,它接受一个数字集合和一个整数 n,并将从零开始的前 n 个整数放入集合中:
public static void count(Collection<? super Integer> ints, int n) {
for (int i = 0; i < n; i++) ints.add(i);
}
由于这使用了 super,以下所有调用都是合法的:
List<Integer>ints = new ArrayList<Integer>();
count(ints, 5);
assert ints.toString().equals("[0, 1, 2, 3, 4]");
List<Number>nums = new ArrayList<Number>();
count(nums, 5); nums.add(5.0);
assert nums.toString().equals("[0, 1, 2, 3, 4, 5.0]");
List<Object>objs = new ArrayList<Object>();
count(objs, 5); objs.add("five");
assert objs.toString().equals("[0, 1, 2, 3, 4, five]");
如果不使用 super,最后两个调用将不合法。
例外:你不能从用超级通配符声明的类型中得到任何东西——除了 Object 类型的值,它是每个引用类型的超级类型。
这个原理也在下面的问题Get and Put rule中解释