父类引用子类对象的多态原理

父类引用指向子类对象是面向对象中多态的核心体现，它并非语法糖或编译器妥协，而是基于严格 is-a 继承关系的类型系统强制保障：子类天然满足父类契约，因此向上转型安全自动；编译期仅允许调用父类声明的方法（保障类型安全），而方法调用则在运行时动态绑定到实际子类的重写实现，真正实现“同一接口、不同行为”；但字段访问和静态方法仍按声明类型绑定，子类特有方法需谨慎向下转型并配合类型检查——理解这一机制，才能写出灵活、可扩展又健壮的面向对象代码。

父类引用能指向子类对象，本质是类型兼容 + 运行时动态绑定

这不是语法糖，也不是编译器“通融”，而是 Java 类型系统基于 is-a 关系的强制保障：只要 Dog extends Animal，那每个 Dog 实例就天然满足 Animal 的契约。编译器允许 Animal a = new Dog()，因为它静态检查到子类完整实现了父类声明的所有公开接口（方法签名、可见性），不会出现“调用不存在的方法”这种编译错误。

为什么不能调用子类特有方法？编译期只认左边类型

当你写 a.bark()（而 bark() 只在 Dog 里定义），编译直接报错：cannot resolve method 'bark()' in 'Animal'。因为编译器只看变量声明类型（Animal），不关心右边实际是哪个子类。它只放行 Animal 类中已声明的方法——哪怕运行时那个对象其实是 Dog。

• 想调用子类独有方法，必须先向下转型：((Dog) a).bark()
• 但强制转型有风险：如果 a 实际指向的是 Cat，就会抛 ClassCastException
• 安全做法是先用 instanceof 检查：if (a instanceof Dog d) { d.bark(); }（Java 14+ 模式匹配语法）

方法调用走的是“运行时决定”，不是“声明时决定”

这是多态真正起作用的地方。即使 a 是 Animal 类型，只要 a.makeSound() 被子类重写了，JVM 就会在运行时查该对象的实际类（Dog），然后调用 Dog.makeSound() —— 这叫动态方法调度（dynamic method dispatch）。

class Animal {
    void makeSound() { System.out.println("Some sound"); }
}
class Dog extends Animal {
    @Override
    void makeSound() { System.out.println("Bark"); }
}
Animal a = new Dog();
a.makeSound(); // 输出 "Bark"，不是 "Some sound"

注意：这个机制只对 override（重写）有效，对 overload（重载）或 static 方法无效——后者在编译期就绑定了声明类型。

常见误判点：这不是对象复制，也不是类型转换

Animal a = new Dog() 不会创建两个对象，也不改变原始 Dog 实例；它只是让一个引用变量 a 指向已存在的 Dog 对象内存地址。所谓“向上转型”（upcasting）是自动、安全、无开销的，因为子类对象本就包含了完整的父类结构（字段 + 方法表入口）。真正容易出错的是反向操作：向下转型失败、忽略 final 方法不可重写、误以为字段也有多态（字段访问永远看声明类型）。

到这里，我们也就讲完了《父类引用子类对象的多态原理》的内容了。个人认为，基础知识的学习和巩固，是为了更好的将其运用到项目中，欢迎关注golang学习网公众号，带你了解更多关于的知识点！