為什麼 SFINAE 對於類別模板成員函數失敗？

SFINAE 類別模板成員函數失敗

替換失敗，不是錯誤(SFINAE) 機制，常用於模板元編程，當應用於類別模板成員函數時，似乎表現出特殊的行為。

問題

考慮以下程式碼片段：

<code class="cpp">#include <type_traits>

struct A{};
struct B{};

template <typename t>
struct Foo
{
    // Conditional enable bar() for T == A
    typename std::enable_if<:is_same a>::value>::type
    bar()
    {}

    // Conditional enable bar() for T == B
    typename std::enable_if<:is_same b>::value>::type
    bar()
    {}
};</:is_same></:is_same></typename></type_traits></code>

此程式碼嘗試在Foo 類別範本中定義bar() 的兩個重載，並使用SFINAE 根據T 的值有條件地啟用每個重載。但是，程式碼無法編譯，並出現以下錯誤：

<code class="cpp">error: 'typename std::enable_if<:is_same b>::value>::type Foo<t>::bar()' cannot be overloaded</t></:is_same></code>

說明

SFINAE 通常用於啟用或停用基於模板參數的模板專業化。但是，SFINAE 僅適用於 推導的 模板參數，這意味著在重載解析期間自動推導的參數。對於成員函數，模板參數不是推導的，而是在實例化類別時明確指定的。因此，SFINAE 不適用於成員函數。

解

解決這個問題主要有兩種方法：

• 使用函數模板：為每一個>

使用函數範本：

<code class="cpp">template <typename t>
void bar(Foo<t>
void bar(Foo<t>為每個重載定義單獨的函數模板，如下所示：<ul><li><strong></strong></li></ul>使用明確類別模板特化：<pre class="brush:php;toolbar:false"><code class="cpp">template <typename> struct Foo;

template  struct Foo<a> { void bar() {} };
template  struct Foo<b> { void bar() {} };</b></a></typename></code>

定義單獨的函數模板每個重載的類別模板，如下圖：

以上是為什麼 SFINAE 對於類別模板成員函數失敗？的詳細內容。更多資訊請關注PHP中文網其他相關文章！