Comment détecter les fonctions membres héritées à l'aide de SFINAE ?

SFINAE pour la détection des fonctions membres héritées

Les fonctions membres inhérentes peuvent être détectées à l'aide des techniques L'échec de substitution n'est pas une erreur (SFINAE). Cependant, les implémentations standard de SFINAE peuvent ne pas être à la hauteur. Cet article explore une solution de contournement pour détecter les fonctions membres héritées.

Considérez le code suivant :

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

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
}</code>

Ce code utilise SFINAE pour détecter les fonctions membres. Cependant, il ne parvient pas à détecter les fonctions membres héritées dans B.

Pour résoudre ce problème, la base de code suivante peut être utilisée :

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

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))); 
}; 

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>

Cette version utilise l'héritage de classe et définit une classe d'assistance pour aider dans le chèque SFINAE. Le résultat démontre la détection réussie des fonctions membres héritées.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!