我已将问题减少到以下代码:
#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的主体?那似乎是明显的编译器bug,不是吗?
当我在Fedora上用GCC编译上面的代码时,它都按预期工作......
编辑: 编译器是为Broadcom芯片组量身定制的GCC-4.2。执行代码时,嵌入式系统存在问题。解决这个问题的方法是将默认的空构造函数添加到A:
A(){}
即使没有在其初始化列表上显式调用C成员的默认构造函数。
答案 0 :(得分:1)
@juanchopanza是正确的,懒惰地调用C的ctor不是编译器的符合标准的行为。 “在构造函数完成之前,不会考虑构造对象。” (Stroustrup, The C ++ Programming Language ,3rd Ed,p.366)。
然而,这里可能还有另一个细微之处,即默认构造函数和所谓的值初始化之间的区别。请参阅前两个StackOverflow答案:
根据您的编译器是否认为C是POD类型,以及它是否符合C ++ 98或C ++ 03标准,它可能正在进行值初始化而不是默认的ctor。向A添加用户声明的默认ctor会改变行为的事实是这个问题正在发挥作用的线索。