调用 super() 构造函数应该是构造函数的第一行吗？

Question

调用super() 构造函数应该是构造函数的第一行吗？如果是，那为什么？为什么在构造函数调用前不能做一些简单的有限计算，比如构造函数参数计算？

我发现了一个可以用闭包规范调用的内部类构造函数：

class A {
    class Inner1 {
        Inner1() {
            // do something
        }
    }
}

class B {
    A a1 = new A();
    A a2 = new A();

    class Inner2 extends A.Inner1 {
         Inner2(boolean sel) {
             (sel?a1:a2).super();
         }
    }

}

这个案例表明我们可以为基类构造函数选择封闭实例。为什么选择逻辑应该如此有限？为什么不能写这样的东西

if( sel ) {  
    a1.super();
}
else {
    a2.super();
}

添加

通过我的问题，我的意思是限制可能类似于以下情况：

public class Base {

private final String content;

public Base(String content) {
    this.content = content;
}

public String getContent() {
    return content;
}

}


public class Derived extends Base {

public Derived(String content) {
    super(String.format("Current value of content is %s.", getContent()));
}


}

在后一种情况下，我：

1) 满足super()在第一行的要求

2) 违反构造顺序

3) 获得编译器错误“无法在显式调用构造函数时引用实例方法”

那么，为什么我们不能废除“第一线要求”而只依赖最后一个错误呢？

Answer 1

是的，对super() 的调用是构造函数中的第一次调用。

如此之多，以至于如果您忽略它，编译器将（尝试）为您插入调用。要了解原因，您需要了解 Java 设计者的哲学。 Gosling 一直属于计算机科学家的阵营，他们认为访问部分初始化的对象是计算机程序中更大的错误来源之一。因此，他设计了一个严格的初始化层次结构来帮助缓解这个问题。你是否同意这个哲学是没有实际意义的——但重要的是要认识到它在 Java 中的一个概念与引用与指针或真实的有界数组一样重要。应该注意的是，即使像 Objective C 这样允许您随时调用初始化的语言，也会竭尽全力强制执行初始化链接，除非它们需要通过约定而不是严格来执行语言规则。

我不确定您在示例中试图说明什么 - 但经过多年的 Java 开发后，我怀疑您会发现很多情况，您真的需要在调用 super 之前执行逻辑。

Answer 2

在调用该类的构造函数之前，构造函数调用与层次结构中每个类的 super 链接。由于Java中的所有类都继承自object类，所以每个类都会首先调用Object类的构造函数，原因是object的内存分配是由Object类的构造函数完成的