Eclipse泛型原始类型警告疑问：ArrayList创建为何需加<>

嘿，这个问题问得很戳中泛型的核心细节，我来一步步给你讲明白～

为什么IDE要求在new ArrayList后添加<>？ #

你提到左边的Collection<String>已经限制了不能添加非String对象，但这里的关键是**new ArrayList()是原始类型（raw type）**——这是Java为兼容泛型出现前的老代码保留的特性，它会绕过泛型的类型安全检查：

• 虽然当前代码里c.add(1)会被编译器拦截，但如果后续有代码把这个原始类型的ArrayList赋值给其他泛型类型（比如Collection<Integer>），编译器只会给出警告而非错误，等到运行时从集合里取元素做类型转换时，就会抛出ClassCastException。
• 添加<>（也就是钻石操作符，Java 7及以上支持）是告诉编译器：这个ArrayList的泛型类型和左边变量的泛型类型完全一致（也就是ArrayList<String>），这样编译器能在创建集合的阶段就确保类型一致性，从根源上避免潜在的类型转换错误。

泛型会被类型擦除，这个警告有实际意义吗？ #

当然有！泛型的价值很大一部分就体现在编译时的类型检查，虽然运行时泛型信息会被擦除，但编译阶段的检查能帮你提前发现绝大多数类型错误：

• 原始类型会让编译器放弃泛型的类型校验，相当于打开了一个“安全漏洞”——你可能在某个地方不小心把非String元素塞进集合，编译器不会报错，直到运行时才炸锅。而使用<>后，编译器会全程跟踪集合的元素类型，杜绝这类问题。
• 从代码可读性来说，new ArrayList<>()比new ArrayList()更清晰，其他开发者一眼就能看出这个集合的元素类型是String，不用翻上下文推导。

结合你的代码再补充一点 #

你代码里c.add(1)报错，是因为左边的Collection<String>做了类型校验，但如果换个写法：

ArrayList rawList = new ArrayList();
rawList.add(1);
Collection<String> c = rawList; // 这里编译器只会给警告，不会报错
String s = c.iterator().next(); // 运行时抛出ClassCastException

这种情况下，原始类型就会导致运行时错误，而如果用new ArrayList<>()，编译器在rawList.add(1)的时候就会直接报错，提前阻止问题发生。

内容的提问来源于stack exchange，提问作者JavaNovice