Is_base_of

//is_base_of <A,B> Узнаёт, является ли B наследником A 
typedef char (&yes)[1];
typedef char (&no)[2];
 
template <typename B, typename D>
struct Host
{
  operator B*() const;
  operator D*();
};
 
template <typename B, typename D>
struct is_base_of
{
  template <typename T> 
  static yes check(D*, T);
  static no check(B*, int);
 
  static constexpr bool value = sizeof(check(Host<B,D>(), int())) == sizeof(yes);
};