Какой родительский класс определяет функцию, переопределяемую ключевым словом override?
Я использую стороннюю библиотеку с такой иерархией классов:
А <- Б <-С
Я пишу свой собственный класс D как подкласс C и хочу переопределить функцию foo(), которая определена в каком-то классе родительской иерархии:
class D : public C {
void foo() override;
}
Предположим, что документация по родительской иерархии паршивая. Есть ли способ узнать, какой класс родительской иерархии также определяет foo()?
Спасибо!
Вы спрашиваете, есть ли какой-нибудь код, который вы можете написать, чтобы понять это, или какой-то инструмент для анализа вашей кодовой базы и выяснения этого?
Информация находится в заголовочных файлах. Вам нужно только посмотреть. И любая приличная IDE сможет рассказать вам иерархию классов со всеми определениями членов.
Кроме того, возможно, что ни один из родителей не определяет функцию-член. Рассмотрим, например, чистую виртуальную функцию-член.
@user17732522 user17732522 чисто виртуальный метод все равно будет объявлен в одном из родительских классов. Кроме того, чистый виртуальный класс также может иметь определение в исходном объявляющем классе, но это встречается нечасто. Быть «чистым» просто означает, что он ДОЛЖЕН быть переопределен, но он может иметь реализацию по умолчанию, которую могут вызывать потомки.
Теперь мне интересно, что это за библиотека :-)
@Eljay - ой, я забыл слово «public» в наследовании в моем примере кода. Мой подкласс использует ключевое слово «override» для функции, и у меня есть страницы doxygen для наследования - хоть убей, я нигде не могу найти объявление метода.
foo настоящее имя? В противном случае фактическое имя может нарушать некоторые зарезервированные имена компилятора, используемые внутри, и тогда поведение будет непредсказуемым. например используйте такие имена, как _Foo или __foo, или __Foo технически — это UB. Объявление метода также может быть сгенерировано путем сочетания шаблона и макросов, Qt Framework является хорошим примером этого, или иметь объявление, подобное переменной, например. «FuncType foo;` где using FuncType = void(void); Большинство IDE с открытым исходным кодом борются с Laterone, как будто о такой возможности забыли.
Можно подумать, что использование двойного наследования и принудительная неоднозначность могут заставить компилятор жаловаться и сообщать, какой класс является источником двусмысленности. Но это не всегда работало бы, если бы иерархия использовала виртуальное наследование.
Это не должно иметь значения. Очевидно, что общедоступный API C содержит метод virtual void foo(). То, как C получает эту функцию, не является частью API, и вам не следует на это полагаться. Это не «паршивая документация», это «недокументированные детали реализации, которые могут измениться в будущей версии».
Ответы 2
Если вы хотите проверить во время компиляции, переопределяет ли производный класс метод своего родителя или нет, и вы знаете имена классов и метода, вы можете использовать следующую концепцию:
template <typename Base, typename Derived>
concept override_foo =
std::is_same_v<decltype(&Base::foo), decltype(&Derived::foo)> == false;
Однако это не сработает, если foo перегружен.
Вот два способа в одном примере, которые заставляют компилятор сообщать вам в сообщениях об ошибках, какая функция переопределена:
struct A {
virtual int foo(int);
};
struct B : A {
};
struct C : B {
char foo(int) override {
// ^^^ error: incorrect return value
// overridden function is listed
return B::foo();
// ^^^ error: incorrect arguments for base class version
// candidates are listed
}
};
А это ошибки:
<source>:9:10: error: conflicting return type specified for 'virtual char C::foo(int)'
9 | char foo(int) override {
| ^~~
<source>:2:17: note: overridden function is 'virtual int A::foo(int)'
2 | virtual int foo(int);
| ^~~
<source>: In member function 'virtual char C::foo(int)':
<source>:12:22: error: no matching function for call to 'C::foo()'
12 | return B::foo();
| ~~~~~~^~
<source>:2:17: note: candidate: 'virtual int A::foo(int)'
2 | virtual int foo(int);
| ^~~
<source>:2:17: note: candidate expects 1 argument, 0 provided
Либо ваша IDE может отображать эту информацию, либо вы можете просмотреть файлы заголовков для A, B и C. Обратите внимание, что
class D : Cявляется частным наследованием, поэтому D не является A, B или C.