JAVA24-泛型与注解

泛型（Generics）是一种允许在定义类、接口或方法时使用类型参数的机制。泛型的主要目的是提供类型安全性，并减少类型转换的需要。通过泛型，可以编写更通用、更灵活的代码，同时避免运行时类型转换错误。

为什么需要泛型

主要是为了实现类型安全和使用时的一点点方便(不需要再转换类型),元素拿出来就可以直接用

什么是泛型

规定这个容器只能装什么类型的数据(元素)

1

List<String> list = new ArrayList<>(); // 只能装String类型的容器

泛型擦除

Java的泛型是在编译时期规定这个容器只能装什么类型的数据的,在运行时对于JVM来说,是没有泛型这个区别的，因为你在编译时期添加元素的时候,已经限定了它们都是同一个类型的,因此在运行时,是不存在类型安全问题的，所以在运行时JVM会擦除掉泛型限定，这个叫做泛型的擦除

擦除带来的问题

Java的泛型是假泛型，它只在编译期有效，运行时期完全不保留，因此可以通过泛型的擦除来绕过编译器的检查，如下代码所示

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14

public class Main {
    public static void main(String[] args) {
        /*
        本来list只能装String类型,但通过泛型擦除绕过了编译器的检查
        添加了其他类型的数据,这是很危险的,这就是泛型擦除带来的问题
         */
        ArrayList<String> list = new ArrayList<>();
        ArrayList raw = list;
        raw.add(1);
        raw.add(new Object());
        ArrayList<String> newList = list;
        System.out.println(list.get(0));
    }
}

ArrayList 不是 ArrayList