java - 以 Java 特殊行为访问静态内部类 - 为什么？

Question

据我了解，以下代码不应编译，因为在扩展非 static 内部 classes< 时，我们无法更改封闭的 class 参数.

但是，这段代码工作正常。

class A<T0, T1> {
    class B {
        T0 t0;
        T1 t1;
    }

    class C extends A<T1, T0>.B {
        T0 t00 = t1;
        T1 t11 = t0;
    }
}

请帮助我理解为什么它会这样或者我的理解不正确。

Answer 1

code should not compile as we can not change enclosing class parameters

一方面，您没有更改现有的参数，您只是在继承时修改了绑定(bind)到该类的类型。

第二，在解释内部类的参数时，您更改的类型绑定(bind)只不过是颠倒了 C与父类相比B两者都是从 A<T, R> 的边界推断出来的.