类的词法内含类型

Question

JLS 8.1.3就是这样定义词汇封闭类型概念的：

类或接口O是其自身的第0个词汇封闭类型声明。

类O是类C的第n个词汇封闭类型声明，如果它是C的第n-1个词汇封闭类型声明的直接封闭类型声明。

因此，从这个定义中不清楚是否考虑了任何内部类，或者仅仅是类或接口O的内部类。这些是不同的概念，因为最后一个定义如下：

如果O是C的直接封闭类型声明，并且C的声明不在静态上下文中出现，则内部类C是类或接口O的直接内部类。

类C是类或接口O的内部类，如果它是O的直接内部类或O的内部类的内部类。

为了更清楚，让我举一个例子：

class A{
    class Bar{ } //inner class of class A

    public static void main(String[] args){
        class Foo{ } //inner class, but not an inner class of class A
    }
}

演示

立即封闭类型的定义被认为是类或接口的任何内部类或内部类？




Answer 1

Bar和Foo都有A作为直接封闭的类型声明。他们是平等的。Foo也包含在方法声明中这一事实并不影响这一点。