c++ - 自定义类/对象的构造函数和初始化

Question

我可以想象这个问题已经被问过了，但我实际上找不到任何合适的解决方案，所以如果这是一个多余的问题，请原谅。

我有一个自定义类

class myClass_A
{
public:
    myClass_A();          // Constructor
    myFunction_A();       // Some function from Class A
};

现在我有另一个自定义类，它有一个类型为 myClass_A 的成员

class myClass_B
{
public:
    myFunction_B();       // Some function from Class B

private:
    myClass_A m_instance; // Instance of Class A
}

现在 myFunction_B() 想从 m_instance 调用方法 myFunction_A() 有点像这样:

myClass_B::myFunction_B()
{
    m_instance.myFunction_A();
}

现在，如果我编译我的代码(这基本上就像我上面发布的示例)，它将成功而不会出现任何警告或错误。所以我的问题是:

A.这个例子中会调用构造函数吗？

B.我真的可以从未初始化的对象调用方法吗？

C.假设未调用构造函数，但我仍然可以从该对象调用方法 -> 这是否仍然意味着我的类的成员未初始化？

如果这些问题有点愚蠢，我很抱歉，但我觉得我现在的理解速度很慢。

Answer 1

这些都是非常好的和重要的问题。

关于 A:

在执行构造函数的主体之前，C++ 会生成自动调用类的所有聚合(即成员)对象的默认构造函数 的代码。基本上，它所做的是转换以下代码:

class myClass_B {
public:
    myClass_B()
    {
        m_instance.foo();
        m_pInstance->foo();
    }
private:
    myClass_A m_instance;
    myClass_A* m_pInstance;
};

进入以下代码:

class myClass_B {
public:
    myClass_B()
        : m_instance()
        , m_pInstance()
    {
        m_instance.foo();
        m_pInstance->foo();
    }
private:
    myClass_A m_instance;
    myClass_A* m_pInstance;
};

编译器自动插入的两行称为initializer list ，它在执行构造函数的主体之前调用每个聚合对象的默认构造函数。请注意，第二个 m_pInstance() 调用了“指针的默认构造函数”，它创建了一个未初始化的指针；这几乎总是不是你想要的。请参阅下文了解如何解决该问题。

现在让我们假设 myClass_A 的构造函数具有签名 myClass_A(int someNumber)，即它接受一个参数。然后，C++ 不能自动为 myClass_B 生成初始化列表，因为它不知道要将哪个数字传递给 myClass_A 的构造函数。它会向您抛出一个编译器错误，可能是提示缺少 myClass_A 的默认构造函数。您必须自己编写初始化列表，例如:

class myClass_B {
public:
    myClass_B()
        : m_instance(21)
        , m_pInstance(new myClass_A(21))
    {
        m_instance.foo();
        m_pInstance->foo();
    }
private:
    myClass_A m_instance;
    myClass_A* m_pInstance;
};

这是正确的代码，它调用 myClass_A 构造函数，参数 someNumber 的值为 21。这也显示了如何正确初始化指针:使其指向一些新分配的对象。

关于 B:

不像其他人说的那样，你可以! (试一试)

但它会导致意想不到的行为，这不是您想要的。 (包括只有当行星正确对齐时它才可能做你想做的事。)它很可能会崩溃但不保证会崩溃。这可能会让您度过漫长的调试之夜。如果您的编译器很聪明，它可能会识别出这一点并警告您，但它不会给您错误。

另请注意，对于具有默认构造函数的非指针聚合对象，默认构造函数将 被调用，您将一切顺利。当您使用内置类型或指针时，问题就来了。这是使用未初始化的变量，是导致错误的最常见原因之一。如果您的代码做了一些非常奇怪的事情，请始终检查您是否初始化了所有变量。将任何成员变量的条目放入初始化列表中应该成为一种反射，即使它正在调用默认构造函数。把事情说清楚。

关于 C:

是的。详见 B。有趣的是，如果你调用的方法不使用“this”指针(这包括不使用任何属性变量和不调用任何使用属性变量的方法)，你的方法保证工作。当您在未初始化的对象上调用方法时会发生什么，方法中的“this”对象(即所有属性变量也是如此)是随机内存。该方法的代码将执行但使用随机内存，这就是失败的原因。

我希望这能让事情变得更清楚一些。