是否可以在构造函数中的super()之前进行计算？

Question

鉴于我有一个类Base,它有一个带有TextBox对象的参数构造函数作为它的参数.如果我有一个简单的以下形式的类:

public class Simple extends Base {
  public Simple(){
    TextBox t = new TextBox();
    super(t);
    //wouldn't it be nice if I could do things with t down here?
  }
}

我会收到一个错误,告诉我对super的调用必须是构造函数中的第一个调用.但奇怪的是,我能做到这一点.

public class Simple extends Base {
  public Simple(){
    super(new TextBox());
  }
}

为什么这是有限的,但第一个例子不是？我可以理解需要首先设置子类,也许不允许在调用超级构造函数之前实例化对象变量.但是t显然是一个方法(局部)变量,为什么不允许呢？

有没有办法解决这个限制？有没有一种安全的方法可以将变量保存到您可能构造的内容之前调用super但是在您输入构造函数之后？或者,更一般地说,允许在实际调用super之前进行计算,但是在构造函数中？

谢谢.

Answer 1

是的,您的简单案例有一个解决方法.您可以创建一个私有构造函数,该构造函数TextBox作为参数并从您的公共构造函数中调用它.

public class Simple extends Base {
    private Simple(TextBox t) {
        super(t);
        // continue doing stuff with t here
    }

    public Simple() {
        this(new TextBox());
    }
}

对于更复杂的东西,您需要使用工厂或静态工厂方法.

Answer 2

在超级调用之前,我遇到了相同的计算问题.有时你想在打电话之前检查一些条件super().例如,您有一个在创建时使用大量资源的类.子类需要一些额外的数据,并且可能希望在调用超级构造函数之前先检查它们.有一个简单的方法来解决这个问题.可能看起来有点奇怪,但效果很好:

在类中使用一个私有静态方法,它返回超级构造函数的参数并在里面进行检查:

public class Simple extends Base {
  public Simple(){
    super(createTextBox());
  }

  private static TextBox createTextBox() {
    TextBox t = new TextBox();
    t.doSomething();
    // ... or more
    return t;
  }
}

Answer 3

语言需要它以确保首先可靠地构造超类.特别是,"如果构造函数没有显式调用超类构造函数,Java编译器会自动插入对超类的无参数构造函数的调用."

在您的示例中,超类可能依赖t于构造时的状态.您可以随时要求提供副本.

这里和这里有广泛的讨论.