本文深入探讨了Java中引用类型与实际对象类型之间的关系，以及它们如何影响方法调用、多态性和方法重写。通过具体代码示例，详细解析了编译时方法可访问性与运行时方法执行的机制，强调了`getClass()`的行为、类型转换的必要性以及`@Override`注解的最佳实践，帮助开发者掌握Java面向对象编程的核心概念。
在Java中，理解对象实例的实际类型与引用变量的声明类型之间的区别至关重要。这涉及到多态性、方法重写以及类型转换等核心概念。本文将通过一个具体的示例，深入剖析这些机制的工作原理。
引用类型与实际对象类型
当我们在Java中创建一个对象并将其赋值给一个引用变量时，存在两种类型：
- 引用类型 (Reference Type)：这是声明引用变量时使用的类型。它决定了通过该引用变量可以访问哪些方法和字段（在编译时）。
- 实际对象类型 (Actual Object Type)：这是创建对象实例时使用的具体类。它决定了对象在运行时实际的行为，尤其是在方法重写的情况下。
考虑以下Java类结构：
立即学习“Java免费学习笔记（深入）”；
// Bicycle.java
public class Bicycle {
public int cadence;
public int gear;
public int speed;
public Bicycle(int startCadence, int startSpeed, int startGear) {
gear = startGear;
cadence = startCadence;
speed = startSpeed;
}
public void printDescription(){
System.out.println("\nBike is " + "in gear " + this.gear
+ " with a cadence of " + this.cadence +
" and travelling at a speed of " + this.speed + ". ");
}
}// MountainBike.java
public class MountainBike extends Bicycle {
private String suspension;
public MountainBike(
int startCadence,
int startSpeed,
int startGear,
String suspensionType){
super(startCadence,
startSpeed,
startGear);
this.setSuspension(suspensionType);
}
public void setSuspension(String suspensionType) {
this.suspension = suspensionType;
}
// 使用 @Override 标注重写方法是最佳实践
@Override
public void printDescription() {
super.printDescription();
System.out.println("The " + "MountainBike has a " +
getSuspension() + " suspension.");
}
public String getSuspension() {
return suspension;
}
}在Main类中，我们创建了一个MountainBike实例，并将其赋值给一个Object类型的引用变量：
// Main.java
public class Main {
public static void main(String args[]){
Object obj = new MountainBike(1,2,3,"soft");
System.out.println(obj.getClass());
System.out.println(obj.getClass().getSimpleName());
// ... 后续操作
}
}尽管obj的引用类型是Object，但其内部指向的实际对象是一个MountainBike实例。obj.getClass()方法总是返回对象的实际运行时类。因此，System.out.println(obj.getClass())会输出class MountainBike，obj.getClass().getSimpleName()会输出MountainBike，这证实了obj的实际类型是MountainBike。
编译时方法可访问性
引用类型在编译时扮演着关键角色，它决定了通过该引用变量可以调用哪些方法。如果一个MountainBike对象被Object类型的引用变量obj引用，那么在不进行类型转换的情况下，只能调用Object类中定义的方法。
考虑以下代码：
// Main.java (续)
public class Main {
public static void main(String args[]){
Object obj = new MountainBike(1,2,3,"soft");
// ...
obj.printDescription(); // 编译器错误
}
}当尝试执行obj.printDescription()时，编译器会报错："Cannot resolve method 'printDescription' in 'Object'"。这是因为obj的引用类型是Object，而Object类中并没有printDescription这个方法。尽管obj实际指向的是一个MountainBike对象，它确实有printDescription方法，但在编译时，Java编译器只检查引用类型Object所能提供的方法。
运行时方法执行与多态性
要访问MountainBike或其父类Bicycle中特有的方法，需要进行类型转换（Type Casting）。类型转换告诉编译器，我们确定这个Object引用实际上指向一个更具体的类型。
// Main.java (续)
public class Main {
public static void main(String args[]){
Object obj = new MountainBike(1,2,3,"soft");
// ...
((Bicycle) obj).printDescription(); // 成功执行
}
}将obj强制转换为Bicycle类型后，编译器现在允许调用Bicycle类中定义的方法，包括printDescription()。然而，令人惊讶的是，这段代码的输出并非Bicycle的printDescription，而是MountainBike的printDescription：
Bike is in gear 3 with a cadence of 1 and travelling at a speed of 2. The MountainBike has a soft suspension.
这正是Java多态性（Polymorphism）和方法重写（Method Overriding）的体现。当一个子类（MountainBike）提供了与父类（Bicycle）中同名、同参数列表的方法时，子类的方法就重写了父类的方法。在运行时，Java虚拟机（JVM）会根据对象的实际类型来决定调用哪个方法实现。即使引用类型是Bicycle，由于实际对象是MountainBike，JVM会执行MountainBike中重写的printDescription方法。
@Override 注解
为了提高代码的可读性、可维护性，并帮助编译器进行检查，强烈建议在重写父类方法时使用@Override注解。
// MountainBike.java (修订)
public class MountainBike extends Bicycle {
// ...
@Override // 明确标注这是一个重写方法
public void printDescription() {
super.printDescription();
System.out.println("The " + "MountainBike has a " +
getSuspension() + " suspension.");
}
// ...
}@Override注解是一个编译时注解，它告诉编译器下面的方法旨在重写父类中的一个方法。如果被注解的方法并没有正确重写父类方法（例如，方法签名不匹配），编译器就会报错，从而避免潜在的运行时错误。它不改变程序的运行时行为，但为开发者提供了重要的保障和清晰的意图表达。
总结与注意事项
- 引用类型决定编译时可访问性：引用变量的声明类型（如Object、Bicycle）决定了在编译阶段，可以通过该引用变量调用哪些方法。
- 实际对象类型决定运行时行为：对象的实际类型（如MountainBike）决定了在运行时，对于被重写的方法，哪个具体实现会被执行。这是多态性的核心。
- getClass()获取实际类型：obj.getClass()方法总是返回对象的实际运行时类，不受引用类型的影响。
- 类型转换的必要性：要访问子类或特定父类中定义的方法，当引用类型是更通用的类型时，需要进行显式的向下类型转换。
- @Override注解：在重写父类方法时，始终使用@Override注解。这不仅能提高代码可读性，还能让编译器帮助我们检查是否正确重写了方法。
理解这些概念是掌握Java面向对象编程的关键。通过实践和深入探索，开发者可以更好地利用Java的强大功能来构建健壮、灵活的应用程序。
