今天简单聊聊java泛型之:
先简单来段例子:
public void testGenerics() {
Collection<Number> numbers = new ArrayList<>();
numbers.add(1); // ok
Collection<?> tmp = numbers;
// don't work, you don't know what type 'tmp' obviously contains
// tmp.add(1);
Collection<? extends Number> tmp2 = numbers;
// don't work, you don't know what subtype 'tmp2' obviously contains
// tmp2.add(1);
Collection<Integer> integers = new ArrayList<>();
tmp = integers;
tmp2 = integers;
Collection<String> strings = new ArrayList<>();
tmp = strings;
// tmp2 = strings; // don't work
}
这个问题其实有点反人类,估计大部分人(包括我)对这种转换的第一反应肯定是“当然是对的。。”,说下我的理解:
说到为什么在不明确类型的情况下不能允许写操作,那是为了运行期的安全,举个例子:
public void testGenerics2() {
List<Integer> integers = new ArrayList<>();
List<? extends Comparable> comparables = integers;
integers.add("1");
comparables.get(0).intValue(); // fail
}
如果comparables允许添加Comparable类型,那么运行期就有可能会抛出一些意料之外的RuntimeException,导致方法不正常结束甚至程序crash。
现在再来说说Collection<Object>与Collection<?>,又是很多人(包括我)第一反应肯定是“Object是所有java对象的公共父类,所以Collection<Object>可以表示任意类型的集合”,来看个例子:
public void testGenerics3() {
List<Integer> integers = new ArrayList<>();
List<Object> objects = integers; // don't work
List<?> objects1 = integers; // ok
}
为什么Collection<Object>不是表示任意类型呢,其实也是编译器认为这里有类型转换错误的风险:
public void testGenerics4() {
List<Integer> integers = new ArrayList<>();
List<Object> objects = new ArrayList<>();
// this will be ok if List<Object> equals List<?>
// objects = strings;
// objects.add("1");
// Integer i = (Integer) objects.get(0); // and crashes
List<?> objects1 = new ArrayList<>(); // ok
// objects1.add("1"); // compiler will make it illegal
}
后记:
很久没发声了,一直想写点赞搜索架构设计中的小心得,然而才动了几个字,先来点随笔填填空虚。