学习笔记——泛型

Posted 2020-10-22

泛型的意义：
泛型用来保证类型的统一，主要目的之一就是用来指定容器要持有什么类型的对象，而且由编译器来保证类型的正确性。
1.类型安全，通过设置泛型，可以让编译器验证类型
2.消除强制转换。如果不用泛型，将元素从容器中取出时，都是由object类型向目标类型强制转换。而由于泛型的擦除，所有的泛型类型变量都会被替换为原始类型，在获取的时候，集合会实现变量的强制转换，转换是隐式的。

1. 泛型类：public class Test<T>
2. 泛型接口：public interface Generator<T> {T next()}
   泛型可以用于接口，例如生成器Generator，是一种专门负责创建对象的类。
3. 泛型方法：public <T> void test(T x)
   是否拥有泛型方法，与这个类是否泛型没有关系。

类型变量限定：
<T extends myClass>
<T super myClass>
无界通配符：<?>

泛型的擦除：
当你在使用泛型时，任何具体的类型信息都被擦除了。编译器在编译的时候去掉类型信息，生成不包含类型信息的java字节码。
泛型类型参数有限定的将擦除到它的第一个边界，无限定的变量会擦除到object。

泛型的局限：

1. 基本类型无法作为类型参数，但是java具备自动基本类型包装功能。原因是类型擦除后，原始类型变为object，而object不能存储int等基础类型的值。
2. 由于擦除，一个类不能实现同一个泛型接口的两种变体。
3. 不能创建参数化类型的数组。如Pair<String>[] table = new Pair<String>[10];是错误的，因为擦除会将string信息抹去，所以只要是Pair类型的对象都可以被加入。
4. 使用带有泛型类型参数的转型或instanceof不会有任何效果，也不能实例化类型变量。用反射调用class.newInstance()解决
5. 在静态方法和静态变量中不能使用泛型。因为泛型中泛型参数的实例化是在定义对象时指定，而静态方法和变量可以不需要对象就可以调用。