在抽象类的构造函数中使用抽象 init() 函数

Question

我有这样的事情：

    public abstract class Menu {
     public Menu() {
      init();
     }

     protected abstract void init();

     protected void addMenuItem(MenuItem menuItem) {
      // some code...
     }
    }

    public class ConcreteMenu extends Menu {
     protected void init() {
      addMenuItem(new MenuItem("ITEM1"));
      addMenuItem(new MenuItem("ITEM2"));
      // ....
     }
    }

//Somewhere in code
Menu menu1 = new ConcreteMenu();

如你所见，超类的init方法是抽象的，在对象创建后被构造函数自动调用。

我很好奇，当我需要创建一些结构不会及时更改的此类对象时，我是否会遇到这样的代码问题。

会有更好的方法吗？它可以在 Java 中运行，但它可以在 C++ 和 ActionScript 中运行吗？

谢谢你的回答。

Answer 1

不要从构造函数中调用可覆盖的方法。

引自Effective Java 2nd Edition，Item 17: Design and document for inheritance，或者禁止它：

为了允许继承，类必须遵守更多的限制。 构造函数不得直接或间接调用可覆盖的方法。如果您违反此规则，将导致程序失败。超类构造函数在子类构造函数之前运行，因此子类中的覆盖方法将在子类构造函数运行之前被调用。如果覆盖方法依赖于子类构造函数执行的任何初始化，则该方法将不会按预期运行。

这里有一个例子来说明：

public class ConstructorCallsOverride {
    public static void main(String[] args) {
        abstract class Base {
            Base() { overrideMe(); }
            abstract void overrideMe(); 
        }
        class Child extends Base {
            final int x;
            Child(int x) { this.x = x; }
            @Override void overrideMe() {
                System.out.println(x);
            }
        }
        new Child(42); // prints "0"
    }
}

这里，当Base构造函数调用overrideMe时，Child还没有完成对final int x的初始化，方法得到了错误的值。这几乎肯定会导致错误和错误。

相关问题

• Calling an Overridden Method from a Parent-Class Constructor
• State of Derived class object when Base class constructor calls overridden method in Java

另见

• FindBugs - Uninitialized read of field method called from constructor of superclass

Answer 2

你是对的，它可能会导致派生类出现问题，派生类的实例变量在构造函数中或在创建实例时初始化。 如果你有这个：

public class ConcreteMenu extends Menu {
 String firstItem = "Item1";

 protected void init() {
  addMenuItem(new MenuItem(firstItem));
  // ....
 }
}

然后 MenuItem 将有 null 作为它的构造函数参数！

在构造函数中调用非最终方法是一种冒险的做法。

一个简单的解决方案可能是将构造和初始化分开，如下所示：

Menu menu = new ConcreteMenu();
menu.init();

Answer 3

正如其他人提到的，从构造函数调用可覆盖的方法正在进入一个痛苦的世界......

您是否考虑过在构造函数本身中进行初始化？

public abstract class Menu { 
    public Menu() { 
        ....
    } 

    protected void addMenuItem(MenuItem menuItem) { 
        // some code... 
    } 
} 

public class ConcreteMenu extends Menu { 
    public ConcreteMenu() { 
        super();
        addMenuItem(new MenuItem("ITEM1")); 
        addMenuItem(new MenuItem("ITEM2")); 
        // .... 
    } 
}