Java中父类引用指向子类对象的类型判定与多态疑问

核心概念：声明类型 vs 实际类型 #

• 声明类型（静态类型）：变量定义时的类型，编译期确定，决定编译时能访问的成员（方法、属性）。
• 实际类型（动态类型）：变量实际指向的对象类型，运行期确定，决定运行时方法的执行逻辑。

场景逐个解析 #

场景1：ClassA obj = new ClassB(); #

• obj的声明类型是ClassA，实际类型是ClassB。
• 从对象归属看，这个实例是ClassB的对象，而ClassB继承自ClassA，所以它同时属于ClassA和ClassB两种类型——所有子类对象都是父类的实例，反之不成立。

场景2：ClassB obj = new ClassB(); #

• obj的声明类型和实际类型都是ClassB。
• 没错，它同时属于ClassB和ClassA类型，因为继承的本质是“子类是父类的一种”，ClassB对象天然具备ClassA的所有特性。

场景3：存入ClassA数组 #

ClassA [] objects = new ClassA[3];
ClassA obj = new ClassB();
objects[0] = obj;

• 数组objects的元素声明类型是ClassA，只要是ClassA或其子类的实例都能存入。这里obj的声明类型符合要求，所以可以存入——哪怕实际类型是ClassB，这就是多态的基础：父类引用可指向子类对象。

关键困惑解答 #

1. 重写方法为何执行子类逻辑？ #

这是Java的动态绑定机制：调用方法时，JVM会根据变量的实际类型选择执行的方法实现。所以哪怕变量声明类型是父类，只要实际类型是子类且重写了方法，就会执行子类的逻辑。

2. 为何无法调用子类独有方法？ #

编译期编译器只认变量的声明类型。如果声明类型是ClassA，而ClassA中没有子类独有的方法，编译器会直接报错——它不知道变量实际指向的是ClassB对象，只会按声明类型检查可访问成员。

3. 关于向下转型 #

可以将ClassA类型变量向下转型为ClassB，但必须确保实际类型是ClassB，否则会抛出ClassCastException。通常结合instanceof判断：

if (obj instanceof ClassB) {
    ClassB bObj = (ClassB) obj;
    bObj.classBOnlyMethod(); // 此时可调用子类独有方法
}

直接强制转换不安全，因为不是所有ClassA实例都是ClassB（比如可能有ClassC也继承自ClassA）。

总结 #

这就是Java多态的核心工作机制：

• 编译阶段：基于声明类型做静态检查，限制可访问成员。
• 运行阶段：基于实际类型做动态绑定，决定方法的具体执行逻辑。
  这种设计让代码更灵活，能用父类引用统一处理多个子类对象，同时保留子类的个性化实现。

内容的提问来源于stack exchange，提问作者DCR