CRTP question

[fabioppp]

Is this piece of code correct?

template<typename Child>
struct Base
{
enum { derived_id = Child::id }; // <= wont compile!

void invokeDispatch()
{
((Child*) this)->invoke(); // <= this compile fine!
}
};

struct Derived1 : public Base<Type1>
{
enum { id = 1 };

void invoke()
{

}
};

Why the enum doesn't compile, while invokeDispatch seems to be fine?

Thanks

--
Fabio.

[fabioppp]

fabioppp wrote:

struct Derived1 : public Base<Type1>
{
enum { id = 1 };

void invoke()
{

}
};

Sorry... it's:

struct Derived1 : public Base<Derived1>
{
enum { id = 1 };

void invoke()
{

}
};

--
Fabio.

[James Aguilar]

"fabioppp" <fabioppp_it@yahoo[nospam].it> wrote in message
news:EY***********************@news4.tin.it...

struct Derived1 : public Base<Derived1>
{
enum { id = 1 };
void invoke()
{}
};

I'm a relative newbie compared to some of these guys, but it seems to me
like you can't use a class in its own definition. How can the compiler know
what Derived1 does until you finish defining it?

- JFA1