从非 constexpr 参数创建 constexpr 数组

Question

我从这里了解到args不是一个常量表达式。 现在我的问题是：我应该在给定的程序中修改什么，以便我能够在第一个变体中拥有一个 static_assert 而不会出现编译时错误。

在以下代码中：

#include <array>

template<typename... Args>
auto constexpr CreateArrConst(Args&&... args)
{
  std::array arr
  {
      args...
  };
  //i want to have an static_assert here without error
  return arr;
}

template<typename... Args>
auto constexpr CreateArrConst_NotWorking(Args&&... args)
{
  constexpr std::array arr
  {
      args...
  };
  static_assert(arr.back() == 4);
  return arr;
}

int main() 
{
  static_assert(CreateArrConst(4).back() == 4);
  // uncomment this to reproduce compile error
  // static_assert(CreateArrConst_NotWorking(4).back() == 4);

  return 0;
}

这是一个复制链接： https ://godbolt.org/z/zjrP1Kvn7

Answer 1

您必须将参数放入模板参数中。 不幸的是，它不能再推断出参数的类型：

#include <array>

template<typename T, T... args>
auto constexpr CreateArrConst()
{
  constexpr std::array arr
  {
      args...
  };
  static_assert(arr.back() == 4);
  return arr;
}

// cleaner solution requiring C++17
template<auto... args>
auto constexpr CreateArrConstCpp17()
{
  constexpr std::array arr
  {
      args...
  };
  static_assert(arr.back() == 4);
  return arr;
}

int main() 
{
  static_assert(CreateArrConst<int, 4>().back() == 4);            // <-- Works!

  static_assert(CreateArrConstCpp17<1, 2, 3, 4>().back() == 4);
  return 0;
}