Сравнение типов шаблонных классов

template<int m, int n>
struct A {   };

#include <iostream>
 
 
template<int m, int n>
struct A {
  typedef A IS_A_STRUCT;
};
 
template<int m, int n>
struct B {
 
};
 
 
template < typename T >
bool inline is_a_struct ( const typename T::IS_A_STRUCT & ) {
  return true ;
}
 
 
template < typename T >
bool inline is_a_struct ( const T& ) {
  return false ;
}
 
 
int main ( ) {
  A<7,9> a ;
  B<9,8> b ;
  A<10,2> a2 ;
  std::cout << is_a_struct<decltype(a)> ( a ) << std::endl ;  
  std::cout << is_a_struct<decltype(a2)> ( a2 ) << std::endl ;
  std::cout << is_a_struct<decltype(b)> ( b ) << std::endl ;
}

#include <iostream>
 
 
template<int m, int n>
struct A {
  typedef A IS_A_STRUCT;
};
 
template<int m, int n>
struct B {
 
};
 
template < typename T >
bool constexpr is_a_struct_impl ( const typename T::IS_A_STRUCT & ) {
  return true ;
}
 
template < typename T >
bool constexpr is_a_struct_impl ( const T & ) {
  return false ;
}
 
template < typename T >
bool constexpr is_a_struct ( const T & src ) {
  return is_a_struct_impl < T > ( src ) ;
}
 
 
int main ( ) {
  A<7,9> a ;
  B<9,8> b ;
  A<10,2> a2 ;
  std::cout << is_a_struct ( a ) << std::endl ;  
  std::cout << is_a_struct ( a2 ) << std::endl ;
  std::cout << is_a_struct ( b ) << std::endl ;
}

#include <iostream>
#include <string>
#include <type_traits>
 
struct Base {};
 
template<typename T, typename U>
struct A : Base {};
 
template<typename T, typename U>
struct B {};
 
int main()
{
   A<double, int> a;
   A<std::string, int> b;
   B<std::string, int> c;
 
   std::cout << std::boolalpha;
   std::cout << std::is_base_of<Base, decltype(a)>::value << std::endl;
   std::cout << std::is_base_of<Base, decltype(b)>::value << std::endl;
   std::cout << std::is_base_of<Base, decltype(c)>::value << std::endl;
 
   std::cout << "\nDone." << std::endl;
   return 0;
}