為什麼函數定義中 `enable_if_t` 失敗？

模板參數衝突：為什麼enable_if_t在定義中失敗

在模板編程中，經常會遇到需要有條件啟用的情況或根據特定條件停用模板功能。在這種情況下，通常會使用 std::enable_if 範本來實現此目的。然而，最近嘗試使用 std::enable_if_t 的新語法導致了意外錯誤。

在下面的程式碼片段中，我們使用std::enable_if:

定義了兩個模板函數f()

template<typename T,
         typename std::enable_if<std::is_same<int, T>::value>::type* = nullptr>
void f() { }

template<typename T,
         typename std::enable_if<std::is_same<double, T>::value>::type* = nullptr>
void f() { }

移植此程式碼以使用新的std::enable_if_t 語法時，我們遇到一個問題：

template<typename T,
         typename = std::enable_if_t<std::is_same<int, T>::value>>
void g() { }

template<typename T,
         typename = std::enable_if_t<std::is_same<double, T>::value>>
void g() { }

GCC抱怨以下錯誤：

error: redefinition of 'template<class T, class> void g()'
       void g() { }

為了理解為什麼會出現這個錯誤，我們需要檢查模板參數的語法。刪除不必要的程式碼，我們的函數得到以下簡化表示：

template<
  class T,
  class U/* = std::enable_if_t<std::is_same<int, T>::value>*/
>
void g() { }

template<
  class T,
  class U/* = std::enable_if_t<std::is_same<double, T>::value>*/
>
void g() { }

很明顯，兩個模板都具有相同的類型templatevoid()，無論它們的預設值如何不同對於第二個類型參數。這與 C 要求相同模板類型的兩個模板函數需要具有不同簽名的要求相衝突。

為了解決這個問題，我們可以將第二個參數更改為具有依賴類型的指標類型：

template<
  class T,
  std::enable_if_t<std::is_same<int, T>::value, int>* = nullptr
>
void f() { }

template<
  class T,
  std::enable_if_t<std::is_same<double, T>::value, int>* = nullptr
>
void f() { }

在此修改後的程式碼中，模板函數的簽章現在是唯一的，消除了衝突並允許正確的模板匹配。

以上是為什麼函數定義中 `enable_if_t` 失敗？的詳細內容。更多資訊請關注PHP中文網其他相關文章！