Java泛型通过编译期强约束实现类型安全：声明List<String>时add非String类型直接编译失败；get()自动转型无需强转，避免ClassCastException；类型擦除后桥接方法和迭代器仍保障运行时校验，反射污染也会在首次取值时暴露问题。
Java 中泛型在集合中通过编译期强约束 + 运行时隐式保障，实现真正意义上的类型安全。它不是靠运行时检查兜底，而是把绝大多数类型错误拦在编译阶段。
编译期就拦截非法赋值
当你声明 List<String>，编译器会把 add() 方法当作只接受 String 类型的入口。传入 Integer、Boolean 或任意其他类型，直接报错，不生成字节码。
-
list.add("ok")→ 合法，顺利通过 -
list.add(123)→ 编译失败，红色波浪线提示“incompatible types” - 即使通过反射强行插入错误类型，后续取用时仍会暴露问题（见下文）
取元素时自动转型，无需手动强转
调用 list.get(0) 时，编译器已知返回值一定是 String，所以自动生成安全的类型转换逻辑。你写 String s = list.get(0)，背后没有 (String) 强转动作，也就不会出现 ClassCastException。
- 非泛型写法：
String s = (String) rawList.get(0)→ 运行时才崩 - 泛型写法：
String s = typedList.get(0)→ 编译器确保安全，运行时零风险
类型擦除不等于放弃安全
虽然泛型在运行时被擦成原始类型（如 List<String> 和 List<Integer> 都变成 List），但擦除过程保留了关键防护：
立即学习“Java免费学习笔记（深入）”；
- 桥接方法会在运行时补做一次类型校验（比如实现泛型接口时生成的
add(Object)方法内部含(String)转换） - 如果绕过编译（如反射）塞进错误类型，下一次正常调用
get()或遍历时，编译器注入的转换代码仍会抛异常，不让错误蔓延 - 迭代器也泛型化了：
Iterator<LocalDate>的next()直接返回LocalDate，不用 cast
配合 for-each 循环天然防错
泛型集合与增强 for 循环深度协同。写 for (String s : stringList)，编译器不仅推断出 s 是 String，还会确保整个遍历过程不会触发非法类型操作。
- 底层调用的是泛型
iterator()，返回泛型Iterator<String> - 循环变量类型由泛型声明决定，而非运行时猜测
- 哪怕集合被反射污染，这个循环首次取值时就会失败，不会静默错配
