C++模板内无法从参数包创建constexpr数组的原因咨询

错误核心原因 #

你遇到的error: ‘args#0’ is not a constant expression编译错误，本质是违反了C++对constexpr变量的初始化规则：被constexpr修饰的变量，初始化时使用的全部表达式必须是核心常量表达式。
而函数形参（包括参数包展开得到的args）永远不属于核心常量表达式：

• 函数形参是调用发生时才会初始化的局部对象，哪怕函数本身被声明为constexpr、调用时传入的实参是编译期字面量，形参本身也不具备常量表达式属性，无法直接用来初始化constexpr修饰的变量。

两个函数的行为差异解释 #

• 第一个CreateArrConst函数内的arr只是普通局部变量，没有被constexpr修饰。当这个函数在static_assert这类常量求值语境下被调用时，编译器会在编译期模拟执行完整的函数逻辑，最终返回的数组是编译期可确定的常量，因此可以通过外层的static_assert校验。
• 第二个CreateArrConst_NotWorking函数强行要求arr是constexpr变量，这就要求初始化arr的所有参数（即args...）必须是常量表达式，而args作为函数形参不满足该要求，因此直接编译失败。

可行的实现方案 #

方案1：值作为非类型模板参数传入（全C++标准通用） #

如果不需要保持函数传参的调用语法，可以直接把值作为非类型模板参数传入，模板参数本身是常量表达式，可以直接用来初始化constexpr数组，也能正常使用static_assert：

template<auto... Vals>
constexpr auto CreateArrConst_Checked()
{
  constexpr std::array arr{Vals...};
  static_assert(arr.back() == 4, "Last element of array must be 4");
  return arr;
}

// 调用示例
static_assert(CreateArrConst_Checked<4>().back() == 4);

方案2：保留原有传参语法（C++20及以上版本支持） #

如果希望保留普通函数传参的调用形式，可以使用C++20引入的if consteval判断当前是否处于编译期求值语境，在该分支下通过编译期抛出异常的方式实现和static_assert一致的编译期检查效果：

template<typename... Args>
constexpr auto CreateArrConst_Checked(Args&&... args)
{
  std::array arr{std::forward<Args>(args)...};
  if consteval {
    // 仅在编译期执行时触发校验
    if (arr.back() != 4) {
      throw "Compile error: last element of array must be 4";
    }
  }
  return arr;
}

// 编译期调用时会自动执行检查，不符合要求直接编译失败
static_assert(CreateArrConst_Checked(4).back() == 4);

内容的提问来源于stack exchange，提问作者SupAl