public inbox for gcc-prs@sourceware.org
help / color / mirror / Atom feed
* c++/8596: Base class template list not checked at point of declaration
@ 2002-11-21 18:41 bangerth
0 siblings, 0 replies; only message in thread
From: bangerth @ 2002-11-21 18:41 UTC (permalink / raw)
To: gcc-gnats
>Number: 8596
>Category: c++
>Synopsis: Base class template list not checked at point of declaration
>Confidential: no
>Severity: serious
>Priority: medium
>Responsible: unassigned
>State: open
>Class: accepts-illegal
>Submitter-Id: net
>Arrival-Date: Fri Nov 15 17:26:01 PST 2002
>Closed-Date:
>Last-Modified:
>Originator: Wolfgang Bangerth
>Release: unknown-1.0
>Organization:
>Environment:
3.3 CVS and 3.2.1 pre
>Description:
In playing with PR 3907, I found that this compiles:
------------------------------
template <int s> struct U {};
template <int s> struct C : U<zs_zs_zs>{};
------------------------------
Is this supposed to work? I could not find anything in
the standard, but I'm surprised it compiles cleanly.
Of course I cannot instantiate C, since zs_zs_zs is not
known.
Further playing tells me that this has something to do
with (the non-existence of)two-stage name lookup, since
this compiles:
--------------------------
template <int s> struct U {};
template <int s> struct C : U<zs_zs_zs>{};
const int zs_zs_zs = 3;
C<1> c1;
--------------------------
>How-To-Repeat:
>Fix:
>Release-Note:
>Audit-Trail:
>Unformatted:
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2002-11-16 1:26 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2002-11-21 18:41 c++/8596: Base class template list not checked at point of declaration bangerth
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).