Можно ли выполнить вычисление до super () в конструкторе?

Учитывая, что у меня есть класс Base, который имеет конструктор с одним аргументом с объектом TextBox в качестве аргумента. Если у меня есть класс Simple следующего вида:

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, но в конструкторе?

Спасибо.

Да, для вашего простого случая есть обходной путь. Вы можете создать частный конструктор, который принимает TextBoxв качестве аргумента и вызывать его из вашего общедоступного конструктора.

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

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

Для более сложных вещей вам нужно использовать фабричный или статический фабричный метод.

У меня была такая же проблема с вычислениями до супервызова. Иногда вы хотите проверить некоторые условия перед звонком super(). Например, у вас есть класс, который при создании использует много ресурсов. подклассу нужны дополнительные данные, и он может сначала проверить их, прежде чем вызывать суперконструктор. Есть простой способ обойти эту проблему. может показаться немного странным, но работает хорошо:

Используйте частный статический метод внутри вашего класса, который возвращает аргумент суперконструктора и выполняет ваши проверки внутри:

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

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

Это требуется языком, чтобы гарантировать, что суперкласс будет надежно построен первым . В частности, «Если конструктор не вызывает явно конструктор суперкласса, компилятор Java автоматически вставляет вызов конструктору суперкласса без аргументов».

В вашем примере суперкласс может полагаться на состояние tво время строительства. Вы всегда можете попросить копию позже.

Там есть обширное обсуждение здесь и здесь .

Вы можете определить статическую лямбду поставщика, которая может содержать более сложную логику.

public class MyClass {

    private static Supplier<MyType> myTypeSupplier = () -> {
        return new MyType();
    };

    public MyClass() {
        super(clientConfig, myTypeSupplier.get());
    }
}

Причина, по которой второй пример разрешен, но не первый, скорее всего, поддерживает порядок в языке и не вводит странные правила.

Разрешить запуск любого кода до вызова super было бы опасно, так как вы можете испортить вещи, которые должны были быть инициализированы, но еще не были. В принципе, я предполагаю, что вы можете делать довольно много вещей при вызове самого super (например, вызывать статический метод для вычисления некоторых вещей, которые должны перейти в конструктор), но вы никогда не сможете использовать что-либо из не -пока-полностью построенный объект, что хорошо.

Так работает Java :-) Есть технические причины, по которым она была выбрана именно так. Это действительно может быть странно, что вы не можете выполнять вычисления на локальных жителях перед вызовом super, но в Java объект должен быть сначала выделен, и, следовательно, он должен пройти весь путь до объекта, чтобы все поля были правильно инициализированы, прежде чем вы сможете случайно изменить их.

В вашем случае в большинстве случаев есть геттер, который позволяет вам получить доступ к параметру, который вы передали super (). Итак, вы бы использовали это:

super (новый TextBox ());
последнее поле TextBox = getWidget ();
... делай свое дело...

Это мое решение, которое позволяет создавать дополнительный объект, изменять его без создания дополнительных классов, полей, методов и т. Д.

class TextBox {
    
}

class Base {

    public Base(TextBox textBox) {
        
    }
}

public class Simple extends Base {

    public Simple() {
        super(((Supplier<TextBox>) () -> {
            var textBox = new TextBox();
            //some logic with text box
            return textBox;        
        }).get());
    }
}