Логика std :: is_base_of в C++ 11

Question

Пройдя некоторые из концепций C++, я наткнулся на логику std :: is_base_of.

Взаимодействуя по логике, выдается код ниже, но я не могу его понять.

Может ли кто-нибудь объяснить мне, как это работает?

template<typename D, typename B> 
class IsDerivedFromHelper 
{ 
    class No { }; 
    class Yes { No no[3]; }; 

    static Yes Test(B*); 
    static No Test(...); 
public: 
    enum { Is = sizeof(Test(static_cast<D*>(0))) == sizeof(Yes) }; 

}; 


template <class C, class P> 
bool IsDerivedFrom() { 
    return IsDerivedFromHelper<C, P>::Is; 
} 

Answer 1

Когда B является базовым классом D, вызов Test(static_cast<D*>(0)) решает Yes Test(B*). В противном случае он разрешает No Test(...).

Если B является базовым классом D, то значение sizeof(Test(static_cast<D*>(0))) равно sizeof(Yes). В противном случае он равен sizeof(No).

Yes и No определены так, чтобы sizeof(Yes) не был равен sizeof(No).

Если B является базовым классом D,

sizeof(Test(static_cast<D*>(0))) == sizeof(Yes) 

вычисляет true. В противном случае он оценивается до false.