1.概述

泛型，自JDK1.5引入的语法糖，底层本质上就是类型强转，目的是为了“参数化类型”。所谓的参数化类型是希望参数的类型能动态指定。泛型泛型既可以修饰属性，又可以修饰方法。

public class Bean_01<T> {
    private T t;

    public T getT() {
        return t;
    }

    public void setT(T t) {
        this.t = t;
    }
}

属性和方法的类型可以通过参数的方式动态指定：

public static void main(String[] args) {
        Bean_01<String> bean_01_1=new Bean_01();
        bean_01_1.setT("string");
        Bean_01<Integer> bean_01_2=new Bean_01();
        bean_01_2.setT(100);
        System.out.println(bean_01_1.getT().getClass());
        System.out.println(bean_01_2.getT().getClass());
    }

2.类型擦除

泛型的实现核心就是类型擦除，即在编译后泛型的类型JVM是不可见的，如List<String> List<integer>都只会被编译为List类型，具体的泛型类型会被擦除。所以在编译时擦除之前JVM会尽量检查以保证泛型类型的一致，不支持父子关系，如List<String>只能对应List<String>，不能对应List<Object>：：

3.类型限制

可以通过通配符来进行类型的限制，通配符有以下几种：

？	无限定通配符，表示任意类
extends	上边界通配符，限制子类
super	下边界通配符，限制父类

// 无限定通配符
List<?> list1 = new ArrayList<>();
Object o = list1.get(0); // 只能得到 Object 类型

// 上界限定通配符
List<? extends Number> list2 = new ArrayList<>();
Number n = list2.get(0); // 可以得到 Number 或 Number 的子类

// 下界限定通配符
List<? super Integer> list3 = new ArrayList<>();
list3.add(123); // 可以添加 Integer 或 Integer 的父类，例如 Object

4.泛型方法

可以在方法返回值类型前面使用泛型修饰符，参数化参数类型，也就是指定参数的类型。

public class MyClass {
    public <T> void print(T[] array) {
        for (T element : array) {
            System.out.println(element);
        }
    }
}

MyClass obj = new MyClass();
Integer[] intArray = {1, 2, 3, 4, 5};
String[] strArray = {"hello", "world"};

// 显式指定类型参数
obj.<Integer>print(intArray);
obj.<String>print(strArray);

// 根据参数类型推断类型参数
obj.print(intArray);
obj.print(strArray);

详解JAVA泛型

1.概述

2.类型擦除

3.类型限制

4.泛型方法

猜你喜欢