java泛型在编译期消除强制类型转换，核心是编译器利用类型信息自动插入检查与擦除后安全调用；需使用参数化类型、泛型方法推断、通配符边界等机制保障类型安全。
Java 中通过泛型在编译期消除强制类型转换，核心在于让编译器掌握足够的类型信息，从而在生成字节码时自动插入类型检查和擦除后的安全调用，避免手动 (TargetType) 转换。这并非“完全删除类型检查”，而是把运行时的显式转换，提前到编译期由泛型系统推导并验证，失败则直接报错。
使用泛型类/接口明确类型参数
定义类或接口时声明类型参数，使内部方法返回值、字段类型与调用方一致，编译器就能推断出具体类型，无需强转。
- 错误写法（原始类型，需强转）：
List list = new ArrayList(); list.add("hello"); String s = (String) list.get(0); - 正确写法（泛型化）：
List<string> list = new ArrayList(); list.add("hello"); String s = list.get(0); // 编译期已知返回 String，无强转</string>
泛型方法配合类型推断
泛型方法能根据实参类型自动推导类型参数，返回值类型随之确定，避免对返回结果做显式转换。
- 例如自定义工具方法：
<t> T getFirst(List<t> list) { return list.isEmpty() ? null : list.get(0); }</t></t> - 调用时：
String s = getFirst(Arrays.asList("a", "b")); // 编译器推导 T=String，返回值直接是 String 类型 - 若传入
List<integer></integer>，返回值就是Integer，无需(Integer)强转
避免原始类型（Raw Type）和泛型擦除带来的退化
泛型擦除发生在编译后，但只要全程使用带类型参数的引用（而非 raw type），编译器就能持续跟踪类型信息，保障类型安全。
- 不要这样写：
List rawList = new ArrayList<string>(); Object o = rawList.get(0); String s = (String) o; // 退化为原始类型，丢失泛型信息</string> - 应始终使用参数化类型：
List<string> list = new ArrayList(); String s = list.get(0); // 安全、简洁</string> - 构造器中也可利用菱形语法
让编译器从左侧推断，保持类型一致性
结合通配符与上界/下界提升灵活性而不牺牲类型安全
当需要处理多种子类型又不想失去编译期类型检查时，用 ? extends T 或 ? super T，配合方法签名设计，仍可避免强转。
-
void processNumbers(List extends Number> nums)：可安全读取元素为Number及其子类，无需强转成Number -
<t> void addAll(List<t> dest, List extends T> src)</t></t>：编译器确保src元素可加入dest，不需逐个强转
泛型不是魔法，它靠编译器静态分析实现类型安全。只要坚持使用参数化类型、合理设计泛型边界、避免混用原始类型，90% 的显式类型转换就自然消失了——不是被绕过，而是被提前验证并内化为语言契约。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
