Чи можна зробити обчислення перед 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, але всередині конструктора?

Дякую.

Так, у вашому простому випадку є обхідний шлях. Ви можете створити приватний конструктор, який сприймає 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());
    }
}

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

Дозвіл запуску будь-якого коду до виклику супер було б небезпечно, оскільки ви можете возитися з речами, які слід було ініціалізувати, але все ще не було. В основному, я думаю, ви можете зробити досить багато речей у виклику самого себе (наприклад, викликати статичний метод для обчислення деяких речей, які потрібно перейти до конструктора), але ви ніколи не зможете використовувати що-небудь з не -і все-таки повністю побудований об'єкт, що добре.

Ось як працює Java :-) Є технічні причини, чому її обрали саме таким чином. Дійсно може бути дивним, що ви не можете робити обчислення на місцевих жителях перед викликом супер, але в Java спочатку потрібно виділити об’єкт, і, отже, йому потрібно пройти весь шлях до Object, щоб усі поля були правильно ініціалізовані, перш ніж ви могли випадково модифікувати їх.

У вашому випадку є більша частина часу геттер, який дозволяє отримати доступ до параметра, який ви надали 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());
    }
}