C 中的 SFINAE：模板參數與傳回類型 – 有什麼不同？

回傳類型與模板參數中的SFINAE：比較

在C 中，替換失敗不是錯誤(SFINAE) 習慣用法允許有條件基於類型的可用性的編譯。但是，當放置在模板中的不同位置時，其行為可能會有所不同。

模板參數中的 SFINAE

在下面的程式碼中，SFINAE 用作模板參數啟用或停用特定模板函數重載。

template<typename T,
         typename = typename std::enable_if<std::is_integral<T>::value>::type>
auto foo(T) -> void { /* ... */ }

template<typename T,
         typename = typename std::enable_if<std::is_floating_point<T>::value>::type>
auto foo(T) -> void { /* ... */ }

在這種情況下，SFINAE 應用於第二個模板參數，即實際上是一個佔位符。嘗試呼叫 foo(3.4) 時會發生錯誤，因為第二個範本函數宣告有 std::enable_if<:is_floating_point>::value> 。未定義，導致缺少重載。

返回類型中的 SFINAE

相反，以下代碼在返回類型中使用 SFINAE：

template<typename T>
auto foo(T) -> typename std::enable_if<std::is_integral<T>::value>::type { /* ... */ }

template<typename T>
auto foo(T) -> typename std::enable_if<std::is_floating_point<T>::value>::type { /* ... */ }

在這種情況下，SFINAE應用於返回類型，這允許編譯器根據提供的參數區分兩個模板函數type.

為什麼會有差異？

行為上的差異源自於預設模板參數的使用。在第一個範例中，第二個範本參數預設為 typename std::enable_if<:is_integral>::value>::type，這使得範本函數宣告等效。

但是，在第二個範例，傳回型別在表達式中使用 SFINAE，它是函數簽章的一部分。這確保了模板函數具有不同的簽名，並允許 SFINAE 按預期工作。

以上是C 中的 SFINAE：模板參數與傳回類型 – 有什麼不同？的詳細內容。更多資訊請關注PHP中文網其他相關文章！