[Bug c++/22114] New: Incorrect diagnostic for specialization of a nested class template

[Bug c++/22114] New: Incorrect diagnostic for specialization of a nested class template

[cpp at tempest-sw dot com]

The code in the attached file is correct (Comeau 4.3.0.1 agrees with me), but
g++ reports an error:
doxybug.cpp:13: error: too few template-parameter-lists

-- 
           Summary: Incorrect diagnostic for specialization of a nested
                    class template
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: cpp at tempest-sw dot com
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


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

[Bug c++/22114] Incorrect diagnostic for specialization of a nested class template

[cpp at tempest-sw dot com]

------- Additional Comments From cpp at tempest-sw dot com  2005-06-18 14:13 -------
Created an attachment (id=9108)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9108&action=view)
sample code


-- 


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

[Bug c++/22114] Incorrect diagnostic for specialization of a nested class template

[giovannibajo at libero dot it]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Attachment #9108|text/x-cpp                  |text/plain
          mime type|                            |


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

[Bug c++/22114] Incorrect diagnostic for specialization of a nested class template

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|                            |2.95.3 3.0.4 3.3.3 3.4.0
                   |                            |4.0.0 4.1.0


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

[Bug c++/22114] Incorrect diagnostic for specialization of a nested class template

[bangerth at dealii dot org]

------- Additional Comments From bangerth at dealii dot org  2005-07-23 20:56 -------
You can't specialize an inner template without specializing its outer 
template as well. 
 
As per /18: 
 
18In  an  explicit  specialization  declaration  for a member of a class 
  template or a member template that appears  in  namespace  scope,  the 
  member  template  and some of its enclosing class templates may remain 
  unspecialized,  except  that  the  declaration  shall  not  explicitly 
  specialize  a  class  member template if its enclosing class templates 
  are  not  explicitly  specialized   as   well.    In   such   explicit 
  specialization   declaration,  the  keyword  template  followed  by  a 
  template-parameter-list shall be provided instead  of  the  template<> 
  preceding  the explicit specialization declaration of the member.  The 
  types of the template-parameters in the template-parameter-list  shall 
  be  the  same  as  those specified in the primary template definition. 
  [Example: 
 
     template<class T1> class A { 
             template<class T2> class B { 
                     template<class T3> void mf1(T3); 
                     void mf2(); 
             }; 
     }; 
     template<> template<class X> 
       class A<int>::B { }; 
     template<> template<> template<class T> 
       void A<int>::B<double>::mf1(T t) { } 
     template<class Y> template<> 
       void A<Y>::B<double>::mf2() { }   // ill-formed; B<double> is 
specialized but 
                                         // its enclosing class template A is 
not 
 
   --end example] 

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |INVALID


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