CRTP Pourquoi le moteur de recherche de membre est-il en cours d'exécution?

Question

Ou du moins je le pense. Considérez le code suivant

#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; 
} 

J'espérais que le compilateur serait assez gentil pour vérifier l'existence de foo au moment de la compilation dans doFoo mais dans les deux cas, avec virtual dans la base, et sans virtual dans la base du code compile bien mais se bloque à l'exécution.

Pourquoi est-ce?

Edit: configuration clang

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

avec doFoo<Unrelated>() commentées compiles.

et g ++ configuration

gcc version 7.1.1 20170630 (GCC) 

avec doFoo<Unrelated>() compile commenté.

Answer 1

Cela est dû au fait que les deux classes ont une fonction appelée foo. Il est présent dans la classe de base pour chaque classe. Cependant, toute cette fonction s'appelle elle-même, ce qui finit par provoquer un débordement de pile.