您應該在函數簽章中避免使用“std::enable_if”嗎？

程式損傷：避免在函式簽章中使用std::enable_if

Scott Meyers 即將出版的書EC 11 建議避免在函式簽章中使用std::enable_if 。儘管它在有條件地從重載解析中刪除函數或類別方面具有多功能性，但某些限制和可讀性問題值得重新考慮其用法。

在函數簽名中使用std::enable_if 的方法

函數參數：

<code class="cpp">template<typename T>
struct Check1
{
   template<typename U = T>
   U read(typename std::enable_if<  // Option 1: As function parameter
          std::is_same<U, int>::value >::type* = 0) { return 42; }
};</code>

模板參數：

<code class="cpp">template<typename T>
struct Check2
{
   template<typename U = T, typename std::enable_if<  // Option 2: As template parameter
            std::is_same<U, int>::value, int >::type = 0>
   U read() { return 42; }
};</code>

返回類型：

<code class="cpp">template<typename T>
struct Check3
{
   template<typename U = T>
   typename std::enable_if<std::is_same<U, int>::value, U>::type read() {  // Option 3: As return type
      return 42;
   }
};</code>

建議方法：放置在模板參數中

最佳解決方案是將enable_if放置在模板參數中

最佳解決方案是將enable_if放置在模板參數中。這種方法有幾個優點：
可讀性增強：

enable_if 的使用與返回/參數類型分開，提高了清晰度並減少了混亂。
通用適用性：

與其他選項不同，模板參數放置適用於沒有附加參數的建構子和運算子。
返回類型排除：

雖然「避免函數簽章中的std::enable_if」主要解決其在普通函數簽章中的使用，它確實適用於模板專業化中的回傳類型。這個問題源自於將enable_if與回傳類型合併時的可讀性問題。
成員函數與非成員函數：

此原則適用於成員函式範本和非成員函式範本。

以上是您應該在函數簽章中避免使用“std::enable_if”嗎？的詳細內容。更多資訊請關注PHP中文網其他相關文章！