Curiously Recurring Template Pattern; CRTP - почему это работает

 
#include <iostream>
 
using std::cout;
using std::endl;
 
template < class T >
class Base
{
public:
    void interface()
    {
        cout << __PRETTY_FUNCTION__ << endl;
        static_cast< T* >( this )->impl();
    }
 
    static void foo()
    {
        cout << __PRETTY_FUNCTION__ << endl;
        T::bar();
    }
 
private:
    // T t; // will not compile due to the fact that T isn't complete type
};
 
class Derived : public Base< Derived >
{
public:
    void impl()
    {
        cout << __PRETTY_FUNCTION__ << endl;
    }
 
    static void bar()
    {
        cout << __PRETTY_FUNCTION__ << endl;
    }
};
 
int main()
{
    Derived d;
    d.interface();
 
    Base< Derived >::foo();
 
    return 0;
}
 
// pseudo-code of template instantiation
template<>
class Base< Derived >
{
public:
    void interface()
    {
        // ...
        static_cast< Derived* >( this )->impl();
    }
    
    static void foo()
    {
        // ...
        Derived::bar();
    }
};

struct Node
{
    Node* next_;
};

void interface()
{
    cout << __PRETTY_FUNCTION__ << endl;
    static_cast< T* >( this )->impl();//Тип T неполный, как же можно использовать функцию-член?
}

    Derived d;
    d.interface();//Инстанцируется interface

class Derived
{
    Derived d; // won't compile
};

template < class T >
class Base;//Объявление шаблонна класса Base
 
class Derived : public Base< Derived >//Здесь Base<Derived> - неполный, т.к. Base объявлен, но не определен.

class Derived : public Base< Derived >
{
//...
} /*Вот здесь тип Derived станет полным*/ ;