泛型(3)-类型通配符

正如前面讲的,当使用一个泛型类时(包括声明变量和创建对象两种情况),都应该为这个泛型类传入一个类型实参,如果没有传入类型实际参数,编译器就会提出泛型警告,结社现在需要定义一个方法,该方法里有一个集合形参,集合形参的元素类型时不确定的,那么该怎么定义呢?

import java.util.ArrayList;
import java.util.List;
public class Demo1 {
    public  void test(List<Object> list){
        for (int i=0;i<list.size();i++){
 System.out.println(list.get(i));
 }
 }
 public static void main(String[] args) {
 //创建一个Demo1对象
 Demo1 demo1=new Demo1();
 //创建一个list集合
 List<String>list=new ArrayList<>();
 demo1.test(list);//编译错误
 }
}

上面程序编译错误,表明List<String>并不能被当成List<Object>对象使用,也就是说List<String>并不是List<Object>的子类
String是Object的一个子类型(子类或者子接口),List是具有泛型声明的类或者接口,然而List<String>却并不是List<Object>的子类型!这一点非常值得注意,与大部分人的习惯认知不同
Java泛型的设计原则是,只要代码在编译时没有出现警告,就不会遇到运行时ClassCastException异常.
数组和泛型的不同之处:
假设Foo是Bar的一个子类型(子类或者子接口),那么Foo[]也是Bar[]的子类型,但G<Foo>并不是G<Bar>的子类型(子类或者接口).Foo[]自动向上转型为Bar[],方式称之为型变.
代码如下:

Integer [] ia=new Integer[5];bei
Number [] na=ia;
na[0]=0.5;//编译不报错,运行时引发ArrayStoreException异常.


=============================================================================================================================================
使用类型通配符
　　为了表示各种泛型List的父类,可以使用类型通配符,类型通配符是一个'?',将一个问号作为类型实参传给List集合,写作:List<?>(意思是元素类型未知的List).这个问号(?)被称为通配符,它的元素类型可以匹配任何类型,
可以将上面的代码修改如下
public void test(List<?> list){
for(int i=0;i<list.size();i++){
system.out.print(list.get(i))
}}
现在使用任何类型的List来调用它,程序依然可以访问集合list中的元素,其类型是Object,永远是安全的,因为不管List的真实类型是什么,它包含的都是Object,除了List<?>,这种写法还适用于任何支持泛型声明的接口和类.
如Set<?>,Collection<?>,Map<?,?>等.

package com.j1803.Type_wildcards;

import java.util.ArrayList;
import java.util.List;

public class Demo1 {

    public  void test(List<?> list){
        for (int i=0;i<list.size();i++){
 System.out.println(list.get(i));
 }
 }

 public static void main(String[] args) {
 //创建一个Demo1对象
 Demo1 demo1=new Demo1();
 //创建一个list集合
 List<String>list=new ArrayList<>();
 demo1.test(list);//编译错误

 List<Integer>list1=new ArrayList<>();
 list1.add(1);
 list1.add(2);
 list1.add(3);
 demo1.test(list1);
 }
}
answer:
1
2
3


但这种带有通配符的List仅表示它是各种泛型List的父类,并不能把元素放入其中.例如,下面代码进会引起编译错误.
List<?> c=new ArrayList<>();
c.add(new Object());//出现编译错误
原因是程序无法确定c集合中元素的类型,所以不能向其中添加对象.
====================================================================================================================================
设定类型通配符的上限
　　当直接使用List<?>这种形式时,即表明这个List集合可以是任何泛型List的父类,但还有一种特殊的情况,程序不希望这个List<?>是任何泛型List的父类,只希望它代表某一类泛型List的父类,考虑到一个简单的绘图程序.

---恢复内容结束---

泛型(3)-类型通配符

猜你喜欢