如何使用 SFINAE 偵測繼承的成員函數？

用於偵測繼承成員函數的 SFINAE

可以使用替換失敗不是錯誤 (SFINAE) 技術來偵測固有成員函數。然而，標準 SFINAE 實施可能無法達到要求。本文探討了一種檢測繼承的成員函數的解決方案。

考慮以下程式碼：

<code class="cpp">#include &lt;iostream&gt;

template&lt;typename T, typename Sig&gt;                                 
struct has_foo {                     
    template &lt;typename U, U&gt; struct type_check;
    template &lt;typename V&gt; static char (&amp;amp; chk(type_check&lt;Sig, &amp;amp;V::foo&gt;*))[1];
    template &lt;typename  &gt; static char (&amp;amp; chk(...))[2]; 
    static bool const value = (sizeof(chk&lt;T&gt;(0)) == 1);
};

struct A {
    void foo();
};

struct B : A {};

int main()
{
    using namespace std;
    cout &lt;&lt; boolalpha &lt;&lt; has_foo&lt;A, void (A::*)()&gt;::value &lt;&lt; endl; // true
    cout &lt;&lt; boolalpha &lt;&lt; has_foo&lt;B, void (B::*)()&gt;::value &lt;&lt; endl; // false
}</code>

此程式碼利用 SFINAE 來偵測成員函數。但是，它無法偵測 B 中繼承的成員函數。

要解決此問題，可以使用以下程式碼庫：

<code class="cpp">#include &lt;iostream&gt;

template &lt;typename Type&gt; 
class has_foo
{ 
   class yes { char m;}; 
   class no { yes m[2];}; 
   struct BaseMixin 
   { 
     void foo(){} 
   }; 
   struct Base : public Type, public BaseMixin {}; 
   template &lt;typename T, T t&gt;  class Helper{}; 
   template &lt;typename U&gt; 
   static no deduce(U*, Helper&lt;void (BaseMixin::*)(), &amp;amp;U::foo&gt;* = 0); 
   static yes deduce(...); 
public: 
   static const bool result = sizeof(yes) == sizeof(deduce((Base*)(0))); 
}; 

struct A {
    void foo();
};

struct B : A {};

struct C {};

int main()
{
    using namespace std;
    cout &lt;&lt; boolalpha &lt;&lt; has_foo&lt;A&gt;::result &lt;&lt; endl;
    cout &lt;&lt; boolalpha &lt;&lt; has_foo&lt;B&gt;::result &lt;&lt; endl;
    cout &lt;&lt; boolalpha &lt;&lt; has_foo&lt;C&gt;::result;
}</code>

此版本利用類別繼承並定義一個輔助類別來協助在 SFINAE 檢查中。結果輸出顯示成功偵測到繼承的成員函數。

以上是如何使用 SFINAE 偵測繼承的成員函數？的詳細內容。更多資訊請關注PHP中文網其他相關文章！