泛型方法

问题描述

java.util.Collections 中的方法 emptyList 的声明和方法体如下

public static final <T> List<T> emptyList() {
    return (List<T>) EMPTY_LIST;
}

实验发现,使用什么类型的集合接受,它就会返回什么的集合,比如

List<Student> list = Collections.emptyList();

这时候 emptyList 方法中的泛型就是 Student ,为什么? 这个静态方法的泛型是怎么确定的

问题解决

先看下面一个例子

List<Student> list = new ArrayList<>();
list.add(new Student());
Student student = list.get(0);

这段代码反编译之后是这样的

List list = new ArrayList();
list.add(new Student());
Student student = (Student)list.get(0);

可以看到在 get list 中的元素的时候, 赋值之前还是出现强制类型转换的

再看这段代码

list list1 = new ArrayList<>();
list1.add(new Student());
Student student1 = (Student) list1.get(0);

反编译之后

List list1 = new ArrayList();
list1.add(new Student());
Student student1 = (Student)list1.get(0);

可以看出, 给不给泛型底层的代码都是一样的, 都是需要强转的

那么, 我们可以这样理解:

• 指定泛型了之后, 程序员可以方便的知道对象具体是什么类型, 并且在将未指定泛型的对象赋给实际类型的变量的时候可以不需要强转
• 如果不指定泛型的话, 将未指定泛型的对象赋给实际类型的变量是需要强制类型转换的

也就是说,泛型的存在就是省略了程序员进行类型强制转换这一步. Java 在编译的时候, 对于存在泛型的静态无参方法, 会根据使用了什么类型的变量接收返回值来进行强制类型转换

总结

1. 类上的泛型会根据创建对象的时候指定的类型进行强转

2. 对于静态方法的泛型, 一般返回值都是对应的泛型

   • 如果参数中有泛型, 就根据参数的类型确定泛型,也就是返回值类型
   • 如果参数中没有泛型,就根据接收返回值的类型来确定泛型

3. 泛型的底层实际上还是强制类型转换