CODEWITHSUNDEEP
c++templatesc++20
Johannes Schaub - litb
Johannes Schaub - litb

Reputation: 506925

When/why/how do unqualified names look in dependent base?

For up to C++17 I find this wording in [temp.dep]p3

In the definition of a class or class template, the scope of a dependent base class (17.7.2.1) is not examined during unqualified name lookup either at the point of definition of the class template or member or during an instantiation of the class template or member.

But looking at the newest draft (on eel.is), it appears this changed. This text does not appear at the place anymore, and I don't know whether this rule is still in place, or in weaker form (maybe they are looked up if they are dependent, but illformed if a base-class member is found?) or not at all!

Upvotes: 3

Views: 231

Answers (1)

Davis Herring
Davis Herring

Reputation: 39818

Nothing has changed. The relevant rule is now [class.member.lookup]/4:

Calculate the lookup set for N in each direct non-dependent ([temp.dep.type]) base class […]

so that there need not be a special override for the name-lookup rules in [temp].

Upvotes: 8

Related Questions