Требуется ли пространство имен при обращении к базовому классу

Question

У меня есть такой код:

namespace N {
   class B {
     public:
       virtual void doStuff(B *) = 0;
    };
 }

 // not in a namespace
 class Derived : public N::B {
   public:
       void doStuff(B *); // Should this be N::B, or is B ok?
 };

Нужен ли мне квалификатор пространства имен, где Derived ссылается на его базовый класс? GCC и MSVC довольны написанным кодом, но другой компилятор будет жаловаться, если я не добавлю пространство имен. Что говорит стандарт C++?

Answer 1

Внутри определения класса B все в порядке. Это так называемое введенное имя класса.

Это также относится к шаблонам (не считая зависимых баз). Например

template <class T> class B{};
template <class T> class C: public B<int>
{
   void f(B* p) {} //same as B<int>* p
   void f(C* p) {} //same as C<T>* p
};

В общем случае базовый класс (и сам класс) можно ссылаться внутри определения класса без квалификации или аргументов шаблона.

Цитаты из стандарта:

9.2: имя класса вставляется в область, в которой оно объявляется сразу после того, как имя класса замечено. Имя класса также вставляется в область действия самого класса; это известно как имя введенного класса. В целях проверки доступа имя введенного класса обрабатывается так, как если бы оно было публичным именем члена.

Из этого определения следует, что имя самого класса общедоступно из класса и, следовательно, доступно в производных классах. Что доказывает мою точку зрения о том, что B в порядке вместе с N::B, потому что имя B наследуется

Кстати, это также объясняет, почему следующее недействительно:

template <class T> class B{};
template <class T> class C: public B<T>
{
     voiid f(B* p){} //ERROR
    // the above is invalid!! Base class is dependent therefore 
    //its scope is not considered during unqualified name lookup
     void g(typename C::B* p){} //this is valid, same as B<T>* p  
};

14.6.1. Говорит о введенных именах классов в шаблонах. Это слишком долго, чтобы вставить здесь. Hth