C++でのstd :: is_base_ofのロジック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(No)と決して等しくないように定義される。

BはDの基底クラスである場合、

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

はtrueに評価します。それ以外の場合は、falseと評価されます。