如何使用enable_if根據範本參數選擇成員函數？

使用不同的enable_if條件選擇成員函數

enable_if元函數用於指定模板函數參數並根據它們選擇合適的成員函數。考慮以下程式碼：

<code class="cpp">template<typename T>
struct Point
{
  // Check if T is int and call MyFunction for int
  void MyFunction(typename std::enable_if<std::is_same<T, int>::value, T &>::type* = 0)
  {
    std::cout << "T is int." << std::endl;
  }

  // Check if T is not int and call MyFunction for non-int
  void MyFunction(typename std::enable_if<!std::is_same<T, int>::value, float &>::type* = 0)
  {
    std::cout << "T is not int." << std::endl;
  }
};</code>

但是，此程式碼可能會導致編譯器錯誤，指示「'struct std::enable_if' 中沒有名為 'type' 的類型」。

了解enable_if

enable_if可確保在重載決策期間僅考慮可行的函數重載。如果模板參數替換失敗，則該重載將從候選集中刪除。

在上面的範例中，在實例化成員函數時模板參數 T 是已知的。為了實現所需的行為，我們可以建立一個預設為 T 的虛擬模板參數並使用它來執行 SFINAE：

<code class="cpp">template<typename T>
struct Point
{
  template<typename U = T>
  typename std::enable_if<std::is_same<U, int>::value>::type
    MyFunction()
  {
    std::cout << "T is int." << std::endl;
  }

  template<typename U = T>
  typename std::enable_if<std::is_same<U, float>::value>::type
    MyFunction()
  {
    std::cout << "T is not int." << std::endl;
  }
};</code>

以上是如何使用enable_if根據範本參數選擇成員函數？的詳細內容。更多資訊請關注PHP中文網其他相關文章！