java 中一个对象同时具有编译时类型（引用类型）和运行时类型（实际类），二者可能不同；方法调用遵循动态绑定（多态），而成员访问和方法调用受限于编译时类型，这是理解继承、多态与类型转换的核心。
java 中一个对象同时具有编译时类型（引用类型）和运行时类型（实际类），二者可能不同；方法调用遵循动态绑定（多态），而成员访问和方法调用受限于编译时类型，这是理解继承、多态与类型转换的核心。
在 Java 中，ClassA obj = new ClassB(); 这行代码看似简单，却集中体现了面向对象中类型声明与对象本质的关键区别。我们来逐层厘清：
✅ 对象只有一个“真实身份”，但可被多种类型“看待”
-
obj的运行时类型（actual type） 是ClassB—— 因为new ClassB()在堆上创建了一个ClassB实例，这个事实永不改变。 -
obj的编译时类型（declared type / static type） 是ClassA—— 因为变量obj被声明为ClassA类型，编译器仅据此进行类型检查。
这就像“一只贵宾犬（Poodle）”：
- 它本质上是贵宾犬（运行时类型）；
- 但它也必然是狗（Dog），也必然是动物（Animal） —— 因为继承关系是传递且确定的（
Poodle extends Dog extends Animal）； - 当你用
Animal a = new Poodle();声明时，并未改变狗的本质，只是选择用“动物”这个更宽泛的视角去引用它。
验证运行时类型非常简单：
ClassA obj = new ClassB(); System.out.println(obj.getClass()); // 输出：class ClassB（不是 ClassA！）
.getClass() 返回的是对象在内存中真实所属的类，与引用变量类型无关。
✅ 多态如何工作？—— 动态方法分派（Dynamic Dispatch）
Java 的实例方法调用（非 static / final / private）在运行时根据对象的实际类型决定执行哪个版本：
class ClassA {
void speak() { System.out.println("ClassA speaks"); }
}
class ClassB extends ClassA {
@Override
void speak() { System.out.println("ClassB speaks"); }
void bark() { System.out.println("ClassB barks!"); } // 仅 ClassB 有
}
ClassA obj = new ClassB();
obj.speak(); // ✅ 正确输出："ClassB speaks"（多态生效）
// obj.bark(); // ❌ 编译错误：ClassA 中无 bark() 方法
- ✅
speak()调用成功，因为obj指向ClassB实例，JVM 查找其实际类中的重写方法； - ❌
bark()编译失败，因为编译器只检查ClassA类型是否定义该方法 —— 编译时类型决定了“能调用什么”。
? 关键原则：“能做什么”由编译时类型决定；“实际做什么”由运行时类型决定。
✅ 向下转型（Downcasting）：安全与风险并存
若需调用 ClassB 特有方法（如 bark()），必须显式向下转型：
ClassA obj = new ClassB();
if (obj instanceof ClassB) { // 推荐：先检查，避免异常
ClassB bObj = (ClassB) obj; // 安全转型
bObj.bark(); // ✅ 现在可以调用了
}
- 强制转型
(ClassB) obj告诉编译器：“我保证obj实际指向ClassB或其子类”； - 若不满足（例如
obj = new ClassA()），运行时抛出ClassCastException； - 使用
instanceof预检是生产代码的最佳实践。
✅ 数组与多态：为什么 ClassA[] 能存 ClassB 实例？
ClassA[] arr = new ClassA[3]; arr[0] = new ClassB(); // ✅ 合法：因为 ClassB IS-A ClassA
数组是协变的（covariant）：ClassB[] 是 ClassA[] 的子类型（⚠️ 但这是不安全的，故 Java 运行时会对 arr[1] = new ClassA() 做运行时检查，防止类型污染）。
? 总结：三句话牢记核心
-
每个对象有唯一运行时类型（
getClass()返回值），它在创建后不可更改； - 每个引用有独立编译时类型（声明类型），它约束了该引用可访问的成员；
- 多态 = 编译时检查 + 运行时绑定：方法能否调用看声明类型，执行哪个版本看实际类型。
理解这一区分，就真正掌握了 Java 继承与多态的底层逻辑——它不是“对象变成了另一个类”，而是“我们用不同接口与同一个对象对话”。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
