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

["debian-gcc at lists dot debian dot org" <gcc-bugzilla@gcc.gnu.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