由於保守函數，函數參數可以依賴模板嗎？

Consteval 函數可以啟用依賴函數參數的範本參數嗎？

在 C 17 中，定義一個返回編譯時常數的 constexpr 函數看似合乎邏輯，但卻是被禁止的。編譯器需要執行時間執行指令，防止涉及此類函數的模板實例化。

C 20 引入了 consteval 函數，確保它們在編譯時求值。有了這個，許多人期望這個約束消失，允許這樣的代碼：

<code class="cpp">consteval int foo(int i) {
    return std::integral_constant<int, i>::value;
}</code>

但是，答案仍然是堅決的不。

儘管論文有潛在的變化，事實仍然是非模板函數定義僅鍵入一次。允許此類程式碼可能會啟用非 ODR 友善類型的變數聲明，例如 std::integral_constant，這是非常不可取的。

該論文也暗示不應處理參數作為核心常數表達式。一個例子說明了這一點：

<code class="cpp">consteval int sqrsqr(int n) {
  return sqr(sqr(n)); // Not a constant-expression at this  point,
}                     // but that's okay.</code>

總之，由於潛在的型別不一致，函數參數不會演變成常數表達式。

以上是由於保守函數，函數參數可以依賴模板嗎？的詳細內容。更多資訊請關注PHP中文網其他相關文章！