Вызов виртуального метода от конструктора

Question

Java 8

Я был немного озадачен тем, что мы не могли вызвать виртуальный метод из конструктора. Ловушка заключается в том, что мы можем перегружать ее и рушиться. Но что, если мы назовем это из конструктора final класс. Например:

public final class MyClass implements MyInterface { 
    private final Object[] arr; 
    public MyClass(){ 
     Object[] arr; 
     //init arr 
     this.arr = arr; 
     //Now we have to preprocess it 
     preprocess(); 
    } 

    @Override 
    public void preprocess(){ 
     //impl 
    } 

    public int count(){ 
     //impl 
    } 
} 

public interface MyInterface{ 
    void preprocess(); 
    int count(); 
} 

Есть ли другие подводные камни с вызовами виртуальных методов внутри конструктора? Конечно, я могу извлечь препроцесс в статический метод, а затем вызвать его из обоих, но он выглядит немного грязным. Я хотел бы сохранить код максимально чистым.

Answer 1

Вы всегда должны проявлять осторожность при вызове методов от конструктора, поскольку конструкция объекта еще не завершена. Это справедливо даже для методов final и private, которые нельзя переопределить подклассами.

Пример:

public class Test { 
    public static void main(String[] args) { 
     new Sub().test(); 
    } 
} 
class Base { 
    int b; 
    Base() { 
     test(); 
     this.b = 1; 
    } 
    void test() { 
     System.out.println("Hello from Base. b = " + this.b); 
    } 
} 
class Sub extends Base { 
    int s; 
    Sub() { 
     test(); 
     this.s = 2; 
    } 
    @Override 
    void test() { 
     System.out.println("Hello from Sub. b = " + this.b + ", s = " + this.s); 
    } 
} 

ВЫХОД

Hello from Sub. b = 0, s = 0 
Hello from Sub. b = 1, s = 0 
Hello from Sub. b = 1, s = 2 

test() называется 3 раза: От Base конструктора, из Sub конструктора, а из main().

Как вы можете видеть, даже поле b еще не было инициализировано при первом вызове.

Итак, это незаконно? №
Вам следует избегать этого? Да.
Просто проясните (например, javadoc), что метод может быть вызван частично инициализированными объектами.