08-泛型

0. 为什么要有泛型?

1. 在集合中不使用泛型

public void test1(){
List list = new ArrayList();
list.add(89);
list.add(87);
list.add(67);
//1.没有使用泛型,任何Object及其子类的对象都可以添加进来
list.add(new String("AA"));
for(int i = 0;i < list.size();i++){
//2.强转为int型时,可能报ClassCastException的异常
int score = (Integer)list.get(i);
System.out.println(score);
}
}

2. 在集合中使用了泛型

public void test2(){
List<Integer> list = new ArrayList<Integer>();
list.add(78);
list.add(87);
// list.add("AA");
// for(int i = 0;i < list.size();i++){
// int score = list.get(i);
// System.out.println(score);
// }
Iterator<Integer> it = list.iterator();
while(it.hasNext()){
System.out.println(it.next());
}
}
public void test3(){
Map<String,Integer> map = new HashMap<>();
map.put("AA", 78);
map.put("BB", 87);
map.put("DD", 98);
Set<Map.Entry<String,Integer>> set = map.entrySet();
for(Map.Entry<String,Integer> o : set){
System.out.println(o.getKey() + "--->" + o.getValue());
}
}

3. 自定义泛型类:应用

public class DAO<T> {
public void add(T t){
//....
}
public T get(int index){
return null;
}
public List<T> getForList(int index){
return null;
}
public void delete(int index){
}
}
public class CustomerDAO extends DAO<Customer>{
}
public class TestCustomerDAO {
public static void main(String[] args) {
CustomerDAO c = new CustomerDAO();
c.add(new Customer());
c.get(0);
}
}

注意点:

  1. 对象实例化时不指定泛型,默认为:Object。

  2. 泛型不同的引用不能相互赋值。

  3. 加入集合中的对象类型必须与指定的泛型类型一致。

  4. 静态方法中不能使用类的泛型。

  5. 如果泛型类是一个接口或抽象类,则不可创建泛型类的对象。

  6. 不能在 catch 中使用泛型

  7. 从泛型类派生子类,泛型类型需具体化

4. 泛型与继承的关系

A 类是 B 类的子类,G 是带泛型声明的类或接口。那么 G<A> 不是 G<B> 的子类!

5. 通配符:?

A 类是 B 类的子类,G 是带泛型声明的类或接口。则 G<?>G<A>G<B> 的父类。

  • ①以 List<?> 为例,能读取其中的数据。因为不管存储的是什么类型的元素,其一定是 Object 类的或其子类的。

  • ②以 List<?> 为例,不可以向其中写入数据。因为没有指明可以存放到其中的元素的类型!唯一例外的是:null

6. List<? extends A>

  1. 可以将 List<A> 的对象或 List<B> 的对象赋给 List<? extends A>。其中 B 是 A 的子类。

  2. ? super A:可以将 List<A> 的对象或 List<B> 的对象赋给 List<? extends A>。其中 B 是 A 的父类。

下面补充: Java 泛型 | 菜鸟教程

类型通配符:

  1. 类型通配符一般是使用 ? 代替具体的类型参数。例如 List<?> 在逻辑上是List<String>,List<Integer> 等所有List<具体类型实参>的父类。

  2. 类型通配符上限通过形如List来定义,如此定义就是通配符泛型值接受Number及其下层子类类型。

<? extends T><? super T> 的区别:

  • <? extends T> 表示该通配符所代表的类型是 T 类型的子类。

  • <? super T> 表示该通配符所代表的类型是 T 类型的父类。

对于泛型,只是允许程序员在编译时检测到非法的类型而已。但是在运行期时,其中的泛型标志会变化为 Object 类型。一个 List:

List<Integer> list = new ArrayList<>();
list.add(12);
//这里直接添加会报错
list.add("a");
Class<? extends List> clazz = list.getClass();
Method add = clazz.getDeclaredMethod("add", Object.class);
//但是通过反射添加,是可以的
add.invoke(list, "kl");
System.out.println(list)