3

我想实现一个具有编译时间常数大小（如std::array）的数据结构。我希望能够像这样初始化这个数据结构：

MyStruct<3, int> example = {1, 2, 3};

使用像这样的构造函数可以很好地工作MyStruct(std::initializer_list<T> elements)，但是编译器不会对我的内部结构和 强制执行相同的大小elements，即使它们在编译时都是已知的。

我不能使用static_assert，因为elements.size()不是编译时间常数。

有没有办法在编译时强制执行与 in 相同的elements大小MyStruct？

4

2 回答 2

2

您可以尝试使用可变参数模板的构造函数：

template<std::size_t N, typename E>
struct MyStruct {
    int otherStuff;
    E values[N];

    template<typename ...TT>
    MyStruct(TT&&...t) : values{std::forward<TT>(t)...} {
        static_assert(N == sizeof...(t), "Size mismatch!");
        for (size_t i = 0; i < N; i++) std::cout << values[i] << ",";
        std::cout << std::endl;
    }
};

这确实可以按预期工作：

MyStruct<3, int> example = {1,2,3};
MyStruct<3, int> exampleFail = {1,2}; //error: static assertion failed: Size mismatch!

std:array请注意，列表初始化和列表初始化之间仍然存在差异MyStruct：

MyStruct<3, int> exampleList{1,2,3}; // works
std::array<int, 3> arr = {1,2,3};    // works, but warning with clang++
std::array<int, 3> arrList{1,2,3};   // works with g++, does not compile with clang++

原因是，由于大括号省略，单个大括号仅适用于 std::array，这并不总是适用于官方缺陷报告中记录的。

于 2013-07-31T14:20:47.437 回答
1

std::array没有构造函数！它不使用initializer_list，而是使用uniform initialization. （类似于POD结构，实际上std::array是POD结构）。

所以std::array真正做的事情与以下内容非常相似：

template<int size, typename T>
struct array {
   T data[size];
   // and some member function here;
   // Warning! No constructors !
};

稍后，当你写

std::array<3, int> arr = {1,2,3};

它相当于

std::array<3, int> arr = {{1,2,3}};

这只是将 {1,2,3} 分配给的 POD 初始化data。

如果你想强制在编译时检查相同的大小，可以使用std::array它自己而不是std::initializer_list.

如果您将初始化从{1,2,3}tostd::array<3, int>{1, 2, 3}和构造函数参数从std::initializer_list<T>to更改为std::array<SIZE, T>user 将被强制传递具有 size 的数组SIZE。

于 2013-07-31T13:33:16.133 回答