`std::initializer_list 上的`static_assert`<T> ::size` 在函数中

Question

在我的单元测试中，我想要一种快速且（干净的）肮脏的方式来将值从initializer_list分配给静态大小的 C 数组。 我不是一个完整的野兽，所以我想static_assert大小是相同的。 我写了一个辅助函数set_array来做到这一点：

template <typename T, std::size_t N>
constexpr void set_array(T (&x)[N], std::initializer_list<T>&& list) {
  assert(list.size() == N); // why can't I static_assert in C++17?
  for (std::size_t i = 0; i < N; ++i)
    x[i] = list.begin()[i];
}

意图将其用作set_array(foo, {1, 2, 3, 4}); foo 声明为int foo[4] 。

我使用的是 C++17，所以std std::initializer_list<T>::size是 constexpr，但是一旦我通过函数调用传递列表，我就失去了将其视为 constexpr 的特权，因为我可以' t 将函数参数约束为 constexpr。

感觉它应该有一个我没有看到的简单解决方案。 当然，我可以想象我可以玩一些反常的元编程游戏来对类型的大小进行编码，但这是一个简单的小帮手，应该使事情变得干净和可读，我不想发疯。

问题：是否有一个简单的解决方案，或者我应该只接受运行时断言？ （是的，我知道如果给我一个简单的解决方案，我会因为自己没有看到它而感到愚蠢。）认为我会以错误的方式解决问题吗？ 没关系，我愿意接受建议并感谢批评。

详细信息：为了完整起见，这里是编译器错误和版本信息。 在 Clang 版本 8.0.0-3（随 Ubuntu clang-8 一起提供）中，我得到：

error: static_assert expression is not an
      integral constant expression
  static_assert(list.size() == N);
                ^~~~~~~~~~~~~~~~

在 GCC 8.3.0 中我得到了一个类似的错误，另外告诉我list不是一个常量表达式。

Answer 1

函数的参数不是常量。

这在 C++ 中是合法的：

void foo( bool which ) {
  std::initializer_list<int> a = {1,2,3};
  std::initializer_list<int> b = {1,2,3,4};
  int x[4];
  std::initializer_list<int> c = which?a:b;    
  set_array(x, c);
}

尝试这个：

template<class T>
struct block_deduction_t{using type=T;};
template<class T>
using block_deduction = typename block_deduction_t<T>::type;

template <typename T, std::size_t N>
constexpr void set_array(T (&x)[N], block_deduction<T const(&)[N]> list) {
   for (std::size_t i = 0; i < N; ++i)
      x[i] = list[i];
}

现在这允许您省略尾随元素，但它们将被零初始化。

活生生的例子。

再说一次，这个解决方案：

template <typename T, std::size_t N>
constexpr void set_array(T (&x)[N], T const(&list)[N]) {
   for (std::size_t i = 0; i < N; ++i)
      x[i] = list[i];
}

实际上阻​​止了尺寸不足的右手边。 所以可能会更好。

语法与您的完全匹配。

如果您想要一个漂亮的错误消息，并且要转换右侧类型以匹配左侧类型：

template <typename T, std::size_t N, std::size_t M>
constexpr void set_array(T (&x)[N], block_deduction<T> const(&list)[M]) {
   static_assert(M==N, "wrong number of elements");
   for (std::size_t i = 0; i < N; ++i)
      x[i] = list[i];
}

有很多变种。

Answer 2

即使size是constexpr也会失败的原因是因为list不是constexpr 变量，所以对它的任何成员函数调用也不会是constexpr 。

一切都没有丢失。 您可以做的是使用std::array而不是std::initializer_list ，它甚至可以让您摆脱static_assert例如：

template <typename T, std::size_t N>
constexpr void set_array(T (&x)[N], std::array<T, N>&& list) {
  for (std::size_t i = 0; i < N; ++i)
    x[i] = list[i];
}                                                          

int main()                                                                       
{                                                                                
    int arr[4];
    set_array(arr, {1,2,3,4});
    std::cout << arr[3];
}

如果您尝试使用

set_array(arr, {1,2,3,4,5});

那么你会得到一个编译器错误，比如

main.cpp:12:16: note: candidate function [with T = int, N = 4] not viable: cannot convert initializer list argument to 'std::array<int, 4UL>'
constexpr void set_array(T (&x)[N], std::array<T, N>&& list) {