[Bug c++/18007] New: Template template specialization matching problem

[Bug c++/18007] New: Template template specialization matching problem

[debian-gcc at lists dot debian dot org]

[forwarded from http://bugs.debian.org/269513]


Gcc 3.3 and gcc 3.4 both give the error message "error: `type' is not
a member of `outer<dummy>::inner<dummy<int> >'" when trying to compile
the following:

template<typename dummy_var>
struct dummy { };

template<template<typename> class outer_func>
struct outer {
  template<typename inner_var>
  struct inner { };
  
  template<typename dummy_var>
  struct inner<outer_func<dummy_var> > { typedef dummy_var type; };
};


int main(){
  outer<dummy>::inner<dummy<int> >::type var = 0;

  return var;
}

Both cxx (Digital's compiler) and icc (Intel's compiler) have no such
problem.  It appears that gcc does not properly match against the
specialized inner struct in this case (i.e. it fails to match when the
specialized parameter is based on a template template parameter of an
enclosing struct).

-T

PS: Note that the following version (which contains an even more
explicit specialization) also does not work with gcc (and also does
work with both cxx and icc):

template<template<typename> class outer_func>
struct outer {
  template<typename inner_var, typename dummy=void>
  struct inner { };
  
  template<typename dummy>
  struct inner<outer_func<int>,dummy> { typedef int type; };
};

-- 
           Summary: Template template specialization matching problem
           Product: gcc
           Version: 3.4.3
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: debian-gcc at lists dot debian dot org
                CC: gcc-bugs at gcc dot gnu dot org


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

[Bug c++/18007] Template template specialization matching problem

[debian-gcc at lists dot debian dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|                            |3.3.5 3.4.2


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

[Bug c++/18007] Template template specialization matching problem

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-10-15 12:59 -------
Confirmed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |rejects-valid
   Last reconfirmed|0000-00-00 00:00:00         |2004-10-15 12:59:21
               date|                            |


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

[Bug c++/18007] Template template specialization matching problem

[bangerth at dealii dot org]

------- Additional Comments From bangerth at dealii dot org  2004-10-15 14:50 -------
This is a duplicate of PR 4882. 
W. 

*** This bug has been marked as a duplicate of 4882 ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |DUPLICATE


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