从超类访问阴影变量

Question

从这个anwser，他说我们可以通过强制转换this从超类的超类访问阴影变量，但它不适用于方法调用，因为方法调用是根据对象的运行时类型确定的。

但是，为什么我仍然可以在没有显式转换传递参数类型的情况下获得阴影变量？

interface I { int x = 0; }
class T1 implements I { int x = 1; }
class T2 extends T1 implements I { int x = 2; }
class T3 extends T2 implements I {
    int x = 3;

    void test() {
        System.out.println("((T3)this).x=" + ((T3)this).x + "; getT3(this)=" + getT3(this));
        System.out.println("((T2)this).x=" + ((T2)this).x + "; getT2(this)=" + getT2(this));
        System.out.println("((T1)this).x=" + ((T1)this).x + "; getT2(this)=" + getT1(this));
        System.out.println("((I)this).x=" + ((I)this).x + "; getI(this)=" + getI(this));
    }

    public static void main(String[] args) {
        new T3().test();
    }

    int getT3(T3 t3) { return t3.x; }
    int getT2(T2 t2) { return t2.x; }
    int getT1(T1 t1) { return t1.x; }
    int getI(I i) { return i.x; }
}

产生输出：

((T3) this).x = 3; getT3(this) = 3
((T2) this).x = 2; getT2(this) = 2
((T1) this).x = 1; getT1(this) = 1
((I) this).x = 0; getI(this) = 0

如果我理解他的anwser，不应该getT3，getT2，getT1和getI方法都返回3？

Answer 1

因为方法签名期望I，T1，T2和T3，所以当返回i.x，t1.x等时，参数被视为那些类型。

所以调用getT2(this)基本上相当于调用getT2((T2) this)。

这就是为什么他们不会全部返回3，而是x的特定类型的值。

我不确定我是否已经很好地解释了这一点，但是因为T3扩展了T2，所以当传递给T2时，它被隐式地转换为getT2的一个实例。