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);