OpenJDK 官网公布了一项新的 JEP 草案,内容是不再要求 super() 或 this() 在构造器中作为首条语句出现。
该草案当前目标是更改 Java 语言规范,并对 Java 编译器进行相应的更改,以便:
-
super()
或this()
不再必须作为构造器中的第一条语句出现 - 保留提供给构造器的现有安全和初始化保证
- 现有程序继续像以前一样编译和运行
按照目前的 Java 语言规范,构造器的第一条语句必须要求调用super()
或this()
。但 Java 虚拟机实际上支持更多的灵活性:
-
this()
或super()
的多次调用可能会出现在构造器中,只要在任何代码路径上有一次调用 - 任意代码可出现在
this()
/super()
之前,只要该代码不引用正在构建的实例 - 不过
this()
/super()
调用可能不会出现在try { }
块内
事实上,JLS 受到了许多不必要的限制。而这种不一致属于历史产物:最初的 JVM 规范也有更多的限制,这导致了编译器生成的合成字段存在初始化问题——为了支持新的语言特性,如内部类和捕获的*变量。现在 JVM 规范被放宽以适应编译器,但这种新的灵活性从未回到语言层面。