Java泛型：ArrayList原始类型与泛型类型实例化的区别问询

嘿，这个问题其实是Java泛型体系里很典型的“兼容旧代码”带来的小困惑，我给你拆解清楚：

先把两行代码明确摆出来：

• 第一行：ArrayList<String> list = new ArrayList();
• 第二行：ArrayList<String> list = new ArrayList<String>();

核心区别 #

1. 泛型类型的完整性 #

第二行是完全遵循泛型规范的写法：变量声明时指定了<String>，实例化ArrayList时也明确标注了<String>，编译器可以全程跟踪这个集合的元素类型，确保所有操作都符合String类型的要求。

第一行则是混合了原始类型（raw type）和泛型变量的写法：变量声明是带泛型的<String>，但实例化的是没有泛型参数的原始ArrayList——这是Java为了兼容5.0之前无泛型的旧代码保留的语法，但编译器会判定这里存在类型检查漏洞，所以抛出「Unchecked assignment」警告。

2. 编译/运行时的安全差异 #

• 第二行写法：编译器会在编译阶段就帮你把关——如果你尝试往list里添加Integer或其他非String类型的元素，直接就会报编译错误，从根源上避免了运行时的类型转换异常。
• 第一行写法：编译器无法检查原始ArrayList里的元素类型，你可以偷偷往里面加任何Object子类的对象（比如list.add(123)），编译时不会报错，但当你后续从list里取元素并转型为String时，运行时就会直接抛出ClassCastException，这就是那个警告要提醒你的潜在风险！

额外小提示 #

Java 7及以后还支持更简洁的菱形语法：ArrayList<String> list = new ArrayList<>();，编译器会自动根据变量声明的泛型类型推断实例的泛型参数，既简洁又能保证类型安全，现在大多推荐用这种写法~

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