This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
Re: c++/9057: partial template specialization appears to be ignored
- From: Volker Reichelt <reichelt at igpm dot rwth-aachen dot de>
- To: gcc-gnats at gcc dot gnu dot org, sneechy at hotmail dot com, gcc-bugs at gcc dot gnu dot org
- Date: Mon, 6 Jan 2003 14:51:25 +0100
- Subject: Re: c++/9057: partial template specialization appears to be ignored
Hi,
I think gcc is right and the code is actually ill-formed:
If you write
template <typename U> struct B<A::i, U> {};
instead of
template <typename U> struct B<i, U> {};
the code compiles fine. Since "i" is actually dependant on the template
parameter "T", that's how you have to do it IMHO.
I'm not 100% sure, however, so I leave this PR open for the experts.
Regards,
Volker
http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=9057