成员结构是否可以从构造函数初始化列表中归零,而无需调用memset？

Question

假设我有以下结构声明(没有构造函数的简单结构).

struct Foo
{
    int x;
    int y;
    int z;
    char szData[DATA_SIZE];
};

现在让我们说这个结构是C++类的成员,如下所示:

class CFoobar
{
     Foo _foo;
public:
     CFoobar();
};

如果我声明CFoobar的构造函数如下:

CFoobar::CFoobar()
{
    printf("_foo = {%d, %d, %d}\n", _foo.x, _foo.y,_foo.z);
    for (int x = 0; x < 100; x++)
       printf("%d\n", _foo.szData[x]);
}

正如您所料,当CFoobar的构造函数运行时,垃圾数据被打印出来显然,简单的解决方法是memset或ZeroMemory&_foo.这就是我一直以来所做的......

但是,我注意到如果将_foo添加到构造函数的初始化列表中而没有参数,如下所示:

CFoobar::CFoobar()
: _foo()
{

这似乎将_foo的成员变量清零.至少在Linux上使用g ++就是这种情况.

现在这里是我的问题:这是标准的C++,还是这个编译器的特定行为？

如果这是标准行为,有人可以引用我的官方来源参考吗？关于更复杂的结构和类的隐式零初始化行为的任何"陷阱"？

Answer 1

是的,这是根据标准定义的行为.12.6.2 [class.base.init]/3:"如果省略了mem-initializer的表达式列表,则对基类或成员子对象进行值初始化."

但是,请注意,如果Foo不是POD类型但仍然没有用户声明的构造函数(例如,它有一个std::string类型),那么一些非常流行的编译器将无法正确地初始化它.

当您在构造函数初始化列表中用作初始化程序时,我所知道的所有编译器都会正确执行POD成员的值初始化().