主构造函数中子类的初始化——主构造函数体与子类构造函数体

Question

我的遗留代码有一个包含许多其他子类作为数据成员的类。其中大多数将各种输入读入子类中的数据成员。它看起来像这样：

MainClass::MainClass(std::string &directory, LogClass &logClass, int mode1, int mode2, int mode3,) : 
    logClass(logClass),                                                                                           
    subClass1(directory, logClass, mode1),                                                  
    subClass2(directory, logClass),                                                                                                                                      
    subClass3(logClass, subClass1, subClass2, mode1, mode2),
    subClass4(logClass, subClass1, subClass2, subClass3, mode1, mode2, mode3),
{
    if(mode2 == 0)                         
    {
        subClass3.init();
    }
    subClass4.init();
}

在某些子类中，初始化发生在其构造函数的主体中。在其他时候，重要数据成员的初始化发生在 mainClass 的主体中，如 subClass3 和 subClass4 的情况。

我正在更改此代码以包含处理先前读入数据的转换的其他子类。其中一些新类需要在构造它们之前初始化其他类。例如，如果我添加 subClass5，它可能需要运行 subClass4.init()。但是从代码中可以看出， subClass4.init() 直到构造函数的主体才运行。

这里有什么好的政策可以继续前进？我是否应该将所有初始化从子类构造函数中提取到它们自己的 init() 函数中，并在主类构造函数中正确排序它们？或者我应该将所有初始化移动到子类构造函数和托盘中并正确排序？

我正在尝试找出最适合此问题的代码设计。

Answer 1

这取决于init() 函数的语义。他们在做什么？他们的构造函数是做什么的？为什么要使用两个不同的函数（构造函数和init）进行初始化？

在我见过的很多代码中，通常inits 函数主要是由于它们的实现者的草率。从 C++ 的角度来看，他们所做的属于构造函数。

另一方面，如果 init()s 函数用于执行与对象构造语义不相交的事情（例如，启动计时器、触发某些事件……），也许它很好，它们与构造函数不相交。不过，在这种情况下，我会更改他们的名字。

Answer 2

构造函数应该总是建立类的不变量，不多也不少。我强烈认为，在构造后处于无效状态并且必须使用 init() 调用初始化的类是格式错误的。

出于测试目的，我会考虑将子部分的构造移出类并将它们提供给构造函数，或者为每个子部分提供一个工厂。这使您能够为子部分创建模拟，并且对单元测试非常有帮助。

Answer 3

像init() 这样的方法有助于将初始化过程委托给以后的时间，从而允许快速启动，因为构造函数不必花费太多时间来执行init()。如果那些 init 方法正在执行昂贵的操作，例如使用密集的 CPU 周期或获取昂贵的资源，则尤其如此。

另一方面，如果您实施这样的协议，那么任何添加subClassX 的人都必须通过调用子类构造函数并随后在这些子类上调用init 来确保正确初始化。

这两种方法各有利弊，完全由您自己选择。如果你发现优点多于缺点，那就去吧！

附：当然，这假设构造函数已经足够让子类实例进入最小可用状态。