Class 有 std::array 个没有默认构造函数的对象

Class with std::array of objects without default constructors

所以假设我有以下 class

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

我还有另一个 class,它有一个 NoDefaultConstructor 类型的数组和其他成员

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

如何在 Wrapper 的构造函数中初始化数组(也许在初始化列表中使用 std::intializer_list)?

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

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

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;
};

EDIT 在这里可以使用带有可变参数的构造函数,就像这样

#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_ifs

来进一步严格限制

How can I initialize the array in the constructor for Wrapper (maybe in the initializer list using an std::intializer_list)?

就像您对任何其他成员所做的一样,但使用统一初始化,因为 std::array 没有任何构造函数。

More specifically, is the only way I can pass on arguments to the array constructor in the initializer list for Wrapper to have a construct similar to the following?

不,为什么您需要为固定数量的参数使用可变参数模板?

只需...编写带有参数的构造函数:

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

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