12.Java 基础 - 通配符

基本概念

通配符（Wildcard） ，使用一个问号表示类型参数 ， 是一种表示【未知类型】的【类型约束】的方法。

泛型将数据类型定义为一个参数，我们可以在用到的使用再指定具体的类型。但是如果在用到的时候还不能确定具体的类型，就需要依靠通配符来解决。

抽象的讲，因为泛型不支持协变，所以才引入了通配符，使得将泛型类型变成协变的。

---

通配符作用

下面通过两个例子来探究下通配符的作用。

1.不使用通配符

ArrayList<Object> list_obj = null;
ArrayList<String> list_str = new ArrayList<String>();
// ArrayList 的元素支持  String -> Object 的强制转换list_str.add("hello");
System.out.println((Object)list_str.get(0));// 编译错误，泛型不支持协变list_obj = list_str;

观察代码，发现：

• 存放在 ArrayList 中的元素却是支持从 String -> Object 的向上转型，因为 String 是 Object 的子类。

• 当 ArrayList 的参数类型从 String -> Object 转换的时候出现了编译错误，因为泛型不支持协变。

---

2.使用通配符

ArrayList<String> list_str = new ArrayList<String>();
list_str.add("hello");

ArrayList<Integer> list_int = new ArrayList<Integer>();
list_int.add(100);

ArrayList<?> list = null;
list = list_str;
System.out.println(list.get(0));    // hellolist = list_int;
System.out.println(list.get(0));    // 100//编译错误list.add("hello");
list.add(100);

观察代码，发现：

• 在使用了通配符之后，它允许其接受任意类型的转变，正好解决了泛型不支持协变的限制。

• 但是同时也失去了向其中加入任何类型对象的权利。

---

通配符类型

通配符的形式有三种，分别是：

//1、无限定通配符 Demo<?>//2、上边界限定通配符 Demo< ? extends Number>   

//3、下边界限定通配符    Demo< ? super Number>

---

1.上边界限定通配符

观察下面的例子：定义了三个带有继承关系的类，分别是 Person -> Man -> Worker。

class Person{    void print(){
    }
}

class Man extends Person{    void paly(){
    }
}

class Worker extends Man{    void say(){
    }
}public class Test {
    public static void main(String[] args)  {        
    // 创建了三个 ArrayList 数组
        ArrayList<Person> personList = new ArrayList<Person>();
        ArrayList<Man> manList= new ArrayList<Man>();
        ArrayList<Worker> workerList = new ArrayList<Worker>();        
        // 限定了上界， ？ 代表 Man 以及继承 Man 的类
        ArrayList<? extends Man> list  = null;

        list = manList;
        list = workerList;        // 编译错误，因为 Person 是 Man 的父类
        list = personList;        // 编译错误，因为使用了通配符就不能添加对象
        list.add(new Man());
        list.add(new Worker());        for(Man man : list){
            man.print();
            man.paly();
        }        for(Person per : list){
            per.print();
        }        // 编译错误，因为 ？ 也可以代表 Man
        // 从继承我们可以知道 Worker 肯定是 Man，但 Man 不一定是 Worker。
        // for(Worker worker : list);
    }
}

---

2.下边界限定通配符

// 省略相同代码...public class Test {
    public static void main(String[] args)  {
        ArrayList<Person> personList = new ArrayList<Person>();
        ArrayList<Man> manList= new ArrayList<Man>();
        ArrayList<Worker> workList = new ArrayList<Worker>();        
        // 限定了下届， ？ 代表 Man 以及 Man 的父类
        ArrayList<? super Man> list  = null;

        list = personList;
        list = manList;        // 编译错误，因为 Worker 是 Man 的子类
        list = workList;        // 编译错误，无法确定其父类对象
        // Person 继承子 Cell 类，那么用 Person 遍历就是错误的
        // for(Man man : list);
        // for(Person per : list);

        // 因为 Object 是所有类的根类,所以可以用Object来遍历
        // for(Object obj : list);
    }
}

---

3.无边界通配符

// 省略相同代码...public class Test {
    public static void main(String[] args)  {
        ArrayList<Person> personList = new ArrayList<Person>();
        ArrayList<Man> manList= new ArrayList<Man>();
        ArrayList<Worker> workList = new ArrayList<Worker>();        //无边界通配符
        ArrayList<?> list  = null;        //可以代表一切类型
        list = personList;
        list = manList;
        list = workList;        //为了避免类型混淆，只允许使用 Object 遍历
        for(Object obj : list); 
    }
}

 以上就是12.Java 基础 - 通配符的内容，更多相关内容请关注PHP中文网（www.php.cn）！