Java为什么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) {}
}

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

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

Answer 1

父类constructor需要先于子类被调用constructor。这将确保，如果你在构造函数中的父类上调用任何方法，则该父类已经正确设置。

你想要做的是，将args传递给超级构造函数是完全合法的，你只需要在执行操作时内联构造这些args，或者将它们传递给构造函数，然后将它们传递给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);
        }
}

如果parent类具有默认构造函数，则会自动为你插入对super的调用compiler。由于Java中的每个类都继承自Object，因此必须以某种方式调用对象构造函数，并且必须首先执行它。编译器自动插入super（）可以实现这一点。强制super出现在最前面，强制以正确的顺序html" target="_blank">执行构造函数主体，即：对象->父->子-> ChildOfChild-> SoOnSoForth