From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 5613 invoked by alias); 17 Jul 2002 09:26:04 -0000 Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-prs-owner@gcc.gnu.org Received: (qmail 5598 invoked by uid 71); 17 Jul 2002 09:26:03 -0000 Date: Wed, 17 Jul 2002 02:26:00 -0000 Message-ID: <20020717092603.5597.qmail@sources.redhat.com> To: nobody@gcc.gnu.org Cc: gcc-prs@gcc.gnu.org, From: Thomas Mang Subject: Re: c++/7301: template template parameters are not correctly parsed when using 'typename' Reply-To: Thomas Mang X-SW-Source: 2002-07/txt/msg00505.txt.bz2 List-Id: The following reply was made to PR c++/7301; it has been noted by GNATS. From: Thomas Mang To: lerdsuwa@gcc.gnu.org, a9804814@unet.univie.ac.at, gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org, nobody@gcc.gnu.org, gcc-gnats@gcc.gnu.org Cc: Subject: Re: c++/7301: template template parameters are not correctly parsed when using 'typename' Date: Wed, 17 Jul 2002 11:15:24 +0200 --------------92BE452FA871B01A031BEB6F Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Lots of greetings, Well, but isn't a template template parameter a special case of a template parameter(one, where the templated type is itself a template)? To use a metaphor, I think a 'template parameter' could be a base class, and a 'template template parameter' would be a derived class. After all, template template parameters rely on template parameters (to instantiate the template template parameter). And as 'typename' and 'class' can be used interchangeable with template parameters, my (doubtless) point - of - view is they should be also able to be used interchangeably with template template parameters. best regards Thomas lerdsuwa@gcc.gnu.org schrieb: > Synopsis: template template parameters are not correctly parsed when using 'typename' > > State-Changed-From-To: open->closed > State-Changed-By: lerdsuwa > State-Changed-When: Sun Jul 14 08:20:06 2002 > State-Changed-Why: > Not a bug. 'typename' and 'class' can be interchanged only > for template type parameters, not template template parameters. > > http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=7301 --------------92BE452FA871B01A031BEB6F Content-Type: text/html; charset=us-ascii Content-Transfer-Encoding: 7bit Lots of greetings,

Well, but isn't a template template parameter a special case of a template parameter(one, where the templated type is itself a template)?

To use a metaphor, I think a 'template parameter' could be a base class, and a 'template template parameter' would be a derived class.
After all, template template parameters rely on template parameters (to instantiate the template template parameter).

And as 'typename' and 'class' can be used interchangeable with template parameters, my (doubtless) point - of - view is they should be also able to be used interchangeably with template template parameters.
 

best regards

Thomas
 
 
 

lerdsuwa@gcc.gnu.org schrieb:

Synopsis: template template parameters are not correctly parsed when using 'typename'

State-Changed-From-To: open->closed
State-Changed-By: lerdsuwa
State-Changed-When: Sun Jul 14 08:20:06 2002
State-Changed-Why:
    Not a bug.  'typename' and 'class' can be interchanged only
    for template type parameters, not template template parameters.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=7301

--------------92BE452FA871B01A031BEB6F--