------- Comment #7 from mark at codesourcery dot com 2005-10-03 17:08 ------- Subject: Re: [3.4/4.0/4.1 Regression] Lookup of template member function finds global type.
redi at gcc dot gnu dot org wrote: > ------- Comment #4 from redi at gcc dot gnu dot org 2005-10-03 16:54 ------- > >>Until DR228 the name following ".template" had to be a member template, so the >>code would have been invalid on those grounds. > > > Erm, the name following .template *is* a member template, that's my whole > point! :-) :-) The problem is that we can't do the lookup, because the expression before the "." is dependent. But, we still have to do global-scope lookup, because "t.template S<T>::f()" would be valid, if "S" were a global template, and redundant "template" keywords are specifically allowed. I do see your point, though. It's possible that the lookup after "t.template" should be restricted so that if "t" is dependent, then no lookup is performed. > However, I'll take the question to a more appropriate forum and try to get an > explanation there, rather than banging on about it here. If you do get a DR opened about this, please let me know! -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24161
