Инициализировать поле до запуска суперконструктора?

Question

В Java есть ли способ инициализировать поле до запуска суперконструктора?

Даже уродливые хаки я могу придумать отвергается компилятором:

class Base 
{ 
    Base(String someParameter) 
    { 
     System.out.println(this); 
    } 
} 

class Derived extends Base 
{ 
    private final int a; 

    Derived(String someParameter) 
    { 
     super(hack(someParameter, a = getValueFromDataBase())); 
    } 

    private static String hack(String returnValue, int ignored) 
    { 
     return returnValue; 
    } 

    public String toString() 
    { 
     return "a has value " + a; 
    } 
} 

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

Answer 1

Нет, нет способа сделать это.

В соответствии с language specs переменные экземпляра даже не инициализируются до тех пор, пока не будет выполнен вызов super().

Этих шаги, выполняемые во время стадии конструктора создания экземпляра класса, взятой по ссылке:

1. Назначает аргументы для конструктор вновь созданных параметры переменных для этого вызова конструктора.
2. Если этот конструктор начинается с явным вызовом конструктора (§8.8.7.1) другое конструктора в том же классе (с использованием этого), затем оценить аргументы и процесс, вызов конструктора рекурсивно, используя эти же пяти шагов. Если вызов конструктора завершается внезапно, то эта процедура завершает по той же причине; в противном случае перейдите к шагу 5.
3. Этот конструктор не начинается с явного конструктора вызова другого конструктора в том же классе (с использованием этого). Если этот конструктор предназначен для класса, отличного от Object, то этот конструктор начнет с явного или неявного вызова конструктора суперкласса (используя супер). Вычислите аргументы и обрабатываете вызов конструктора суперкласса рекурсивно, используя эти пять шагов. Если вызов конструктора завершает внезапно, то эта процедура завершается внезапно для той же причины . В противном случае перейдите к шагу 4.
4. выполнять экземпляр инициализаторы и переменные экземпляр инициализаторы для этого класса, присваивая значения переменного экземпляра Инициализаторы к соответствующему переменному экземпляру, в слева направо порядке, в котором они появляются текст в источнике код для класса. Если выполнение любого из этих инициализаторов приводит к исключению, то никакие инициализаторы не обрабатываются , и эта процедура завершается внезапно с тем же исключением. В противном случае перейдите к шагу 5.
5. Выполнение остальной части тела этого конструктора. Если это выполнение завершается внезапно, то эта процедура завершается внезапно для той же причины. В противном случае эта процедура завершится нормально.

Answer 2

Это запрещено Java language specification (section 8.8.7):

Первое утверждение о теле конструктора может быть явным вызов другого конструктора того же класса или прямых суперкласса.

Тело конструктора должно выглядеть следующим образом:

ConstructorBody:

{ ExplicitConstructorInvocationopt BlockStatementsopt } 

Answer 3

Как уже сказал, вы не можете инициализировать поля экземпляра до вызова конструктора суперкласса.

Но есть обходные пути. Один из них заключается в создании фабричного класса, который получает значение и передает его конструктору класса Derived.

class DerivedFactory { 
    Derived makeDerived(String someParameter) { 
     int a = getValueFromDataBase(); 
     return new Derived(someParameter, a); 
    } 
} 


class Derived extends Base 
{ 
    private final int a; 

    Derived(String someParameter, int a0) { 
     super(hack(someParameter, a0)); 
     a = a0; 
    } 
    ... 
} 

Answer 4

Супер конструктор будет работать в любом случае, но так как мы говорим о «некрасивых писак», мы можем воспользоваться этим

public class Base { 
    public Base() { 
     init(); 
    } 

    public Base(String s) { 
    } 

    public void init() { 
    //this is the ugly part that will be overriden 
    } 
} 

class Derived extends Base{ 

    @Override 
    public void init(){ 
     a = getValueFromDataBase(); 
    } 
} 

Я никогда не предлагаю использовать такого рода взломов.

Answer 5

У меня есть способ сделать это.

class Derived extends Base 
{ 
    private final int a; 

    // make this method private 
    private Derived(String someParameter, 
        int tmpVar /*add an addtional parameter*/) { 
     // use it as a temprorary variable 
     super(hack(someParameter, tmpVar = getValueFromDataBase())); 
     // assign it to field a 
     a = tmpVar; 
    } 

    // show user a clean constructor 
    Derived(String someParameter) 
    { 
     this(someParameter, 0) 
    } 

    ... 
}