為什麼在 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中文網其他相關文章！