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

深海001
256 阅读4分钟

本文正在参加「Java主题月 - Java Debug笔记活动」，详情查看活动链接

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

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

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

高分回答：

很多的知识点，真的需要写出来才会掌握!!! \color{purple}很多的知识点，真的需要写出来才会掌握!!!{~}

父类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出现在最前面，强制以正确的顺序执行构造函数主体，该顺序应为：Object-> Parent-> Child-> ChildOfChild-> SoOnSoForth

高分回答：

因为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。;（

顺便说一句，从Java 1.4开始，在this调用内部类超级构造函数之前分配了包含外部的综合字段。这会导致NullPointerException在针对早期版本进行编译的代码中发生特殊事件。

另请注意，在存在不安全的出版物的情况下，除非采取预防措施，否则可以通过其他线程重新查看构造。

编辑2018年3月：在消息记录：构造和验证中， Oracle建议删除此限制（但与C＃不同，在构造函数链接之前绝对this不会分配（DU））。

文章翻译自kgs4h5t57thfb6iyuz6dqtun5y-ac4c6men2g7xr2a-stackoverflow-com.translate.goog/questions/1…

作者建议:将参数传递给父类的构造函数是没有问题的

欢迎关注我的专栏StackOverFlow,我会筛选优质的问答，面试常考!!! \color{red}欢迎关注我的专栏StackOverFlow,我会筛选优质的问答，面试常考!!!{~}

有最新、优雅的实现方式，我也会在文末写出我对本问答的见解 \color{red}有最新、优雅的实现方式，我也会在文末写出我对本问答的见解{~}

真心感谢帅逼靓女们能看到这里，如果这个文章写得还不错，觉得有点东西的话

求点赞👍 求关注❤️ 求分享👥 对8块腹肌的我来说真的 非常有用！！！

如果本篇博客有任何错误，请批评指教，不胜感激 ！❤️❤️❤️❤️

avatar
文章
阅读
粉丝