為什麼 `data1.size()` 不能在有參考參數的 `constexpr` 函數中運作？

帶有引用參數的Constexpr 函數中的常數表達式

考慮以下程式碼片段：

template <size_t S1, size_t S2>
auto concatenate(const std::array<uint8_t, S1> &data1,
                 const std::array<uint8_t, S2> &data2)
{
    std::array<uint8_t, data1.size() + data2.size()> result; // Error: non-type template argument is not a constant expression
    ...
}

• 使用編譯時clang 6.0 with -std=c 17，由於size成員，函數無法編譯應用於引用時，數組的函數不是 constexpr。

標準原理

此行為的原因在[expr.const]/4 中進行了解釋C 標準：

如果表達式計算的是引用引用類型的變數或資料成員的id-表達式，除非：

std::array<uint8_t, S1 + S2> result;

引用具有預先初始化並且可在常數表達式中使用引用的生命週期開始於表達式的計算 在這種情況下，參考參數data1沒有預先初始化，因此不能在常數表達式data1.size() data2.size() 中使用。 解決方案要解決此問題，只需替換 data1.size( ) 與模板參數 S1:

以上是為什麼 `data1.size()` 不能在有參考參數的 `constexpr` 函數中運作？的詳細內容。更多資訊請關注PHP中文網其他相關文章！