Почему это работает (Шаблоны, SFINAE). C++

обращаясь к вчерашнему сообщению, это разбудило меня этим утром. Почему это на самом деле работает? Пока функция test затронут, эта функция не имеет никакого тела поэтому, как она может выполнить что-нибудь? Я хочу знать, почему и как это работает? Мне ДЕЙСТВИТЕЛЬНО интересно видеть Ваши ответы.

template<typename T> 
class IsClassT { 
  private: 
    typedef char One; 
    typedef struct { char a[2]; } Two; 
    template<typename C> static One test(int C::*); //NO BODY HERE
    template<typename C> static Two test(…); //NOR HERE
  public: 
    enum { Yes = sizeof(IsClassT<T>::template test<T>(0)) == sizeof(One) }; 
    enum { No = !Yes }; 
}; 

Заранее спасибо со справкой для понимания этого очень интересного явления.