為什麼「if constexpr」會導致 C 17 中的非模板化函數出現錯誤？

C 17 中非模板化函數中的「If constexpr」錯誤

簡介

C 17 引入了if constexpr關鍵字，允許基於編譯時常數的條件編譯。但是，在非模板化函數中使用 if constexpr 時，可能會發生意外錯誤。本文探討了這些問題並提供了解決方案。

程式碼範例

考慮以下程式碼：

<code class="cpp">#include <iostream>
#include <type_traits>

int main() {
  auto value = 100;
  if constexpr (std::is_pointer_v<decltype>)
    std::cout <p><strong>編譯錯誤</strong></p>
<p></p>編譯錯誤<pre class="brush:php;toolbar:false">main.cpp:8:32: error: invalid type argument of unary ‘*’ (have ‘int’)
std::cout <p><strong>當<if conif></if></strong></p><p></p>說明<p></p><p>如果僅constexpr在範本函式中運作，因為它允許編譯器避免實例化編譯時未採用的分支。這種優化對於高效能的模板元編程至關重要。 <strong></strong>在非模板化函數中，如果 constexpr 仍然評估兩個分支，即使類型是由 decltype 推導的。這意味著上面程式碼中的錯誤是由於嘗試在 if 分支中取消引用 int 值而引起的。 </p><p></p>解<pre class="brush:php;toolbar:false"><code class="cpp">template <typename t>
void print(T value) {
  if constexpr (std::is_pointer_v<decltype>)
    std::cout <p></p>要解決此問題，您可以將 if constexpr 語句移至範本函數中。例如：<pre class="brush:php;toolbar:false">Ref to 100

此修改後的程式碼將編譯並列印預期輸出：

以上是為什麼「if constexpr」會導致 C 17 中的非模板化函數出現錯誤？的詳細內容。更多資訊請關注PHP中文網其他相關文章！