CRTPなぜメンバー検索ランタイムですか？

Question

または少なくとも私はそうだと思います。 ベースでvirtualコードをせずに次のコード

#include <iostream> 
#include <memory> 

struct BaseBase { 
    virtual void foo() = 0; 
    virtual ~BaseBase(){} 
}; 

template <typename Derived> 
struct Base : BaseBase{ 
    void foo() override{ 
     static_cast<Derived*>(this)->foo(); 
    } 
}; 

struct D1 : Base<D1> {}; 
struct Unrelated {}; 

// no runtime polymorphism 
template <typename SDerived> 
struct SBase{ 
    void foo() { 
     static_cast<SDerived*>(this)->foo(); 
    } 
}; 

struct SD1 : SBase<SD1> {}; 


template <typename T, typename ...Args> 
void doFoo(Args&&... args){ 
    T* t = new T(std::forward<Args>(args)...); 
    t->foo(); 
} 

int main(){ 
    doFoo<Unrelated>(); //compile time error, foo not found in unrelated 
    doFoo<SD1>(); //runtime crash 
    doFoo<D1>(); //runtime crash 
    return 0; 
} 

私は、コンパイラがベースでvirtualと、doFooではなく、両方のケースでは、コンパイル時にfooの存在を確認するために十分いいだろう期待していた、とを考慮してください実行時に正常にコンパイルされますが、クラッシュします。

これはなぜですか？

編集：doFoo<Unrelated>()コメントアウトコンパイルと打ち鳴らす設定

clang version 4.0.1 (tags/RELEASE_401/final) 
Target: x86_64-unknown-linux-gnu 

。

とg ++セットアップ

gcc version 7.1.1 20170630 (GCC) 

はコメントアウトdoFoo<Unrelated>()でコンパイル。

Answer 1

これは両方のクラスにfooという関数があるためです。これは、各クラスの基本クラスに存在します。

しかし、その機能はすべて呼び出し自体であり、最終的にはスタックのオーバーフローが発生します。