JAVA 泛型与通配符的使用

      泛型的本质是参数化类型。即所操作的数据类型被指定为一个参数。

      1.jdk 1.5/1.6 必须显式的写出泛型的类型。

      2.jdk 1.7/1.8 不必显式的写出泛型的类型。

一、泛型声明

      可以用<T>、<K,V>、<T  extends  Number>等进行泛型的声明。其中，<T  extends  Number>的声明方式限定了T的范围，T只能为 Number的子类。

      1.参数类型用在类的创建中，泛型类。

      2.参数类型用在接口的创建中，泛型接口。

      3.参数类型用在方法的创建中，泛型方法。注意泛型<T>的声明位置，在方法的修饰符之后，返回值类型之前。

package me;

public class GeneTest<T> {

    private T date;

    public T getDate() {
        return date;
    }

    public void setDate(T date) {
        this.date = date;
    }

}

package me;

public interface InteGene<E> {

    public E getData();

    public void setData(E e);

}

package me;

public class MeGeneTest {

    public static <T> void Gene(T test) {

        System.out.println(test);
    }

    public <T> T getDate(T test) {

        return test;
    }

}

二、? ，类型通配符

      通配符的几种形式：

      1.无限定通配符，<?>。

      2.上限通配符,<?  extends  Number>。表示参数类型只能是Number的子类。

      3.下限通配符，<?  supper Number>。表示参数类型只能是Number的父类。

package me;

public class Test {
    
    public static void main(String[] args) {
    
        GeneTest<String> gts = new GeneTest<>();
        gts.setDate("this is a test !");
        print(gts);
        
        GeneTest<Integer> gti = new GeneTest<>();
        gti.setDate(123);
        print(gti);
    }
    
    public static void print(GeneTest<?> s){
        
        System.out.println(s.getDate());
    }

}

      上面的示例代码中，print()方法的参数使用了通配符，得以传入泛型类GeneTest<T>任意类型的参数。如果，将通配符改成具体的一种类型，例如String类型。那print()方法就只能传入泛型类GeneTest<String>类型的参数。

      泛型的声明表明，在类、接口、方法的创建中，要使用一个未知的数据类型，将来可能会用到的一种数据类型。它可以是Integer类型，也可以是String类型。就把它的类型定义成 T 、K 或者是V等等。

      在实例化的时候，就必须声明T具体是一个什么类型。

      在定义泛型对象的使用方法时，还不知道T是什么类型，它可能是String类型，也可能是Integer类型。如果，把T定义成一个确定的泛型数据类型，参数就只能是这种数据类型。此时，就用到了通配符代替确定的泛型数据类型。

      使用泛型、通配符提高了代码的复用性。

      把一个对象分为声明、使用两部分的话。泛型侧重于类型的声明上代码复用，通配符则侧重于使用上的代码复用。泛型用于定义内部数据类型的不确定性，通配符则用于定义使用的对象类型不确定性。