Mengapa SFINAE Gagal Mengesan Fungsi Ahli Diwarisi?

Mewarisi Pengesanan Fungsi Ahli dengan SFINAE

SFINAE (Kegagalan Penggantian Bukan Ralat) membenarkan pengesanan fungsi ahli dalam kelas tertentu . Walau bagaimanapun, apabila digunakan pada fungsi ahli yang diwarisi, SFINAE menghadapi had, mengakibatkan pengesanan palsu.

Untuk menggambarkan isu ini, pertimbangkan kod berikut:

<code class="cpp">// Does not correctly detect inherited member functions
template<typename T, typename Sig>                                 
struct has_foo {                     
    template <typename U, U> struct type_check;
    template <typename V> static char (&amp; chk(type_check<Sig, &amp;V::foo>*))[1];
    template <typename  > static char (&amp; chk(...))[2]; 
    static bool const value = (sizeof(chk<T>(0)) == 1);
};

struct A {
    void foo();
};

struct B : A {};

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

Dalam contoh ini, has_foo gagal untuk mengesan ahli foo() yang diwarisi dalam B daripada A.

Untuk mengatasi had ini, teknik SFINAE yang lebih halus diperlukan. Pertimbangkan penyelesaian berikut:

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

// Usage
struct A {
    void foo();
};

struct B : A {};

struct C {};

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

Keputusan:

true
true
false

Penyelesaian ini memperkenalkan kelas campuran asas, BaseMixin, yang menyediakan fungsi ahli foo(). Fungsi ahli yang diwarisi dikesan dengan menyemak kewujudan foo() dalam kelas campuran. Teknik ini membolehkan pengesanan tepat fungsi ahli yang diwarisi, termasuk yang diwarisi pelbagai peringkat dalam.

Atas ialah kandungan terperinci Mengapa SFINAE Gagal Mengesan Fungsi Ahli Diwarisi?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!