具有std ::对象数组的类，没有默认构造函数

Question

所以我们假设我有以下课程

class NoDefaultConstructor {
    NoDefaultConstructor() = delete;
    ...
};

我有另一个类，其类型为NoDefaultConstructor和其他成员

class Wrapper {
    std::array<NoDefaultConstructor, 2> arr;
    ... 
};

如何在Wrapper的构造函数中初始化数组（可能在使用std::intializer_list的初始化列表中）？

更具体地说，我可以将初始化列表中的数组构造函数的参数传递给Wrapper以获得类似于以下的构造的唯一方法吗？ 我正在考虑这样做，因为数组的大小将来可能会改变。

template <typename... Values>
Wrapper(Values&&... values) : arr{std::forward<Values>(values)...} {}

Answer 1

std::array必须是聚合。 因此它没有非平凡的构造函数，但可以使用聚合初始化进行初始化。 请注意，聚合初始化涉及braced-init-list （即括号括起的初始化列表），但不包括std::initializer_list对象。

class Wrapper {
  public:
    Wrapper() : arr {MakeNoDefaultConstructor(123),
                     MakeNoDefaultConstructor(456)} {}
    //              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ braced-init-list
  private:
    std::array<NoDefaultConstructor, 2> arr;
};

---

编辑这里可以使用具有可变参数的构造函数

#include <array>
struct NoDefault {
    NoDefault() = delete;
    NoDefault(int) {}
};
struct Wrapper {
    template <typename... Args>
    Wrapper(int b_in, Args&&... args) : b{b_in}, a{args...} {}
    int b;
    std::array<NoDefault, 3> a;
};
int main() {
    std::array<NoDefault, 2> a {12, 34};
    Wrapper w {23, 12, 34, 19};
}

这当然可以通过添加enable_if来进一步严格限制

Answer 2

如何在Wrapper的构造函数中初始化数组（可能在使用std :: intializer_list的初始化列表中）？

就像你对任何其他成员一样，但是使用统一初始化，因为std::array没有任何构造函数。

更具体地说，我可以将初始化列表中的数组构造函数的参数传递给Wrapper以获得类似于以下的构造的唯一方法吗？

不，为什么需要为固定数量的参数使用可变参数模板？

只是...用参数编写构造函数：

class Wrapper {
    std::array<NoDefaultConstructor, 2> arr;

    Wrapper(const NoDefaultConstructor& a, const NoDefaultConstructor& b)
    : arr{ a, b }
    { }
};