C++: How to require that one template type is derived from the other

A trait you want might look like this:

template <typename B, typename D>
struct is_base_of // check if B is a base of D
{
    typedef char yes[1];
    typedef char no[2];

    static yes& test(B*);
    static no& test(...);

    static D* get(void);

    static const bool value = sizeof(test(get()) == sizeof(yes);
};

Then you just need a static assert of some sort:

// really basic
template <bool>
struct static_assert;

template <>
struct static_assert<true> {}; // only true is defined

#define STATIC_ASSERT(x) static_assert<(x)>()

Then put the two together:

template<class R1, class R2>
bool operator==(Manager<R1> m1, Manager<R2> m2)
{
    STATIC_ASSERT(is_base_of<R1, R2>::value || is_base_of<R2, R1>::value);

    return p1.internal_field == p2.internal_field;
}

If one does not derive from the other, the function will not compile. (Your error will be similar to “static_assert<false> not defined”, and it will point to that line.)

Related Contents:

  1. Does C++ support compile-time counters?
  2. SFINAE to check for inherited member functions
  3. C++ SFINAE examples?
  4. Can you make custom operators in C++?
  5. How can I expand call to variadic template base classes?
  6. Template Metaprogramming – Difference Between Using Enum Hack and Static Const
  7. overloading friend operator
  8. Why should the implementation and the declaration of a template class be in the same header file? [duplicate]
  9. std::enable_if to conditionally compile a member function
  10. How does `void_t` work
  11. Function passed as template argument
  12. Splitting templated C++ classes into .hpp/.cpp files–is it possible?
  13. Two phase lookup – explanation needed
  14. Conveniently Declaring Compile-Time Strings in C++
  15. using extern template (C++11)
  16. What exactly is “broken” with Microsoft Visual C++’s two-phase template instantiation?
  17. C++ static polymorphism (CRTP) and using typedefs from derived classes
  18. How to easily map c++ enums to strings
  19. C++ invoke explicit template constructor
  20. C++ syntax for explicit specialization of a template function in a template class?
  21. C++ templates Turing-complete?
  22. How to declare a templated struct/class as a friend?
  23. c++ template partial specialization member function [duplicate]
  24. Is it possible to emulate template?
  25. Why doesn’t a derived template class have access to a base template class’ identifiers?
  26. templates: parent class member variables not visible in inherited class
  27. How to write a type trait `is_container` or `is_vector`?
  28. What is the easiest way to print a variadic parameter pack using std::ostream?
  29. Template deduction for function based on its return type?
  30. using class name in a class template without template parameters
  31. Check if class is a template specialization? [duplicate]
  32. C++11: I can go from multiple args to tuple, but can I go from tuple to multiple args? [duplicate]
  33. How to check for the type of a template parameter?
  34. Template static variable
  35. declare template friend function of template class
  36. How to detect existence of a class using SFINAE?
  37. Passing a variable as a template argument
  38. Enumerate over an enum in C++
  39. C++ templates, undefined reference
  40. How can I check if a type is an instantiation of a given class template? [duplicate]
  41. Do c++ templates make programs slow?
  42. Variadic deduction guide not taken by g++, taken by clang++ – who is correct?
  43. C++ static template member, one instance for each template type?
  44. invalid use of incomplete type
  45. If I want to specialise just one method in a template, how do I do it?
  46. c++ automatic factory registration of derived types
  47. How to create a template function within a class? (C++)
  48. What is the meaning of template with empty angle brackets in C++?
  49. Class template for numeric types
  50. how to do an if else depending type of type in c++ template? [duplicate]

Leave a Comment