CRTP base class using typedef of sub-class doesn't work

[Frank Bergemann]

Hi,

the (gcc-3.4.4) compiler complains, if i try to use a typedef of
subclass in superclass:

|padsol15 141make Helper_test
[CXXD] Helper_test.cc
In file included from Helper_test.cc: 17:
Helper.h:258: error: ISO C++ forbids declaration of `BaseType' with no
type
Helper.h:258: error: `::BaseType' is not a valid declarator
Helper.h:258: error: expected `;' before "BaseType"
make: *** [Helper_test.o] Error 1

???
*
* internal base type for shared basics
*/
template<typena me X>
class _common
{
public:
typedef X ForType;
typedef X::BaseType BaseType;
typedef _common Super;

BaseType m_data;
/*
operators based on STL predicator specializations of BaseType,
etc, ...
*/
} ;

class wrapper : public _common<wrapper >
{
public:
typedef wrapped_t BaseType; // _common<can't use that?!

wrapper (wrapped_t data) : Super(data) { /* void */ }
wrapper (wrapper const& rhs) : Super(rhs.m_dat a) { /* void */ }
~wrapper() { /* void */ }

wrapper& operator=(wrapp er const& rhs)
{
if (&rhs != this) {
wrapper x(rhs);
Super::swap(x);
}
return *this;
}

};

[Frank Bergemann]

found a solution here (happens always after posting :-):

http://groups.google.de/group/comp.l...886cdc72de4649

\Frank

[kwikius]

"Frank Bergemann" <FB********@web .dewrote in message
news:49******** *************** ***********@f36 g2000hsa.google groups.com...

Hi,

the (gcc-3.4.4) compiler complains, if i try to use a typedef of
subclass in superclass:

|padsol15 141make Helper_test
[CXXD] Helper_test.cc
In file included from Helper_test.cc: 17:
Helper.h:258: error: ISO C++ forbids declaration of `BaseType' with no
type
Helper.h:258: error: `::BaseType' is not a valid declarator
Helper.h:258: error: expected `;' before "BaseType"
make: *** [Helper_test.o] Error 1

<...>

* internal base type for shared basics
*/
template<typena me X>
class _common
{
public:
typedef X ForType;
typedef X::BaseType BaseType;

^^^
<...>
try:

typedef typename X::BaseType BaseType;

regards
Andy Little

[peter koch]

On 2 Maj, 11:42, Frank Bergemann <FBergem...@web .dewrote:

Hi,

the (gcc-3.4.4) compiler complains, if i try to use a typedef of
subclass in superclass:

[SNIP]

template<typena me X>
class _common
{
public:
* * * * typedef X ForType;
* * * * typedef X::BaseType BaseType;

[snip]

As others already pointed out, this is because the compiler can't
detect that X::BaseType is a type: remember the typename keyword.
Perhaps your question should be dubbed Curiously Recurring Template
Question?

/Peter