java 协变返回类型

Question

为什么下面的代码打印“1”？

class A {
    int x = 1;
}

class B extends A {
    int x = 2;
}

class Base {

    A getObject() {
        System.out.println("Base");
        return new B();
    }
}

public class CovariantReturn extends Base {

B getObject() {
   System.out.println("CovariantReturn");
   return new B(); 
}
/**
 * @param args
 */
public static void main(String[] args) {
    Base test = new CovariantReturn();
    System.out.println(test.getObject() instanceof B);
    System.out.println(test.getObject().x);
}
}

Answer 1

因为你指的是字段，它不受多态性的影响。如果您改为使用 getX()，它将返回 2。

您要问的是，类 A 中定义的字段 x 的值（因为 Base.getObject() 返回 A）。即使 CovariantReturn 重写返回 B 的方法，您也不会将您的对象引用为 CovariantReturn。

稍微扩展一下字段如何不受多态性的影响 - 字段访问是在编译时实现的，因此无论编译器看到什么，这就是访问的内容。在您的情况下，该方法定义返回 A ，因此可以访问 Ax 。另一方面，方法是根据运行时类型调用的。因此，即使您定义返回 A 但返回 B 的实例，您调用的方法也会在 B 上调用。

Answer 2

@kris979虽然你返回B，但我认为区别在于返回类型是A。因此打印A中x的值，即1。

Answer 3

正如 Bozho 指出的那样 - 实例变量永远不会受到多态性的影响。让我给你一个简单的小例子。

class Base {
    int i = 1;
    void method() {
        System.out.println("in base");
    }
}

class Sub extends Base {
    int i = 2;

    void method() {
        System.out.println("in sub");
    }
}

public class Test { 
    public static void main(String[] args) {
        Base obj = new Sub();
        obj.method();
        System.out.println(obj.i);
    }
}

此代码将打印 - in sub and 1