问题描述
我正在尝试创建一个由 std::initializer_list 初始化的示例数组类。我想在编译时检查初始化列表的大小是否不超过数组的大小。由于静态断言只能评估 constexpr,因此不会编译此代码。
#include<initializer_list>
#include<cstddef>
template <typename T,size_t _size>
class array
{
private:
T arr[_size];
public:
array()
{
}
array(std::initializer_list<T> arrList)
{
static_assert(_size>arrList.size(),"too many initializers"); // error: non-constant condition for static assertion
}
~array()
{
}
};
int main()
{
array<int,4> arr = {1,2,3,4,5};
return 0;
}
std::array 已经有这个功能,但是我在头文件中找不到它的实现。
#include<array>
int main()
{
std::array<int,5> arr= {1,5,6}; // error: too many initializers for ‘std::array<int,5>’
return 0;
}
解决方法
你不能用 std::initializer_list
来实现,arrList.size()
不能用在常量表达式中,尽管它的 size()
成员函数被声明为 constexpr
。看看this question。
std::array
使用 aggregate initialization,它没有带 std::initializer_list
的构造函数。 std::array
通常是这样的 implemented:
template<typename T,std::size_t size>
struct array {
T arr[size];
/* member functions */
};
或者(调用构造函数的语法略有不同),您可以创建一个通过引用接受数组的构造函数:
template<typename T,std::size_t size>
class array {
public:
template<std::size_t s>
array(const T(& a)[s]) {
static_assert(s <= size,"too many initializers");
}
private:
T arr[size];
};
然后
array<int,4> arr({1,2,3,4,5}); // error: static_assert failed due to requirement
// '5UL <= 4UL' "too many initializers"
由于 static_assert
将无法编译。但是,您需要在 array
构造函数中使用一些技巧来执行 arr
数据成员的实际初始化(您不能执行 arr(a)
)。