根本原因是编译期类型检查：Java编译器仅依据引用的声明类型（如Animal）查找成员，子类特有方法（如bark()）在父类中不存在，故编译直接报错；需instanceof校验后向下转型，或通过抽象共性、策略模式等优化设计。
子类实例向上转型为父类引用后无法调用子类独有方法，根本原因在编译期类型检查——Java 编译器只认“左边的类型”，也就是父类声明类型，而子类特有方法在父类中根本不存在，所以编译直接报错，不给运行机会。
编译器只看声明类型，不看实际对象
比如：Animal a = new Dog();，变量 a 的声明类型是 Animal。编译器在检查 a.bark() 时，会去 Animal 类里找有没有 bark() 方法。没有，就立刻报错 cannot resolve method 'bark()'。它甚至不会等到运行时去看 a 实际是不是 Dog。
- 这和字段访问逻辑一致：若 Animal 和 Dog 都定义了 name 字段，a.name 拿到的是 Animal 的值，不是 Dog 的
- 这也解释了为什么 a.eat() 能打印“汪汪”：因为 eat() 在 Animal 中已声明，且被 Dog 重写，运行时靠动态绑定调用子类实现
向上转型本身不丢失对象，但限制了“可见接口”
转型只是换了个“视角”看同一个对象。a.getClass() 仍返回 Dog.class，对象内存里所有字段和方法都完整存在。但父类引用就像一个“窄窗口”，只能看到父类公开定义的部分。
deep-java-review
下载
Java项目代码review工具。分析Git变更+完整调用链路上下文，推断业务需求，进行多维度评分和分类汇总，生成完整PRD文档。包含细粒度Java代码审查清单（Null安全、异常处理、Streams、并发、equals/hashCode、资源管理、API设计、性能、MyBatis/ORM、事务边界、SQL/DD...
- 子类新增的 public 方法、非重写的 static 方法、同名但未重写的字段，都不在这个窗口里
- 这种限制不是缺陷，而是 Java 类型安全机制的第一道防线，防止误用不兼容的成员
想用子类特有方法？必须显式向下转型 + 类型校验
要调用 bark()，就得告诉编译器：“我知道这个 a 其实是 Dog，请按 Dog 类型来查方法”。但这个断言必须自己负责验证：
立即学习“Java免费学习笔记（深入）”；
- 先用 instanceof 判断：if (a instanceof Dog)
- 再强制转换：Dog d = (Dog) a;
- 之后才能安全调用：d.bark();
- 跳过 instanceof 直接强转，一旦 a 实际是 Cat 或纯 Animal，运行时抛 ClassCastException
设计上更推荐绕开频繁转型，而不是硬扛限制
反复判断+转型往往说明接口设计可以优化。与其让每个调用方都做类型检查，不如把共性行为提前抽象：
- 如果多个子类都有“获取唯一标识”的需求，就在 Animal 中定义 public String getId()，由各子类实现
- 如果行为差异大且难以统一，考虑策略模式或 Visitor 模式，把分支逻辑封装起来
- JDK 17+ 可用 switch 表达式配合模式匹配，让类型分发更简洁安全
