Java类型检查集合使用指南

Java 的 `Collections.checkedCollection()` 及其家族方法（如 `checkedList`、`checkedSet` 等）提供了一种轻量级的运行时类型安全防护机制：它不改变原有集合，而是通过装饰器模式在每次写操作（如 `add`、`addAll`）前动态校验元素类型，一旦插入非法类型立即抛出 `ClassCastException`，从而将潜在类型错误从不可控的读取阶段提前到明确的写入环节；但需注意它不验证已有元素、不保障读操作安全、不解决泛型擦除问题，也非线程安全——适合在 API 边界、遗留系统集成或临时加固等场景中作为编译期类型检查的有益补充，而非万能替代。

Collections.checkedCollection() 是 Java 提供的一种运行时类型安全包装工具，它能在向集合添加元素时检查类型是否匹配，避免 ClassCastException 在后续遍历时才暴露。但它**只对写操作（如 add、addAll）做检查，不检查已有元素的类型，也不检查读操作返回值的强制转型**。

基本用法：包装后获得类型安全的视图

你需要传入原始集合和期望的元素类型（Class），方法返回一个动态代理包装后的集合：

• 原始集合可以是任意实现类（ArrayList、HashSet 等），但必须非空或已初始化；
• 类型参数 E 必须是具体类（不能是泛型变量或通配符），例如 String.class，不能写 T.class；
• 包装后所有修改操作都会在执行前校验元素是否可赋值给该类型，不满足则抛出 ClassCastException。

示例：

List<Object> rawList = new ArrayList<>();
List<String> safeList = Collections.checkedList(rawList, String.class);

safeList.add("hello");     // ✅ 通过
safeList.add(123);       // ❌ 运行时报 ClassCastException

注意：已有元素不会被重新验证

如果原始集合中已存在非法类型元素，checkedCollection() 不会主动扫描并报错——它只拦截新增/替换动作。这意味着：

• 构造前请确保原始集合内容合法，否则后续读取时仍可能触发异常（尤其在强转为泛型类型使用时）；
• 例如：用 new ArrayList<>(Arrays.asList("a", 42)) 包装成 checkedList(..., String.class)，构造成功，但调用 get(1) 返回 Integer，若代码写成 String s = list.get(1)，编译通过，运行时报错；
• 所以建议只对全新或已清洗过的集合进行包装。

适用场景与局限性

这个机制适用于需要在遗留代码（如接收 List