【Java范型三】Java范型详解之范型类型通配符

 

 

定义如下一个简单的范型类，

 

package com.tom.lang.generics;

public class Generics<T> {
    private T value;
    public Generics(T  value) {
        this.value = value;
    }
}

 

  

    @Test
    public void test() {
        Generics<Integer> v1 = new Generics<Integer>(10);
        Generics<Long> v2 = new Generics<Long>(10L);
        Generics<Object> v3 = new Generics<Object>(new Object());

         v1  = v2; //编译错
         v2 = v1; //编译错
         v3 = v1; //编译错
    }

 

在Java范型一中给已经说到了，上面的三种类型是不兼容的，即v1,v2,v3赋值语句都有编译错。这个例子代码表明，确定范型类的类型，一方面包括范型类本身，另一方面包括类型参数。范型类型只有类型和类型参数相同，才能认为类型是兼容的。

 

范型通配符

 范型类的类型参数不同导致的类型的变量不能有存放到范型集合中，使用<?>可以通配类型参数，

 

 

        Generics<?>[] array = new Generics[3];
        Generics<Integer> v1 = new Generics<Integer>(10);
        Generics<Long> v2 = new Generics<Long>(10L);
        Generics<Object> v3 = new Generics<Object>(new Object());
        array[0] = v1;
        array[1] = v2;
        array[2] = v3;

 

限制类型的范型通配符

  使用<? extends  SuperClass>定义限制类型的范型通配符，例如

        Generics<? extends Number>[] array = new Generics[3];
        Generics<Integer> v1 = new Generics<Integer>(10);
        Generics<Long> v2 = new Generics<Long>(10L);
        Generics<Object> v3 = new Generics<Object>(new Object());
        array[0] = v1;
        array[1] = v2;
        array[2] = v3; //编译错

 

 

 使用下面的限制类型的范型通配符，会有编译错，这是为什么？也就是说，通配符不能出现在范型类的范型参数列表中？

 

public class Generics<? extends Number> {

}

 

 使用<? super ChildType>

 

        Generics2<? super java.sql.Date>[] array = new Generics2[3];
        Generics2<java.util.Date> v3 = new Generics2<java.util.Date>(new java.util.Date());
        array[0] = v3;

 

上例中，数组中的每个元素的类型参数的类型都是java.sql.Date的父类

 

 

泛型通配符的应用场景

 带有泛型通配符的泛型类，由于通配符只有在运行时才能确定其真正的类型，因此，泛型通配符在上使用上有一定的限制，

 

 1. 如下的定义会有编译错，原因是?是任意类型，在类中无法使用

 

public class Generics<? extends Number> {

}

 

 只能像如下的定义，T这个类型参数在编译时虽然没有确定，但是编译时可以知道这个类型是继承自Number的，因此Number可用的方法，对于T来说也可以使用

public class Generics<T extends Number> {

}

 

 2. 泛型通配符可以用于一致的赋值，例如

 

        Generics<? extends Number>[] array = new Generics[3];
        Generics<Integer> v1 = new Generics<Integer>(10);
        Generics<Long> v2 = new Generics<Long>(10L);
        Generics<Object> v3 = new Generics<Object>(new Object());
        array[0] = v1;

 

 3.又如下面的定义，这个变量定义，可以将泛型类型赋值给var，达到一种Javascript弱类型的效果

 

public class Generics <T> {
    public static void main(String[] args) {
        Generics<?> var = null;
        var = new Generics<String>();
        var = new Generics<Date>();
    }
}