SFINAE to check for inherited member functions

by

Take a look at this thread:

http://lists.boost.org/boost-users/2009/01/44538.php

Derived from the code linked to in that discussion:

#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::*)(), &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;
}

Result:

true
true
false

More Related Contents:

  1. C++ SFINAE examples?
  2. Templated check for the existence of a class member function?
  3. How does `void_t` work
  4. How to detect whether there is a specific member variable in class?
  5. Does C++ support compile-time counters?
  6. SFINAE working in return type but not as template parameter
  7. What exactly is the “immediate context” mentioned in the C++11 Standard for which SFINAE applies?
  8. What is “Expression SFINAE”?
  9. Selecting a member function using different enable_if conditions
  10. Why should I avoid std::enable_if in function signatures
  11. How to write a type trait `is_container` or `is_vector`?
  12. Detecting constexpr with SFINAE
  13. Can you make custom operators in C++?
  14. check if member exists using enable_if
  15. Template specialization and enable_if problems [duplicate]
  16. Select class constructor using enable_if
  17. Best introduction to C++ template metaprogramming? [closed]
  18. C++: How to require that one template type is derived from the other
  19. How to know if a type is a specialization of std::vector?
  20. Using SFINAE to check for global operator
  21. How can I expand call to variadic template base classes?
  22. Template Metaprogramming – Difference Between Using Enum Hack and Static Const
  23. C++11 is_same type trait for templates
  24. C++ Template Metaprogramming – Is it possible to output the generated code?
  25. using SFINAE for template class specialisation
  26. calculating factorial using template meta-programming
  27. How to check if a template parameter is an iterator type or not?
  28. Template metaprogram converting type to unique number
  29. How to test whether class B is derived from template family of classes
  30. How do we use void_t for SFINAE?

Leave a Comment