Re: c++/9476: lookup of member in base class template fails

[Jan Van Dijk <janvandijkinjapan@yahoo.co.jp>]

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

From: Jan Van Dijk <janvandijkinjapan@yahoo.co.jp>
To: gcc-gnats@gcc.gnu.org,
 gcc-bugs@gcc.gnu.org,
 nobody@gcc.gnu.org,
 gcc-prs@gcc.gnu.org,
 jan@etpmod.phys.tue.nl
Cc:  
Subject: Re: c++/9476: lookup of member in base class template  fails
Date: Wed, 29 Jan 2003 00:12:43 +0000

 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=3Dview%20audit-trail&database=3D=
 gcc&pr=3D9476
 
 You (Nathan) said that `the usual' lookup rules apply here. In these word=
 s I=20
 read that within D<X> the data member i could be found in the base class=20
 B<X>, according to 3.4.1/7.
 
 In fact, I believed that the requirement that `specializations of templat=
 es=20
 are known before first use of the template' was exactly to make code like=
 =20
 this have a clear meaning, independent of the presence of specialisations=
  of=20
 the base class. (Otherwise, a specialisation B<double> could re-define th=
 e=20
 type of i.)
 
 In your mail you also say that `the koenig lookup should be resolved at p=
 arse=20
 time. (see example in 14.6/9)'. Well, in the code in my report a definiti=
 on=20
 of `int i' is present in the base class which is seen at parse time, so w=
 hat=20
 is the problem? The example in 14.6.9 is different: there the line `d++'=20
 refers to a d that is not there (yet). It is declared a few lines lower.
 
 As a sidenote: earlier today a similar report has been posted (9447). It =
 may=20
 be taken into acount in this discusssion. In the audit trail of that PR,=20
 Paolo Carlini expresses his belief that these _are_ parser bugs, BTW. Als=
 o=20
 Gabriel Dos Reis seems to be certain that the present behaviour is not=20
 correct (mailing list, today).=20
 
 Hmmm. Clash of the Titans. I'm going to watch and be curious about the ou=
 tcome=20
 of the discussion.
 
 =09Regards, Jan.
 
 --=20
 Keio-Tsuushin Residence
 Jan van Dijk, Room 210
 2 Chome 19-30, Mita Minato-ku
 108 Tokyo, Japan
 
 jan@etpmod.phys.tue.nl
 tel: +81 3 5476 9461 (home)
 __________________________________________________
 Do You Yahoo!?
 Yahoo! BB is Broadband by Yahoo!  http://bb.yahoo.co.jp/