[Bug c++/31323] typename A::B * p; in template definition, with curiously recurring template inheritance

[mesti_mudam at yahoo dot com]

------- Comment #4 from mesti_mudam at yahoo dot com  2007-03-26 21:49 -------
ive no idea which part of the standard should imply/allow this. if one replaces
"typename T::privIC * priv" with "T * priv", its valid and it compiles. I
thought T::privC is equally accessible & 'incomplete' as T itself when
instantiating the template. what i want is:
class A : public Base<A>
class B : public Base<B>
etc.
all having the same interface, and all of them's private implementation class
is called privC. so either in A, B, etc. or later i'll define class A::privC,
class B::privC, etc.

maybe we should add this to the standard :)


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31323