This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
Re: c++/7402: Partial Template Specialization Problem
- From: lerdsuwa at gcc dot gnu dot org
- To: gcc-bugs at gcc dot gnu dot org, gcc-prs at gcc dot gnu dot org, jfranzoy at yahoo dot com dot ar, nobody at gcc dot gnu dot org
- Date: 25 Jul 2002 14:52:56 -0000
- Subject: Re: c++/7402: Partial Template Specialization Problem
- Reply-to: lerdsuwa at gcc dot gnu dot org, gcc-bugs at gcc dot gnu dot org, gcc-prs at gcc dot gnu dot org, jfranzoy at yahoo dot com dot ar, nobody at gcc dot gnu dot org, gcc-gnats at gcc dot gnu dot org
Synopsis: Partial Template Specialization Problem
State-Changed-From-To: open->closed
State-Changed-By: lerdsuwa
State-Changed-When: Thu Jul 25 07:52:55 2002
State-Changed-Why:
Not a bug. The compiler has to be able to deduce what T1
is before the partial specialization can be used (according
to section 14.5.4.1 para 2 of the C++ Standard). But
because the following
typename TemplateParameterGenerator<T1>::Result
is treated as a non-deduced context (14.8.2.4 p4).
So T1 can never be deduced and the partial specialization
is never used.
http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=7402