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 s

进一步严格限制

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

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

2 个答案: