为什么这个()和超级()必须是构造函数中的第一个语句？

Question

为什么这个()和超级()必须是构造函数中的第一个语句？Java要求，如果在构造函数中调用了这个()或超级()，那么它必须是第一个语句。为什么？例如：public class MyClass {     public MyClass(int x) {}}public class MySubClass extends MyClass {     public MySubClass(int a, int b) {         int c = a + b;         super(c);  // COMPILE ERROR     }}Sun编译器说：“调用超级必须是构造函数中的第一条语句”。Eclipse编译器说“构造器调用必须是构造函数中的第一个语句”。但是，您可以通过稍微重新排列代码来解决这个问题：public class MySubClass extends MyClass {     public MySubClass(int a, int b) {         super(a + b);  // OK     }}下面是另一个例子：public class MyClass {     public MyClass(List list) {}}public class MySubClassA extends MyClass {     public MySubClassA(Object item) {         // Create a list that contains the item, and pass the list to super         List list = new ArrayList();         list.add(item);         super(list);  // COMPILE ERROR     }}public class MySubClassB extends MyClass {     public MySubClassB(Object item) {         // Create a list that contains the item, and pass the list to super         super(Arrays.asList(new Object[] { item }));  // OK     }}所以，它是不阻止您执行逻辑在打电话给超级英雄之前。它只是阻止您执行逻辑，您不能适应一个单一的表达式。对于调用，也有类似的规则。this()..编译器说“调用这必须是构造函数中的第一个语句”。为什么编译器有这些限制？您能给出一个代码示例，如果编译器没有这个限制，那么会发生一些不好的事情吗？

Answer 1

通过链接构造函数和静态方法，我找到了解决这一问题的方法。我想做的事情看起来是这样的：

public class Foo extends Baz {
  private final Bar myBar;

  public Foo(String arg1, String arg2) {
    // ...
    // ... Some other stuff needed to construct a 'Bar'...
    // ...
    final Bar b = new Bar(arg1, arg2);
    super(b.baz()):
    myBar = b;
  }}

因此，基本上是基于构造函数参数构造一个对象，将对象存储在一个成员中，并将该对象上的一个方法的结果传递给超级构造函数。使成员成为最终成员也是相当重要的，因为类的本质是它是不可变的。注意，实际上构建Bar需要几个中间对象，所以在我的实际用例中，它是不可还原为一行的。

最后我做了这样的事情：

public class Foo extends Baz {
  private final Bar myBar;

  private static Bar makeBar(String arg1,  String arg2) {
    // My more complicated setup routine to actually make 'Bar' goes here...
    return new Bar(arg1, arg2);
  }

  public Foo(String arg1, String arg2) {
    this(makeBar(arg1, arg2));
  }

  private Foo(Bar bar) {
    super(bar.baz());
    myBar = bar;
  }}

它完成了在调用超级构造函数之前执行多个语句的任务。

Answer 2

因为JLS这么说。是否可以兼容的方式更改JLS以使其允许？ 是啊。

然而，这将使语言规范复杂化，因为语言规范已经足够复杂了。这不是一件非常有用的事情，而且有一些方法可以绕过它(用静态方法或lambda表达式的结果调用另一个构造函数)this(fn())-方法是在其他构造函数之前调用的，因此也是超级构造函数)。因此，做这种改变的权力与重量之比是不利的。

请注意，仅此规则并不阻止在超类完成构造之前使用字段。

考虑一下这些非法的例子。

super(this.x = 5);super(this.fn());super(fn());super(x);super(this instanceof SubClass);// this.getClass() would be /really/ useful sometimes.

这个例子是合法的，但“错了”。

class MyBase {
    MyBase() {
        fn();
    }
    abstract void fn();}class MyDerived extends MyBase {
    void fn() {
       // ???
    }}

在上面的示例中，如果MyDerived.fn所需的参数MyDerived构造函数，它们需要使用ThreadLocal. ;(

顺便说一句，自Java1.4以来，包含外部的合成字段this在调用内部类超级构造函数之前分配。这引起了NullPointerException编译为针对早期版本的代码中的事件。

还请注意，在不安全发布的情况下，除非采取了预防措施，否则其他线程可以重新查看构造。

2018年3月编辑：在讯息中记录：建造和验证Oracle建议取消这一限制(但与C#不同的是，this将是绝对没有分配(Du)构造函数链接之前)。

在历史上，这个()或超级()必须是构造函数中的第一个。这种限制从来不受欢迎，被认为是武断的。有一些微妙的原因，包括特别是对请求的核查，促成了这一限制。多年来，我们已经在VM级别解决了这些问题，以至于考虑取消这个限制变得非常实际，不仅对记录，而且对所有构造函数都是如此。