为什么私有成员的默认构造函数没有被调用？

Question

我已将问题简化为以下代码：

#include<iostream>
#include<stdio.h>
#include <list>
using namespace std;
class B
{
public:
    B(){
        cout<<"Default ctor of B"<<endl;
    };
};

class C
{
public:
    C()
    {
        cout<<"Default ctor of C"<<endl;
    }
    void sayHello()
    {
        cout<<"Say hello"<<endl;
    }
};
class A: public B
{
public:
    void fun()
    {
        c.sayHello();
    }
private:
    C c;
};

int main(int argc, char** argv)
{
    A* a=new A();
    a->fun();
    delete a;
    return 0;
}

当我创建 A 的对象时，我可以看到 C 的默认构造函数没有被调用，但是当我调用 A::fun() 时，它正确地调用了 C::sayHello() 。这怎么可能？我在特定的工具链下交叉编译它，但仍然如何分配对象内存而不调用它的默认 ctor 的主体？这似乎是明显的编译器错误，不是吗？

当我在 Fedora 上用 GCC 编译上面的代码时，一切都按预期工作了......

编辑： 编译器是为Broadcom芯片组量身定制的GCC-4.2。执行代码时，嵌入式系统上存在问题。解决这个问题的方法是向 A 添加默认的空构造函数：

A(){}

即使没有在其初始化列表中显式调用 C 成员的默认构造函数。

Answer 1

@juanchopanza 是正确的，延迟调用 C 的 ctor 对于编译器来说是不符合标准的行为。 “在其构造函数完成之前，对象不被视为已构造。” （Stroustrup，C++ 编程语言，第三版，第 366 页）。

但是，这里可能还有另一个微妙之处，即默认构造函数和所谓的值初始化之间的差异。请参阅之前的两个 StackOverflow 答案：

• 默认构造函数是否初始化内置类型？
• C++03中默认初始化和值初始化之间的区别？

根据您的编译器是否认为 C 是 POD 类型，以及它是否符合 C++98 还是 C++03 标准，它可能会进行值初始化而不是默认的 ctor。向 A 添加用户声明的默认 ctor 会改变行为，这一事实表明该问题正在发挥作用。