泛型是多态的加固层，通过边界约束（extends/super）和协变返回提升类型安全；优先用泛型方法而非泛型类，避免反射混用，复用成熟框架泛型能力。
多态本身不保证类型安全，它只承诺“能调用父类声明的方法”，但运行时实际对象类型可能超出预期——泛型不是多态的替代品，而是它的加固层。关键在于：用泛型约束多态的边界，让编译器在调用前就排除非法操作。
明确泛型边界，封住多态的“漏洞”
当多态依赖继承体系（如 Animal → Dog/Cat），若仅用 List<Animal> 存储，你无法阻止往里加 Robot（只要它也继承 Animal）；但若接口设计为 <T extends Animal>，就能把类型检查前移到方法签名层面。
- 上界约束（
extends）适用于“只读+产出”场景：比如遍历处理器列表并调用process()，要求所有处理器都实现统一行为 - 下界约束（
super）适用于“只写+消费”场景：比如向集合批量添加元素，允许传入更宽泛的父类型实例 - 避免裸通配符
?：它虽灵活，但会禁用添加操作（除null），实际开发中优先用带边界的? extends T或? super T
泛型方法代替泛型类，提升复用粒度
不是所有多态场景都需要整个类泛型化。对工具类或通用操作，泛型方法更轻量、更精准：
- 例如日志记录器不需要是
Logger<String>或Logger<Integer>，而应是<T> void log(T data)—— 类型由每次调用决定，不固化实例状态 - 配合
Class<T>参数可绕过类型擦除限制：比如fromJson(json, String.class)比单纯fromJson(json)更可靠 - 泛型方法支持类型推断：调用
parse("123", Integer.class)时，编译器自动绑定T = Integer，无需显式写<Integer>parse(...)
协变返回与只读集合，安全暴露多态结果
当你返回一个包含子类型的集合（如 Dog 列表），又希望接收方能按 Animal 处理，直接返回 List<Dog> 会因泛型不变性导致编译失败。这时需主动启用协变：
- C# 中用
IReadOnlyList<out T>，Java 中用List<? extends Animal>，TypeScript 中用readonly Array<T> - 协变只允许读取，禁止添加：这正好匹配“生产者”语义——你提供数据，调用方只消费，不修改源头
- 不要试图强制转型绕过限制：比如
(List<Animal>) dogsList是危险的，可能在后续add(new Cat())时引发运行时异常
避免泛型与反射混用带来的安全缺口
泛型擦除后，运行时只剩原始类型（如 ArrayList），若再用反射获取泛型参数（如 getGenericSuperclass()），代码会变得脆弱且难以维护：
- 优先用编译期已知的类型参数：比如
new ArrayList<String>()就比new ArrayList() + cast安全得多 - 需要动态类型时，用
TypeToken（Java）或typeof（TypeScript）封装类型信息，而非依赖反射解析字节码 - 框架级泛型（如 Spring 的
RestTemplate.exchange()）内部已处理擦除问题，业务代码尽量复用，不重复造轮子
