如何初始化成员初始值设定项列表中的数组成员

Question

class C 
{
public:
 C() : arr({1,2,3}) //doesn't compile
{}
    /*
    C() : arr{1,2,3} //doesn't compile either
{}
    */
private:
 int arr[3];
};

我相信原因是数组只能用 = 语法初始化，即：

int arr[3] = {1,3,4};

问题

1. 我怎样才能做我想做的事（即 就是初始化 a 中的一个数组 构造函数（不分配元素 在体内））。有可能吗？
2. C++03 标准是否对构造函数初始值设定项中的初始化聚合（包括数组）有任何特殊说明？或者上述代码的无效性是其他一些规则的必然结果？
3. C++11列表初始化解决了这个问题吗？

请注意，我不想使用 std::array 或其他容器来解决此问题。

Answer 1

1. 我怎样才能做我想做的事（即在构造函数中初始化数组（而不是在主体中分配元素））。有可能吗？

是的。它使用包含数组的结构。你说你已经知道了，但我不明白这个问题。这样，您就可以在构造函数中初始化数组，而无需在主体中进行赋值。这就是 boost::array 的作用。

C++03 标准对于在构造函数初始化器中初始化聚合（包括数组）有什么特别规定吗？或者上述代码的无效性是其他一些规则的必然结果？

内存初始化程序使用直接初始化。而第8条的规则禁止这种事情。我不太确定以下情况，但有些编译器确实允许这样做。

struct A {
  char foo[6];
  A():foo("hello") { } /* valid? */
};

有关更多详细信息，请参阅此 GCC PR。

C++0x 初始化列表可以解决问题吗？

是的，他们确实这么做了。但是我认为你的语法无效。您必须直接使用大括号来触发列表初始化

struct A {
  int foo[3];
  A():foo{1, 2, 3} { }
  A():foo({1, 2, 3}) { } /* invalid */
};

Answer 2

除了将数组归零（或对于非 POD 元素，值初始化）之外，C++98 不提供任何直接语法。为此，您只需编写C(): arr() {}。

我认为 Roger Pate 关于 C++0x 聚合初始化的所谓限制是错误的，但我懒得查找或检查它，但这并不重要，不是吗？ 编辑：罗杰正在谈论“C++03”，我将其误读为“C++0x”。对不起，罗杰。 ☺

当前代码的 C++98 解决方法是将数组包装在 struct 中，并从该类型的静态常量初始化它。无论如何，数据必须驻留在某个地方。即兴它可以看起来像这样：

class C 
{
public:
    C() : arr( arrData ) {}

private:
     struct Arr{ int elem[3]; };
     Arr arr;
     static Arr const arrData;
};

C::Arr const C::arrData = {{1, 2, 3}};

Answer 3

解决方法：

template<class T, size_t N>
struct simple_array { // like std::array in C++0x
   T arr[N];
};


class C : private simple_array<int, 3> 
{
      static simple_array<int, 3> myarr() {
           simple_array<int, 3> arr = {1,2,3};
           return arr;
      }
public:
      C() : simple_array<int, 3>(myarr()) {}
};

Answer 4

1. 不，不幸的是。
2. 你只是不能以你想要的方式，因为语法不允许（更多内容见下文）。您只能使用类似 ctor 的初始化，并且如您所知，这不适用于初始化数组中的每个项目。
3. 我相信是这样，因为他们以许多有用的方式全面概括了初始化。但我不确定细节。

在 C++03 中，聚合初始化仅适用于类似于以下的语法，该语法必须是单独的语句，并且不适合构造函数初始值设定项。

T var = {...};

Answer 5

我发现这个问题非常有用，但没有找到当成员数组元素是没有默认构造函数且删除了复制/移动构造函数的对象时的示例。换句话说，该示例初始化成员数组而无需进行不必要的对象复制。

例如，对于以下类 A：

class A {
  public:
    int v;
    A(int v) : v(v) { }
    A() = delete;
    A(A &&) = delete;
    A(const A &) = delete;
    A &operator =(A &&) = delete;
    A &operator =(const A &) = delete;
};

使用非默认构造函数进行就地初始化将如下所示：

class B {
  public:
    A a[3];
    B() : a { {1}, {2}, {3} } {}
};

Answer 6

怎么样

...
  C() : arr{ {1,2,3} }
{}
...

？

在 g++ 4.8 上编译良好

Answer 7

这对我在 Windows 上使用 C++17 有效：

文件 Ah：

class A
{
  private:
    float arrayVar[3];
}

文件 A.cpp：

A::A() : arrayVar{ 0.0f, 0.0f, 0.0f } { }