How to test whether class B is derived from template family of classes

by

Try this:

#include <type_traits>

template <typename T, template <typename> class Tmpl>  // #1 see note
struct is_derived
{
    typedef char yes[1];
    typedef char no[2];

    static no & test(...);

    template <typename U>
    static yes & test(Tmpl<U> const &);

    static bool const value = sizeof(test(std::declval<T>())) == sizeof(yes);
};

Usage:

#include <iostream>

template<class T> struct X {};

struct A : X<int> {};

int main()
{
    std::cout << is_derived<A, X>::value << std::endl;
    std::cout << is_derived<int, X>::value << std::endl;
}

Note: In the line marked #1, you could also make your trait accept any template that has at least one, but possibly more type arguments by writint:

template <typename, typename...> class Tmpl

More Related Contents:

  1. How to write `is_complete` template?
  2. Templated check for the existence of a class member function?
  3. Check if a class has a member function of a given signature
  4. How does `void_t` work
  5. How to detect whether there is a specific member variable in class?
  6. SFINAE working in return type but not as template parameter
  7. How does `is_base_of` work?
  8. What is “Expression SFINAE”?
  9. Metaprograming: Failure of Function Definition Defines a Separate Function
  10. SFINAE to check for inherited member functions
  11. C++ SFINAE examples?
  12. Selecting a member function using different enable_if conditions
  13. Why should I avoid std::enable_if in function signatures
  14. Detecting constexpr with SFINAE
  15. Check if a variable type is iterable?
  16. How to detect existence of a class using SFINAE?
  17. check if member exists using enable_if
  18. What is decltype with two arguments?
  19. Template specialization and enable_if problems [duplicate]
  20. SFINAE works differently in cases of type and non-type template parameters
  21. Select class constructor using enable_if
  22. Disambiguate overloaded member function pointer being passed as template parameter
  23. Using SFINAE to check for global operator
  24. C++11 is_same type trait for templates
  25. How to tell if template type is an instance of a template class?
  26. using SFINAE for template class specialisation
  27. SFINAE tried with bool gives compiler error: “template argument ‘T::value’ involves template parameter” [duplicate]
  28. Check if a type is passed in variadic template parameter pack
  29. “What happened to my SFINAE” redux: conditional template class members?
  30. How to tell if a type is an instance of a specific template class?

Leave a Comment