如何在 C++ 的初始化列表中初始化成员结构班级？

Question

我在 C++ 中有以下类定义：

struct Foo {
  int x;
  char array[24];
  short* y;
};

class Bar {
  Bar();

  int x;
  Foo foo;
};

并且想在 Bar 类的初始化程序中将“foo”结构（及其所有成员）初始化为零。可以这样做吗：

Bar::Bar()
  : foo(),
    x(8) {
}

...？

或者 foo(x) 在初始化列表中到底做了什么？

或者该结构甚至从编译器自动初始化为零？

Answer 1

首先，您应该（必须！）阅读此

对类型的对象进行值初始化
T的意思是：

• 如果 T 是具有用户声明构造函数 (12.1) 的类类型（第 9 条），则使用默认构造函数
  for T 被调用（如果 T 没有可访问的默认构造函数，则初始化是错误的）；
• 如果 T 是没有用户声明的构造函数的非联合类类型，则 T 的每个非静态数据成员和基类组件都会进行值初始化；
• 如果 T 是数组类型，则每个元素都进行值初始化；
• 否则，对象将被零初始化

所以，是的， foo 将被零初始化。请注意，如果您从 Bar 构造函数中删除此初始化，则 foo 将仅是 default-initialized ：

如果没有指定初始值设定项
对象，并且该对象是（可能
cv 限定的）非 POD 类类型（或
数组），该对象应是
默认初始化；如果该物体是
const 限定类型，
底层类类型应具有
用户声明的默认构造函数。
否则，如果没有初始化程序
为非静态对象指定时，
对象及其子对象（如果有），
有一个不确定的初始值
值;

Answer 2

在标准 C++ 中，您需要为 Foo 创建一个 ctor。

struct Foo {

  Foo(int const a, std::initializer_list<char> const b, short* c)
    : x(a), y(c) {
    assert(b.size() >= 24, "err");
    std::copy(b.begin(), b.begin() + 24, array);
  }

  ~Foo() { delete y; }

  int x;
  char array[24];
  short* y;
};

class Bar {

  Bar() : x(5), foo(5, {'a', 'b', ..., 'y', 'z'},
    new short(5)) { }

  private:

  int x;
  Foo foo;
};

在 C++0x 中，您可以使用统一初始化列表，但仍然需要 Foo 的 dtor：

class Bar {

  Bar() : x(5), foo{5, new char[24]{'a', 'b', ..., 'y', 'z'},
    new short(5)} { }
  ~Bar() { delete[] foo.array; delete foo.y;}
  }
  private:

  int x;
  Foo foo;
};

默认初始化 foo （如 Bar() : foo(), x(8) { }）你需要给 Foo 一个默认的 ctor。