В С++ функция-член базового класса переопределяется своей производной функцией класса с тем же именем, , даже если ее прототип (количество параметров, тип и константа) отличается? Я предполагаю, что это глупый вопрос, поскольку многие веб-сайты говорят, что прототип функции должен быть таким же, чтобы это произошло; но почему код ниже не компилируется? Я считаю, что это очень простой случай наследования.
#include <iostream>
using std::cout;
using std::endl;
class A {};
class B {};
class X
{
public:
void spray(A&)
{
cout << "Class A" << endl;
}
};
class Y : public X
{
public:
void spray(B&)
{
cout << "Class B" << endl;
}
};
int main()
{
A a;
B b;
Y y;
y.spray(a);
y.spray(b);
return 0;
}
GCC выбрасывает
error: no matching function for call to `Y::spray(A&)'
note: candidates are: void Y::spray(B&)
Термин, используемый для описания этого, "скрывается", а не "переопределяет". Член производного класса по умолчанию сделает любые члены базовых классов с тем же именем недоступными, независимо от того, имеет ли они одну и ту же подпись. Если вы хотите получить доступ к элементам базового класса, вы можете вывести их в производный класс с объявлением using. В этом случае добавьте следующее в class Y:
using X::spray;
Это так называемое "укрытие": Y::spray скрывает X::spray.
Добавить с помощью директивы:
class Y : public X
{
public:
using X::spray;
// ...
};
Классы являются областями, а область класса вложен в ее родительскую. У вас точно такое же поведение с другими вложенными областями (пространства имен, блоки).
Что происходит, когда поиск по имени ищет определение имени, он смотрит в текущем пространстве имен, затем в пространстве имен enlobing и так далее, пока не найдет одно определение; затем поиск останавливается (что без учета усложнений, вызванных зависимым от аргумента поиска имени - частью правил, которая позволяет использовать функцию, определенную в пространстве имен одного из своих аргументов).