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);
}
}

- kris979

Answer 1

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

您所要求的是类中定义的字段x的值（因为Base.getObject()返回）。尽管重写了该方法以返回，但您没有将自己的对象引用为。

稍微解释一下字段不受多态性影响的方式-字段访问在编译时实现，所以无论编译器看到什么，就会访问什么。在您的情况下，该方法定义为返回，因此访问的是。而方法根据运行时类型调用。因此，即使您定义为返回但返回一个实例，您调用的方法也将在上被调用。

- Bozho

---

但是该方法被定义为返回 A。所以访问的是 A.x。 - Bozho

@kris，你正在使用A的引用调用方法，在其中它具有返回类型A。 - jmj

好的，即使 test.getObject() 返回 B 的一个实例，test 变量仍然是 Base 引用。因此，在打印 x 的情况下，它会调用 Base:getObject() 吗？ - kris979

test.getObject() instanceof B 返回 true - 这就是让我感到困惑的地方！ - kris979

因为instanceof检查发生在运行时，而A.x在编译时实现。 - Bozho

Answer 2

正如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);
    }
}

这段代码将会输出 - 在子程序中和1。

- Rishikesh Dhokare

---

简洁明了的答案。 - STEEL

Answer 3

@kris979 虽然你返回了 B，但我认为不同之处在于返回类型是 A。因此，A 中 x 的值即 1 被打印出来。

- Ashish K Agarwal