From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-prs-return-20424-listarch-gcc-prs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 9107 invoked by alias); 13 Jul 2002 14:06:01 -0000
Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc-prs/>
List-Post: <mailto:gcc-prs@gcc.gnu.org>
List-Help: <mailto:gcc-prs-help@gcc.gnu.org>
Sender: gcc-prs-owner@gcc.gnu.org
Received: (qmail 9083 invoked by uid 71); 13 Jul 2002 14:06:00 -0000
Resent-Date: 13 Jul 2002 14:06:00 -0000
Resent-Message-ID: <20020713140600.9082.qmail@sources.redhat.com>
Resent-From: gcc-gnats@gcc.gnu.org (GNATS Filer)
Resent-To: nobody@gcc.gnu.org
Resent-Cc: gcc-prs@gcc.gnu.org, gcc-bugs@gcc.gnu.org
Resent-Reply-To: gcc-gnats@gcc.gnu.org, a9804814@unet.univie.ac.at
Received: (qmail 6733 invoked by uid 61); 13 Jul 2002 14:01:35 -0000
Message-Id: <20020713140135.6732.qmail@sources.redhat.com>
Date: Sat, 13 Jul 2002 07:06:00 -0000
From: a9804814@unet.univie.ac.at
Reply-To: a9804814@unet.univie.ac.at
To: gcc-gnats@gcc.gnu.org
X-Send-Pr-Version: gnatsweb-2.9.3 (1.1.1.1.2.31)
Subject: c++/7301: template template parameters are not correctly parsed when using 'typename' 
X-SW-Source: 2002-07/txt/msg00426.txt.bz2
List-Id: <gcc-prs.sourceware.org>


>Number:         7301
>Category:       c++
>Synopsis:       template template parameters are not correctly parsed when using 'typename'
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          rejects-legal
>Submitter-Id:   net
>Arrival-Date:   Sat Jul 13 07:06:00 PDT 2002
>Closed-Date:
>Last-Modified:
>Originator:     a9804814@unet.univie.ac.at
>Release:        gnu 2.95.3-6(mingw special)
>Organization:
>Environment:

>Description:
The following programs use each 2 template template parameters, using the keyword 'typename'. The first template template parameter is used in a member function, the second in the classes template-list.

The only difference in code is that the first program does use the keyword 'typename', whereas the second uses 'class'.
According to the standard, these can be used interchangeably in template - parameter-lists.
However, the first program does not compile, the second does compile fine.
 

#include <vector>

template <typename T>
class Factory
{
 	public:

   	template <template <typename> typename U>
   	U<T> * Create() { return new U<T>; }
};       

template <typename T, template <typename> typename Container>
class ContainerClass
{
	private:
   	Container<T> Container_;
};


int main(int argc, char* argv[])
{                
 	Factory<int> iFactory;
   std::vector<int> *iVec = iFactory.Create<std::vector>();

   delete iVec;           

   ContainerClass<double, std::vector> dContainer;

   return 0;
}      


------------




#include <vector>

template <typename T>
class Factory
{
 	public:

   	template <template <typename> class U>
   	U<T> * Create() { return new U<T>; }
};

template <typename T, template <typename> class Container>
class ContainerClass
{
	private:
   	Container<T> Container_;
};


int main(int argc, char* argv[])
{                
 	Factory<int> iFactory;
   std::vector<int> *iVec = iFactory.Create<std::vector>();
   delete iVec;

   ContainerClass<double, std::vector> dContainer;

   return 0;
}      
>How-To-Repeat:

>Fix:
probalby a semantic parse error
>Release-Note:
>Audit-Trail:
>Unformatted: