Topic: Concepts and template base members


Author: David Krauss <potswa@gmail.com>
Date: Thu, 15 Aug 2013 17:36:45 -0700 (PDT)
Raw View
------=_Part_4619_14021431.1376613405267
Content-Type: text/plain; charset=ISO-8859-1

Unqualified name lookup does not find members of type-dependent base
classes. Instead the -> or :: operators must be used. (For non-template
members, these can be encapsulated with a using declaration.)

For a base class which is an instantiation constrained by a concept, would
it be possible to let the concept declare names to be found by unqualified
lookup? They could work as implicit using declarations.

Would it be preferable to make such declarations implicit, so any member
required by some canonical syntax becomes an unqualified name in the
derived class scope? Or would that be too surprising?

--

---
You received this message because you are subscribed to the Google Groups "ISO C++ Standard - Future Proposals" group.
To unsubscribe from this group and stop receiving emails from it, send an email to std-proposals+unsubscribe@isocpp.org.
To post to this group, send email to std-proposals@isocpp.org.
Visit this group at http://groups.google.com/a/isocpp.org/group/std-proposals/.

------=_Part_4619_14021431.1376613405267
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Unqualified name lookup does not find members of type-depe=
ndent base classes. Instead the -&gt; or :: operators must be used. (For no=
n-template members, these can be encapsulated with a using declaration.)<br=
><br>For a base class which is an instantiation constrained by a concept, w=
ould it be possible to let the concept declare names to be found by unquali=
fied lookup? They could work as implicit using declarations.<br><br>Would i=
t be preferable to make such declarations implicit, so any member required =
by some canonical syntax becomes an unqualified name in the derived class s=
cope? Or would that be too surprising?<br><br></div>

<p></p>

-- <br />
&nbsp;<br />
--- <br />
You received this message because you are subscribed to the Google Groups &=
quot;ISO C++ Standard - Future Proposals&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to std-proposals+unsubscribe@isocpp.org.<br />
To post to this group, send email to std-proposals@isocpp.org.<br />
Visit this group at <a href=3D"http://groups.google.com/a/isocpp.org/group/=
std-proposals/">http://groups.google.com/a/isocpp.org/group/std-proposals/<=
/a>.<br />

------=_Part_4619_14021431.1376613405267--

.