多态在List声明中的典型写法是用接口类型（如List）声明变量，用实现类（如ArrayList）初始化，以保障可替换性与面向接口编程；若直接使用ArrayList声明则暴露实现、限制扩展、违背设计原则。
多态在 List 声明中的典型写法
Java 中最常见、也最容易被初学者忽略的多态用法，就是用接口类型声明集合变量，而用具体实现类初始化。比如：
List这里list = new ArrayList<>();
List 是接口，ArrayList 是它的实现类，变量 list 的编译时类型是 List，运行时类型是 ArrayList。这种写法不是“为了多态而多态”，而是为了后续能无缝切换实现——比如换成 LinkedList 或 CopyOnWriteArrayList，只要不调用它们独有的方法，代码完全不用改。
为什么不能用 ArrayList 做变量类型？
如果写成 ArrayList，表面上也能运行，但会带来三个实际问题：
- 暴露实现细节：调用方知道你用了
ArrayList，可能无意中依赖其非接口定义的行为（比如ensureCapacity()），导致后续替换实现时出错 - 限制扩展性：想换成
LinkedList时，必须改所有声明和构造语句，还可能牵连到强转或重写逻辑 - 违反面向接口编程原则：集合框架的设计初衷就是让上层只关心“它能不能按索引取、能不能增删”，而不是“它底层怎么存”
多态失效的两种典型场景
即使写了 List，多态也可能“没起作用”，常见于以下情况：
-
调用
ArrayList特有方法：比如list.trimToSize()或list.ensureCapacity(100)，编译直接报错，因为List接口没定义这些方法 -
强转回具体类型后滥用：写成
((ArrayList看似绕过了限制，但一旦将来把) list).trimToSize() new ArrayList()换成new LinkedList()，运行时就抛ClassCastException
泛型擦除不影响多态行为
有人担心“泛型在运行时被擦除，那多态还成立吗？”答案是：成立，且完全不受影响。擦除的是类型参数（比如 Object），但 List 和 ArrayList 的继承/实现关系在字节码里依然清晰存在。JVM 调用方法时，依然根据运行时对象的真实类型（ArrayList）来分派，比如 list.get(0) 实际执行的是 ArrayList.get(int)，不是 List 的默认方法或抽象定义。
立即学习“Java免费学习笔记（深入）”；
真正容易被忽略的是：多态的价值不在语法本身，而在约束调用边界——它逼你只用接口承诺的能力，从而守住可替换性。一旦开始查文档看“ArrayList 比 LinkedList 快在哪”，就该回头检查变量声明是不是又写成了具体类名。
