[Bug c++/27178] New: Failure to recognize template default type argument

[Bug c++/27178] New: Failure to recognize template default type argument

[kreckel at ginac dot de]

Consider this piece of code:

template < typename T > class Alloc { };
template < typename T, typename A = Alloc< T > > class List { };
template < template < typename > class > class container;
typedef container< List > myotherlist;

This code compiles fine with gcc-3.x, gcc-4.0 and gcc-4.1 but with gcc-4.2.0
20060415 I get an "type/value mismatch at argument 1 in template parameter list
for 'template<template<class> class<template-parameter-1-1> > struct container
expected a template of type 'template<class> class<template-parameter-1-1>',
got 'template<class T, class A> class List'" error.

Changing the forward declaration of template class container makes it work:

template < template < typename, typename > class > class container;

This makes the default in the template type list of class List slightly
pointless.


-- 
           Summary: Failure to recognize template default type argument
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: kreckel at ginac dot de
 GCC build triplet: i686-linux-gnu
  GCC host triplet: i686-linux-gnu
GCC target triplet: i686-linux-gnu


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

[Bug c++/27178] Failure to recognize template default type argument

[fang at csl dot cornell dot edu]

------- Comment #1 from fang at csl dot cornell dot edu  2006-04-16 18:41 -------
Hi, see first bullet under http://gcc.gnu.org/gcc-4.2/changes.html


-- 


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

[Bug c++/27178] Failure to recognize template default type argument

[fang at csl dot cornell dot edu]

------- Comment #2 from fang at csl dot cornell dot edu  2006-04-16 18:51 -------
I meant first bullet under C++, of course.  


-- 


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

[Bug c++/27178] Failure to recognize template default type argument

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2006-04-16 21:06 -------
Invalid as this is a documented change to be closer to the standard.


-- 

pinskia at gcc dot gnu dot org changed:

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


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