C++重构：构造函数中的初始化顺序

Question

假设我需要在构造函数初始化任何成员变量之前调用一个免费的 GlobalInitializer() 。例如：

class Foo {
  public:
    Foo() : bar_()
    {
      // calling GlobalInitializer() here is too late
    }
  Bar bar_;
};

在 Foo 中调用 GlobalInitializer() 已经太晚了，因为我需要在 bar_ 初始化之前调用它。我对此的解决方法是创建一个超类：

class MyInitializer {
  protected:
    MyInitializer() {
      GlobalInitializer();
    }
};
class UglyFoo : public MyInitializer
{
  public:
    UglyFoo() : bar_()
    { }
  Bar bar_;
};

UglyFoo 完成了工作，但它需要这个丑陋的 MyInitializer 类。是否有更清晰的设计模式或重构可以达到相同的结果？

附加说明：GlobalInitializer() 是一个昂贵的调用，我想避免它，除非用户实例化 Foo()。 GlobalInitializer() 内部有针对多次调用的保护措施。另外，可能还有其他类，比如 FooBar，也需要调用 GlobalInitializer()，但在一个进程中，GlobalInitializer() 实际上只会执行一次（如果 Foo 或 FooBar 被实例化），甚至不会执行一次（如果没有Foo 或 FooBar 的实例）。

Answer 1

class Foo {
private:
    struct Initializer {
        Initializer() { GlobalInitializer(); }
    };
    Initializer initializer__;  // declare before bar__ to ensure it is constructed first

public:
    Foo() : bar_()
    {
    }

    Bar bar_;
};

Answer 2

您可能应该重新考虑您的设计。

好的设计意味着松耦合。如果您的对象创建依赖于不同的方法调用来工作，则存在严重错误。

如果您确实需要这样做，您可能应该在 bar_ 的构造函数中调用 GlobalInitializer，但最好的方法是重新考虑您的设计。

Answer 3

你所做的似乎违反了面向对象的价值观，因为你的类不合理地依赖于它们之外的东西；我建议重新设计你的类来避免这种情况。

话虽这么说，适合您的设计模型而不使每个类继承另一个类的选项是将 MyInitializer 类创建为单例对象，并向依赖于此初始化的每个类添加一个 MyInitializer。单例只会在第一次实例化时执行初始化。

Answer 4

想必您可以将 GlobalInitializer 初始化的内容重构为不再是全局的。然后，您可以选择如何向班级提供这些数据。你知道，因为全局变量很糟糕等等。

Answer 5

我在梦中遇到过：将 bar_ 更改为指针：

class Foo {
  public:
    Foo()
    {
      GlobalInitializer();
      // now we can call GlobalInitializer() in time
      bar_ = new Bar; 
    }
    ~Foo()
    {
      delete bar_;
    }

  private:
    Bar* bar_;
};