在Constexpr 函數中引用非常量參數
考慮以下函數模板：
template <size_t S1, size_t S2>
auto concatenate(const std::array<uint8_t, S1>& data1,
const std::array<uint8_t, S2>& data2)
{
// Error in constexpr contexts due to reference parameter
std::array<uint8_t, data1.size() + data2.size()> result;
// ...
}使用Clang 6. C 17，此程式碼無法編譯，並出現錯誤「non-type模板參數不是常數表達式。」由於潛在的別名問題，評估 constexpr 函數中的參考會出現問題。
了解標準
依 C 標準([expr.const]/4)，如果表達式計算結果為以下引用，則它不能是核心常數表達式：
解
要解決此問題，可以替換有問題的引用參數及其對應的模板參數：
template <size_t S1, size_t S2>
auto concatenate(const std::array<uint8_t, S1>& data1,
const std::array<uint8_t, S2>& data2)
{
// Problem solved by using S1 + S2 instead
std::array<uint8_t, S1 + S2> result;
// ...
}透過直接使用模板參數，我們無需評估constexpr 上下文中的引用並確保函數可用於常數表達式評估。
以上是如何解決帶有引用的 Constexpr 函數中的'非類型模板參數不是常數表達式”錯誤？的詳細內容。更多資訊請關注PHP中文網其他相關文章！
