Java 重写的运行时绑定

运行结果解读

• 编译运行后依次输出动物可以移动与狗可以跑和走
• a.move() 调 Animal，b.move() 调 Dog
• b 虽声明为 Animal，运行却是 Dog 的方法

反例与原理

• Dog 有 bark()，但 b 的引用类型是 Animal
• Animal 没有 bark 方法，编译器找不到符号直接报错
• 编译看引用类型，运行看实际对象类型