首頁 > 後端開發 > C++ > 為什麼引用參數會導致 Constexpr 函數出錯?

為什麼引用參數會導致 Constexpr 函數出錯?

Mary-Kate Olsen
發布: 2024-12-15 17:57:15
原創
932 人瀏覽過

Why Do Reference Parameters Cause Errors in Constexpr Functions?

Constexpr 函數中引用參數的混淆

下面的程式碼片段嘗試在constexpr 函數中將兩個位元組數組連接成一個新位元組數組命名為concatenate。

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 occurs here

    // ...
}
登入後複製
但是,當使用 Clang 編譯時6.0 使用 C 17 標準時,會出現錯誤:「非型別模板參數不是常數表達式」。此錯誤源自於函數參數(data1 和 data2)的參考性質。

函數參數中的引用類型會觸發問題,因為常數表達式無法計算引用,如 C 標準中 [expr.1] 中所述。 const]/4:

「表達式e 是核心常數表達式,除非e... 的計算將計算引用引用類型的變數或資料成員的id 表達式,除非引用具有前面的初始化。 "

由於本例中的引用參數沒有前面的初始化,因此它們不能在常數表達式中使用。

要修正此問題,可以將程式碼修改為直接使用 S1 和 S2 範本參數,而不是依賴參考參數的 size() 成員函數:

以上是為什麼引用參數會導致 Constexpr 函數出錯?的詳細內容。更多資訊請關注PHP中文網其他相關文章!

來源:php.cn
本網站聲明
本文內容由網友自願投稿,版權歸原作者所有。本站不承擔相應的法律責任。如發現涉嫌抄襲或侵權的內容,請聯絡admin@php.cn
作者最新文章
熱門教學
更多>
最新下載
更多>
網站特效
網站源碼
網站素材
前端模板