为什么在 C 函数中使用 `std::array` 引用参数会阻止常量表达式求值？

引用参数和常量表达式

在提供的 C 代码中，concatenate 函数接收两个 std::array 类型的引用参数。然而，编译时遇到的错误与数组的 size 成员函数有关，由于其引用性质，该函数不被视为常量表达式。

根据 C 标准，一个核心常量表达式被定义为不计算为：

• id 表达式（即引用）的表达式引用类型的变量或数据成员，除非引用：

  • 具有前面的初始化
  • 可在常量表达式中使用
  • 其生命周期在求值内开始表达式

在这种情况下，数组的引用参数不会不符合任何这些标准。如果没有前面的初始化，引用就不能被计算为常量表达式。

因此，由于在引用参数上调用 size 成员函数（即 data1.size()），不能被认为是常量表达式，导致编译错误。

要解决这个问题，建议直接使用模板参数S1和S2来确定大小结果数组而不是依赖于引用参数的 size 成员函数：

auto result = std::array<uint8_t, S1 + S2>{};

以上是为什么在 C 函数中使用 `std::array` 引用参数会阻止常量表达式求值？的详细内容。更多信息请关注PHP中文网其他相关文章！