Java协变

Question

public class CovariantTest {
    public A getObj() {
        return new A();
    }

    public static void main(String[] args) {
        CovariantTest c = new SubCovariantTest();
        System.out.println(c.getObj().x);
    }
}

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

class A {
    int x = 5;
}

class B extends A {
    int x = 6;
}

上面的代码在编译运行时打印出 5。它使用覆盖方法的协变返回。

为什么它打印 5 而不是 6，因为它在 SubCovariantTest 类中执行过度使用的方法 getObj。

有人可以解释一下吗？谢谢。

Answer 1

这是因为在 Java 中，成员变量不会覆盖，它们影子(与方法不同)。 A 和 B 都有一个变量 x。由于 c 被声明为 CovarientTest 类型，getObj() 的返回隐式为 A，而不是 B，因此您得到 A 的 x，而不是 B 的 x。