CRTP how to pass type

[FrEEzE2046]

I'm trying to use CRTP.

But I'm failing at most basic stuff:

template<class Derived>
class Base
{
public:
    typename Derived::TYPE i;
};

template<typename T>
class Derived : public Base<Derived<T>>
{
public:
    typedef T TYPE;
};

I'm getting the compiler error:

'TYPE' is not a member of Derived<T>

But I think it is. What's the problem?
The issue is that the compiler does'nt know the definition of class Derived yet (at compile time). But I'm searching for a solution. Any ideas?

[anon]

I think it is not going to be able to use that typedef, because at that point where you need it (in Base), Derived is still incomplete.

For one thing you could just use two template arguments (of course if you need the Derived argument in the first place):

template<class Derived, class T>
class Base
{
public:
    T i;
};

template<typename T>
class Derived : public Base<Derived<T>, T>
{
public:
    //typedef T TYPE;
};

Another option might be to use a typetraits class that is able to extract the type from the template:

template <class T>
struct extract_type
{
};

template <template <class> class A, class T>
struct extract_type<A<T>>
{
    typedef T type;
};

template< class Derived>
class Base
{
public:
    typename extract_type<Derived>::type i;
};

template<typename T>
class Derived : public Base<Derived<T>>
{
public:
    //typedef T TYPE;
};

int main()
{
    Derived<int> d;
    d.i = 10;
}