为什么不根据其对象的运行时类型来选择此方法？

Question

考虑一下：

class A  {
    int x =5;
}

class B extends A{
        int x =6;
    }
public class CovariantTest {

    public A getObject() {
        return new A();
    }

    /**
     * @param args the command line arguments
     */
    public static void main(String[] args) {
        // TODO code application logic here
        CovariantTest c1 = new SubCovariantTest();
        System.out.println(c1.getObject().x);
    }

}

class SubCovariantTest extends CovariantTest {
    public B getObject(){
        return new B();
    }
}

据我所知，JVM 根据其对象的真实类型来选择方法。这里真正的类型是 SubCovariantTest，它定义了一个重写方法 getObject。

程序打印 5，而不是 6。为什么？

Answer 1

该方法确实是由对象的运行时类型选择的。运行时类型没有选择的是整数字段 x。 B 对象存在两个 x 副本，一份用于 Ax，一份用于 Bx。您静态从A类中选择字段，作为getObject返回的对象的编译时类型是A。可以通过向 A 和 B 添加方法来验证这一事实：

class A  {
    public String print() {
        return "A";
    }
}

class B extends A {
    public String print() {
        return "B";
    }
}

并将测试表达式更改为：

System.out.println(c1.getObject().print());

Answer 2

除非我弄错了，否则默认情况下方法在 java 中是虚拟的，因此您可以正确地覆盖该方法。然而字段（如“x”）不是虚拟的并且不能被覆盖。当您在 B 中声明“int x”时，您实际上是在创建一个全新的变量。

多态性不会对字段生效，因此当您尝试在转换为类型 A 的对象上检索 x 时，您将得到 5，如果该对象转换为类型 B，您将得到 6。

Answer 3

当超类和子类中的字段具有相同名称时，称为“隐藏”。除了问答中提到的问题之外，还有其他方面可能会引起微妙的问题：

来自 http://java.sun.com/docs/books/tutorial/java/IandI/hidevariables.html

在一个类中，一个字段具有
与超类中的字段同名
隐藏超类的字段，即使
他们的类型不同。内
子类，超类中的字段
不能简单地引用
姓名。相反，该字段必须是
通过 super 访问，即
下一节将介绍。一般来说
说来说去，我们不建议隐藏
字段，因为它使代码难以
阅读。

有些编译器会警告隐藏变量