Re: c++/6289: partial template specialization and friend

[Nathan Sidwell <nathan@acm.org>]

The following reply was made to PR c++/6289; it has been noted by GNATS.

From: Nathan Sidwell <nathan@acm.org>
To: Reichelt <reichelt@igpm.rwth-aachen.de>
Cc: gcc-gnats@gcc.gnu.org, jototland@hotmail.com, gcc-bugs@gcc.gnu.org, 
    nobody@gcc.gnu.org, bangerth@math.ethz.ch
Subject: Re: c++/6289: partial template specialization and friend
Date: Wed, 08 May 2002 12:34:04 +0100

 Reichelt wrote:
 > 
 > Hi,
 > 
 > here's an even shorter example:
 > 
 > ---------------------------snip here--------------------------
 > template <typename T> class B
 > {
 >     typedef int X;
 >     friend class X;
 > };
 > ---------------------------snip here--------------------------
 > 
 > This is in fact legal code (and is accepted by SGI's and Comeau's
 > compiler for example). It would be illegal, if the friend declaration
 no it is ill formed. [7.1.5.3]/2 says
 	if the identifier resolves to a typedef name, or a template
 	type-parameter, the elaborated type specifier is ill-formed.
 
 nathan
 
 -- 
 Dr Nathan Sidwell :: Computer Science Department :: Bristol University
            The voices in my head told me to say this
 nathan@acm.org  http://www.cs.bris.ac.uk/~nathan/  nathan@cs.bris.ac.uk