泛型

　　Java泛型是将类型由原来的具体的类型参数化，然后在使用时传入具体的类型。编译器在编译时会去掉类、接口或方法中类型参数的定义，目的是使得用了泛型的Java应用程序能够与未用泛型时创建的类库和应用程序保持兼容性。因此，需要知道类型才能执行的运算，如new运算、instanceof运算等，都无法执行。

定义泛型类型

　　定义泛型类型时用“< >”包含一个类型参数，类型参数常用单个的大写字母表示，常用的有：

　　T -> 类型

　　E -> 元素

　　K -> 关键字

　　根据泛型定义位置的不同，可以分为：

泛型类

　　泛型类是将类型参数定义在类名后：

class A<T> {

    public void test(T t) {
        System.out.println(t);
    }

}

　　继承泛型类的类可以不指定泛型类型：

class B<T> extends A<T> {

    @Override
    public void test(T t) {
        super.test(t);
    }

}

　　也可以指定泛型类型：

class C extends A<String> {

    @Override
    public void test(String s) {
        super.test(s);
    }

}

　　创建泛型类实例时指定泛型类型：

@Test
void testGenericsClass() {
    // 指定泛型类型为java.lang.Integer
    B<Integer> b = new B<Integer>();
    b.test(1);
//    b.test("1");   // 报错，传入参数只能为Integer类型

    // 定义类时已经指定泛型类型为java.lang.String
    C c = new C();
    c.test("1");
}

　　输出结果：

　　

泛型接口

　　泛型接口是将类型参数定义在接口名后。与泛型类相似，实现泛型接口的类可以指定或不指定泛型类型。

泛型方法

　　泛型方法时将类型参数定义在返回值类型前。

class D {

    public<T> void test(T t) {
        System.out.println(t);
    }

}

　　调用同一个对象的泛型方法可以传入不同的泛型类型。这是泛型方法比泛型类实用的一点。

　　调用泛型方法可以在方法名前加上泛型类型。如果泛型方法参数中使用了泛型，则可以省略前面指定的泛型类型，编译器会根据参数类型自动匹配。

@Test
void testGenericsMethod() {
    D d = new D();
    // 指定泛型类型为java.lang.String，传入的参数只能为String类型
    d.<String>test("1");
    // 不指定泛型类型，编译器根据参数“1”自动识别泛型类型为java.lang.Integer
    d.test(1);
}

　　输出结果：

　　

限界类型参数

　　限界类型参数是限定可以取代类型参数的实际类型的范围，格式为：<类型参数 extends 类>，表示传入的泛型类型必须为extends指定的类或其子类。

class E<T extends Number> {

    public void test(T t) {
        System.out.println(t);
    }

}

@Test
void testGenericsBoundedTypeParameter() {
    E<Integer> e = new E<Integer>();
//    E<String> e = new E<String>();   // 报错，java.lang.String类不是java.lang.Number类的子类
}

通配符

　　泛型的通配符用“?”表示，代表未知类型，分为三种：

　　无界通配符（<?>）：代表任意类型。

　　限界通配符（<? extends T>）：代表T类或T的某个子类。

　　下界通配符（<? super T>）：代表T类或T的某个父类。

@Test
void testGenericsWildcard() {
    // 无界通配符
    A<?> a1;
    a1 = new A<Integer>();
    a1 = new A<String>();

    // 限界通配符
    A<? extends Number> a2;
    a2 = new A<Integer>();
//    a2 = new A<String>();   // 报错，java.lang.String类不是java.lang.Number类的子类

    // 下界通配符
    A<? super Integer> a3;
    a3 = new A<Number>();
//    a3 = new A<String>();   // 报错，java.lang.String类不是java.lang.Integer类的父类
}