std::is_base_of for template classes

by

You may do the following:

template <template <typename...> class C, typename...Ts>
std::true_type is_base_of_template_impl(const C<Ts...>*);

template <template <typename...> class C>
std::false_type is_base_of_template_impl(...);

template <typename T, template <typename...> class C>
using is_base_of_template = decltype(is_base_of_template_impl<C>(std::declval<T*>()));

Live Demo

but will fail with multiple inheritance or private inheritance from A.

With Visual Studio 2017 this will fail when the base class template has more than one template parameter, and it is unable to deduce Ts...

Demo

VS Bug Report

Refactoring solves the problem for VS.

template < template <typename...> class base,typename derived>
struct is_base_of_template_impl
{
    template<typename... Ts>
    static constexpr std::true_type  test(const base<Ts...> *);
    static constexpr std::false_type test(...);
    using type = decltype(test(std::declval<derived*>()));
};

template < template <typename...> class base,typename derived>
using is_base_of_template = typename is_base_of_template_impl<base,derived>::type;

Live Demo

More Related Contents:

  1. Optimization code for a debug function (c++11 with templates) [closed]
  2. C++11 does not deduce type when std::function or lambda functions are involved
  3. C++ template typedef
  4. initializer_list and move semantics
  5. How to convert a lambda to an std::function using templates
  6. static_assert fails compilation even though template function is called nowhere
  7. trailing return type using decltype with a variadic template function
  8. Selecting a member function using different enable_if conditions
  9. How to initialize std::array elegantly if T is not default constructible?
  10. Why should I avoid std::enable_if in function signatures
  11. When to use std::forward to forward arguments?
  12. Template tuple – calling a function on each element
  13. Calling a function for each variadic template argument and an array
  14. What does this variadic template code do?
  15. SFINAE works differently in cases of type and non-type template parameters
  16. Expansion with variadic templates [duplicate]
  17. Variadic templates
  18. Can the point-of-instantiation be delayed until the end of the translation unit?
  19. What is the easiest way to print a variadic parameter pack using std::ostream?
  20. Variadic function template with pack expansion not in last parameter
  21. Default template argument when using std::enable_if as templ. param.: why OK with two template functions that differ only in the enable_if parameter?
  22. How to pass a template function in a template argument list
  23. C++11 is_same type trait for templates
  24. Why the initializer of std::function has to be CopyConstructible?
  25. gcc can compile a variadic template while clang cannot
  26. Interfacing C++11 array with Cython
  27. Partial specialization of function templates
  28. Specialized template function with deleted “general” case fails to compile with g++
  29. Dynamic dispatching of template functions?
  30. Why can’t I use alias from a base class in a derived class with templates?

Leave a Comment