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

Class with std::array of objects without default constructors

本文关键字：默认 构造函数 对象 std 数组 带有      更新时间：2023-10-16

所以让我们假设我有以下类

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)...} {}

std::array必须是聚合。因此，它没有重要的构造函数，但可以使用聚合初始化进行初始化。请注意，聚合初始化涉及大括号初始化列表（即初始值设定项的大括号括列表），但不涉及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来进一步严格限制。

如何在包装器的构造函数中初始化数组（可能在初始值设定项列表中使用 std：：intializer_list）？

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

更具体地说，我是否可以将参数传递给初始值设定项列表中的数组构造函数，以使 Wrapper 具有类似于以下内容的构造？

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

只。。。使用参数编写构造函数：

class Wrapper {
    std::array<NoDefaultConstructor, 2> arr;
    Wrapper(const NoDefaultConstructor& a, const NoDefaultConstructor& b)
    : arr{ a, b }
    { }
};
相关文章：