一尘不染

Java为什么this()和super()必须是构造函数中的第一条语句?

java

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

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


阅读 2326

收藏
2020-02-26

共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出现在最前面,强制以正确的顺序执行构造函数主体,即:对象->父->子-> ChildOfChild-> SoOnSoForth

2020-02-26