Java泛型擦除的理解

Java泛型擦除

泛型是JDK1.5开始加入的，引入范型只是为了解决遍历集合的时候总要手动强制转型的问题，为了兼容之前的版本，Java泛型采取了“伪泛型”的策略，JVM并不知道泛型的存在，泛型在编译阶段就已经被处理成了普通的类和方法。

Java泛型只存在于源码中，编译的时候静态地检查是否正确。

下面一段代码就进行了泛型擦除。

public static void main(String[] args) {
        List<Integer> nums = new LinkedList<>();
        nums.add(1);
        List str = nums;
        str.add("abc");
        System.out.println(nums.toString());
    }
out:[1, abc]

由于JVM不知道泛型的存在，我们还可以用反射给数组加上非泛型数据。

public static void main(String[] args) throws NoSuchMethodException, InvocationTargetException, IllegalAccessException {
        List<Integer> nums = new LinkedList<>();
        nums.add(1);
        Class clazz = nums.getClass();
        clazz.getMethod("add",Object.class).invoke(nums,"abc");
        System.out.println(nums.toString());
    }
out:[1, abc]

优点

• 保证类型的安全性，从集合中读取到的每一个对象都必须进行类型转换，如果不小心插入了错误的类型对象，在运行时的转换处理就会出错。
• 消除强制转换，引入范型只是为了解决遍历集合的时候总要手动强制转型的问题
• 避免装箱拆箱，泛型只能是引用数据类型
• 提高代码的重用性

缺点

• 基于反射实现的方法需要额外提供泛型信息
• 泛型只能是引用类型，加入基本类型必须要包装类
• 类型数量增加，没法用泛型的个数来区分不同的类型。C#没有泛型擦除，所以可以用Func<R>表示一个类型，Func<T, R>表示另一个类型，Func<T1, T2, R> 表示再另一个类型。

参考来源：

https://www.zhihu.com/question/452958728/answer/1817841881

https://blog.csdn.net/ChenRui_yz/article/details/122935621