C 中的 SFINAE：條件模板專業化的回傳類型與參數類型？

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

問題描述

在C 語言中，SFINAE（替換失敗不是錯誤）可用於根據類型不是錯誤特徵有條件地啟用或停用範本專業化。然而，當 SFINAE 在模板傳回類型和模板參數中套用不同時，會出現一個常見問題。

考慮以下主要函數：

int main()
{
    foo(5);
    foo(3.4);
}

在模板參數中使用SFINAE 的錯誤實作

當SFINAE放入模板參數時，如下圖，編譯失敗錯誤：

template<typename t typename="typename" std::enable_if>::value>::type>
auto foo(T) -> void
{
    std::cout ::value>::type>
auto foo(T) -> void
{
    std::cout <h3 id="在回傳類型中使用SFINAE的正確實作">在回傳類型中使用SFINAE的正確實作</h3>
<p>但是，此實作可以正常運作：</p>
<pre class="brush:php;toolbar:false">template<typename t>
auto foo(T) -> typename std::enable_if<:is_integral>::value>::type
{
    std::cout 
auto foo(T) -> typename std::enable_if<:is_floating_point>::value>::type
{
    std::cout <h3 id="說明">說明</h3>
<p>差異在於C 標準(14.5.6.1) 定義函數範本重載的方式。如果重載範本具有相同的函數名稱、相同的參數數量和相同的參數類型，則它們是等效的。但是，此比較中不考慮預設模板參數。 </p>
<p>在錯誤的實作中，SFINAE 條件作為預設模板參數包含在內，導致兩個相同的函數模板定義了兩次。這會觸發編譯錯誤。 </p>
<p>在正確的實作中，SFINAE 條件用作模板傳回類型的一部分。由於這涉及引用模板參數的表達式，因此這兩個函數具有不同的簽名，從而允許 SFINAE 按預期運行。 </p></:is_floating_point></:is_integral></typename>

以上是C 中的 SFINAE：條件模板專業化的回傳類型與參數類型？的詳細內容。更多資訊請關注PHP中文網其他相關文章！