java内部类语义实现

这里不阐述内部类（这里只说明成员内部类，其他的大致相同）的基本语法特性，这里只探究内部类为什么能实现相关语义的原因。

问题1：内部类为什么，能够使用外围类中的成员变量或成员函数。

大胆假设：内部类持有外围类的对象引用。
小心求证：
1.先写一段包含成员内部类的代码

public class Outter {
    class Innner {

    }
    public static void main(String[] args){
        
    }
}

2.分析Inner的默认构造函数中是不是有外围类的引用。
javap -v Outter$Inner.class

通过字节码，可以看到在内部类的默认构造函数中有一个外部类参数，并在默认构造函数给这个this$0赋值，这个this$0通过局部变量表可以看到类型就是外部类。

所以假设是对的。

问题2：为什么继承内部类的时候，必须在继承的类的构造函数中使用以下语法：enclosingclassrefference.super();

大胆假设：这个操作是为了给继承的内部类传递其外部类引用。
小心求证：
1.写一段继承内部类的代码（拷贝Thinking in java）

class WithInner {
    class Inner {
    }
}

public class InheritInner extends WithInner.Inner {
    //! InheritInner() {} // Won't compile
    InheritInner(WithInner wi) {
        wi.super();
    }

    public static void main(String[] args) {
        WithInner wi = new WithInner();
        InheritInner ii = new InheritInner(wi);
    }
}

其实观察代码就可以验证假设了，这里可能需要说明一点，我们经常在构造函数中使用super()，其实这个等价于this.super(),把this这个引用传递给父类的构造函数。这里是把外部类对象的引用传递给内部类WithInner.Inner。