为什么this（）和super（）必须是构造函数中的第一条语句？

Question

Java要求，如果您在构造函数中调用this（）或super()，它必须是第一条语句。为什么？

例如：

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编译器说“调用super必须是构造函数中的第一条语句”。Eclipse编译器说“构造函数调用必须是构造函数中的第一条语句”。

但是，您可以通过稍微重新排列代码来解决这个问题：

public class MySubClass extends MyClass {
    public MySubClass(int a, int b) {
        super(a + b);  // OK
    }
}

下面是另一个例子：

public class MyClass {
    public MyClass(List list) {}
}

html" target="_blank">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
    }
}

因此，它不会阻止您在调用super之前执行逻辑。它只是阻止您执行无法容纳在单个表达式中的逻辑。

调用this()也有类似的规则。编译器会说“call to this必须是constructor中的first statement”。

为什么编译器会有这些限制呢？你能给出一个代码示例，如果编译器没有这个限制，那么会发生一些不好的事情吗？

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;
  }
}

因此，基本上构造一个基于构造函数参数的对象，将该对象存储在一个成员中，并将该对象上的方法的结果传递到super的构造函数中。使成员final也是相当重要的，因为类的性质是它是不可变的。请注意，构造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

需要在子类“构造器”之前调用父类“构造器”。这将确保如果在构造函数中调用父类上的任何方法，则父类已经正确设置。

您要做的，将参数传递给超级构造函数是完全合法的，您只需要像现在这样内联构造这些参数，或者将它们传递给您的构造函数，然后将它们传递给super:

public MySubClassB extends MyClass {
        public MySubClassB(Object[] myArray) {
                super(myArray);
        }
}

如果编译器没有强制执行此操作,则可以执行以下操作：

public MySubClassB extends MyClass {
        public MySubClassB(Object[] myArray) {
                someMethodOnSuper(); //ERROR super not yet constructed
                super(myArray);
        }
}

在父类具有默认构造函数的情况下，编译器会自动为您插入对super的调用。由于Java中的每个类都继承自object，因此必须以某种方式调用objects构造函数并首先执行它。编译器自动插入super（）允许这样做。强制super首先出现，强制构造函数主体以正确的顺序执行，该顺序为：对象->父级->子级->子级->子级->子级->次级