JDK 1.7 vs JDK 1.6 内部类继承差异

Question

我正在解决一些 Java 难题，偶然发现了这个：

public class Outer {
    class Inner1 extends Outer {}
    class Inner2 extends Inner1 {}
}

在使用 javac 1.6.0_45 编译此代码时，正如预期的那样，我得到了这个错误：

Outer.java:8: cannot reference this before supertype constructor has been called
class Inner2 extends Inner1 {}                                                                                                
^

这是因为编译器为 Inner2 类生成了具有类似代码的默认构造函数，这解释了上面的错误：

Inner2 () {
    this.super();
}

现在很明显，因为在 Java 1.6.0_45、JLS 8.8.7.1 中确实无法做到这一点（我猜到了）：

构造函数体中的显式构造函数调用语句可以 不引用在中声明的任何实例变量或实例方法 此类或任何超类，或在任何表达式中使用 this 或 super； 否则，会发生编译时错误。

请参阅（Odd situation for "cannot reference this before supertype constructor has been called" 中的accepted answer）

但如果我尝试用javac 1.7.0_79 编译它 - 没关系！

问题来了 - Java 1.7 中发生了什么变化，这段代码现在是正确的吗？

提前致谢！

Answer 1

似乎在 Java 错误跟踪器上讨论了与错误 JDK-6708938: Synthetic super-constructor call should never use 'this' as a qualifier 相同的问题。

另外，我认为您最好看看上一期的其他相关问题，例如JDK-4903103: Can't compile subclasses of inner classes 。

注意两个错误的固定版本。

结果见Maintenance Review of JSR 901 (Java Language Specification) for Java SE 7。

来自The Java Language Specification Third Edition

否则，S 是内部成员类（第 8.5 节）。这是一个编译时 如果S 不是词法封闭类的成员，或者不是 超类或其超接口。让O成为最里面的词汇 S 是其成员的封闭类，让 n 为整数，例如 O 是 C 的第 n 个词法封闭类。立即 i 相对于 S 的封闭实例在词法上是第 n 个 this 的封闭实例。

以及来自 Java SE 7 的 JSR 901（Java 语言规范）的维护审查（完整版，第 242 页，蓝色文本）或The Java Language Specification, Java SE 7 Edition 中的相同内容（就在第 8.8.8 节之前）

否则，S 是内部成员类（第 8.5 节）。

令 O 为 S 的最内层词法封闭类，令 n 为整数，使得 O 为 C 的第 n 个词法封闭类。

立即封闭 i 相对于 S 的实例是第 n 个词法封闭 这个例子。

所以你可以看到编译时错误的部分已经消失了。

Answer 2

我怀疑这与 invoke dynamic 有关，它是在 java 1.7 中添加的，用于为 java 8 中的 lambda 做准备。