Java多态在集合中通过父类或接口类型统一管理子类对象，确保编译期行为契约、运行时动态绑定；正确声明如List<Animal>，禁止用List<Object>或具体子类；遍历时自动分发方法调用，新增子类无需修改原有代码。
Java 中多态在集合容器里统一存储和管理不同子类对象，关键不是“把乱七八糟的类型塞进一个集合”，而是用父类或接口类型作为契约，让所有子类对象在编译期就承诺提供相同行为，运行时再自动执行各自实现。
用父类或接口类型声明集合
声明集合变量时，类型必须是共同的上层类型，而不是具体子类。这样编译器才能确保所有添加的对象都满足行为契约：
- 正确写法：List<Animal> animals = new ArrayList<>(); 或 Collection<Drawable> shapes = new LinkedList<>();
- 错误写法：List<Object> list = new ArrayList<>();（失去方法约束，IDE无法补全，容易出错）；或 List<Dog> dogs = new ArrayList<>();（根本存不进 Cat）
- 子类对象可直接 add 进去：animals.add(new Dog()); animals.add(new Cat()); 编译通过，运行安全
遍历时自动分发行为，无需 if-else
只要子类重写了父类或接口中定义的方法，遍历调用时 JVM 就会根据实际对象类型动态绑定：
- for (Animal a : animals) { a.makeSound(); } → Dog 输出“汪”，Cat 输出“喵”
- 这种写法把差异封装在子类内部，集合逻辑干净、可读性强
- 新增子类（如 Bird）只需继承 Animal 并重写 makeSound()，原有循环代码完全不用改
方法参数也应使用顶层类型
把集合传给其他方法时，参数类型同样要面向抽象：
立即学习“Java免费学习笔记（深入）”；
- void process(List<Animal> list) —— 可接收 ArrayList<Dog>、LinkedList<Cat> 等任意组合
- void render(Collection<? extends Shape> shapes) —— 支持泛型通配，更灵活
- 编译器只检查类型兼容性，运行时由 JVM 动态决定调用哪个子类方法
不能直接访问子类特有成员，需谨慎转型
多态集合暴露的是父类/接口声明的能力，子类独有的方法不可见：
- animals.get(0).fetchBall(); → 编译报错，因为 Animal 类型没有 fetchBall()
- 如确需调用，必须先判断再强制转型：if (animals.get(0) instanceof Dog) { ((Dog) animals.get(0)).fetchBall(); }
- 频繁出现这类判断，说明设计可能有问题——考虑把 fetchBall() 提升为接口方法，或引入策略模式
