泛型:<‘T’>/<‘E’> 我们常用的泛型,当我们对于一个类的类型不确定的时候,用泛型比用Object对象更好,因为用Object对象就涉及向上向下转型,在从Object向下转型到其他对象的时候,非常容易报错ClasscastException。而用<‘T’>/<‘E’>泛型就可以不需要进行向上向下转型,直接就知道这个对象里面有哪些函数等。
注意:泛型本身是没有继承关系的,比如ArrayList<‘Object’> a = new ArrayList<‘Integer’>(); 肯定是错的。
那么要解决这个问题,就可以通过泛型的通配符来解决,比如<? extends Object> 那么所有Object及其子类都可以传进来。
通配符:<?> 如果直接这样用通配符,往往很危险,因为可以传任何对象进去,容易造成错误的强制类型转换,所以一般都会限定泛型的通配符的上下限。如下:
对于通配符的上下限操作进一步探讨如下:
继承关系:
1 Apple extends Fruit
2 RedApple extends Apple
3 BlueApple extends Apple
package generics;
import java.util.ArrayList;
public class genericsMain {
public static void main(String[] args) {
/*
* 情况一:通配符的上边界符号extends
* 对于这种情况 array实际上是无法添加任何元素进去的。因为我们指定了ArrayList的类型是?,而这个类型必须是Apple本身或其子类。
* 所以Java认为:
* (1)假设?是Apple的子类RedApple,如果我们传Apple的子类BlueApple进去,那么必然会造成类型错误。
* 所以Java一致认为对于上边界通配符,不允许add操作,只允许get操作。因为:
* (1)对于get出来的对象,不论怎么样,都可以转换为Apple对象,一定不会出问题。
* */
ArrayList<? extends Apple> array= new ArrayList<RedApple>();
array.add(new RedApple()); //IDEA编译就报错
array.add(new Apple()); //IDEA编译就报错
array.add(new Fruit()); //IDEA编译就报错
Apple apple = array.get(0);
/* 情况二:通配符的下边界符号super
* 对于这种情况,我们指定了ArrayList的类型是?,而这个类型必须是Apple本身或其父类。
* 所以Java认为:
* (1)假设?是Apple的父类Fruit,无论我们传任何Apple或其子类add进去,一定都不会出问题,因为无论如何都可以向上转型成Fruit爷爷类。
* 所以这种情况,add操作,是可以add Apple及其子类对象的。不能add其他对象,因为无法保证他们都能向上转型成Fruit爷爷类。
* 同时,Java认为,这种情况允许get操作。但是:
* (1)对于get出来的对象,因为我们并不知道?到底是什么类型的,不同于<? extends Apple>的get操作,一定可以用Apple这个父类作为接受兜底方案。
* 对于<? super Apple>,只能用所有类的父类Object来进行接受了。
* */
ArrayList<? super Apple> array2= new ArrayList<Fruit>();
array2.add(new RedApple());
array2.add(new Apple());
array2.add(new Fruit()); //IDEA编译就报错
Object object = array2.get(0);
//对于通配符一些其他高级应用参考:
// https://www.bilibili.com/video/BV1g54y1h7UW?from=search&seid=4587620389982793863&spm_id_from=333.337.0.0
// https://segmentfault.com/a/1190000005337789
// https://www.bilibili.com/video/BV1S4411o73r?p=9
}
}
本文纯属个人理解,如果有错,请大家指出探讨,谢谢!