Java泛型通过编译期类型检查自动省略显式强转，并在写入阶段拦截非法类型，使集合契约清晰、调用安全；但类型擦除要求对反射等场景做运行时校验。
Java 中泛型减少强转代码，核心不是“删掉”强转语句，而是让编译器在编译期就确认类型，从而**自动省略显式强转**，并把潜在错误拦截在运行前。
编译期类型固化：让 get() 直接返回目标类型
没有泛型时，List 的 get() 方法声明是 Object get(int index)，你必须手动写 (String) list.get(0)。用了泛型后，List<string></string> 的 get() 在编译期被“看作”返回 String，所以 String s = list.get(0) 合法且安全——编译器已插入隐式转换，你不用写，也不会漏。
同理，Iterator<string></string> 的 next()、Map<string integer></string> 的 get("key")，返回值类型都由泛型参数直接决定。
写入阶段就拦截非法类型：错误不进集合，自然无需纠错式强转
泛型的约束是双向的。你声明 List<string></string>，编译器会拒绝 list.add(42) 这类操作，从源头防止“塞错东西”。这比靠强转来“补救”更根本——不是等取出来发现不是 String 再崩，而是压根不让 Integer 进去。
立即学习“Java免费学习笔记（深入）”；
这种设计让代码逻辑更清晰：集合的契约（只存 String）在声明时就表达清楚，后续所有读写都围绕这个契约展开，不再需要靠注释或人脑记忆来维护类型一致性。
泛型方法与接口统一调用签名：避免每处都做类型适配
比如 DAO 层常用 <T> T findById(Long id, Class<T> type) 或 BaseDao<User> 接口。调用方传入 User.class 或实现 BaseDao<User>，所有方法（findById、findAll）返回值天然就是 User 或 List<User>，不用在每个调用点写 (User) dao.findById(...)。
框架如 MyBatis 的 @Select("...") List<Order> selectOrders(); 也是同理：返回类型由方法签名明确定义，框架内部完成映射，上层零强转。
注意边界：擦除后仍需防御性校验
泛型虽免去大部分强转，但运行时类型信息已被擦除。若涉及反射、原始类型混用（如 List list = new ArrayList()）、或通配符滥用（如 List<?> 后再 (String) list.get(0)），隐式强转仍可能失败。
稳妥做法包括：
• 禁用原始类型，在 IDE 中开启 “Raw type usage” 警告
• 读取不确定来源的集合时，优先用 List<? extends CharSequence> 而非 List<?>
• 关键场景（如通用解析）显式传入 Class<T>，用 clazz.isInstance(obj) 做运行时校验
