c++ - 在构造函数中引用未初始化的对象

Question

可以将未初始化的对象传递给父类，如下例所示

class C
{
    public:
        C(int i): 
            m_i(i)
        {};

        int m_i;
}

class T
{
    public:
        T(C & c):
            m_c(c)
        {
        };

        C & m_c;
};


class ST : public T
{
    public:
        ST():
            T(m_ci),
            m_ci(999)
        {
        };

        C m_ci;
};

在class T构造函数中，c是对未初始化对象的引用。如果 class T 在构造期间使用 c 对象，这可能会导致错误。但因为它不是，所以它编译并且工作正常。我的问题是 - 它是否会破坏某种范式或良好的设计指令？如果是这样，有哪些替代方案，因为我发现在子类中分配父级所需的对象很有用。

附带说明一下，我想知道为什么不能更改初始化顺序，以便在某些成员初始化后调用基类构造函数。

Answer 1

将引用或指针传递给未初始化的东西在技术上是完全可以的。

但您提出这个问题的原因可能是您认为某些事情很容易出错，即通过一些调用链，您可能会在对象初始化之前无意中访问该对象。我认为这是一个合理的担忧。还有另一件事可能会出错，即基类 T 中的代码现在可能通过直接更改 ST 的数据成员来使 ST 的类不变量无效 实例...

所以，我认为这有点冒险。

关于初始化顺序，C++ 是基于在层次结构中从部分向上构建的思想。如果构造函数抛出异常，则完全构造的事物将自动销毁。如果构造顺序更加随意，这将变得更加困难或效率更低。

干杯，