Предположим, у меня есть виртуальная функция foo() в классе B, и мне нужно немного другое поведение в одном из производных классов B, классе D. Можно ли создать переопределяющую функцию D::foo() и вызвать B::foo( ) оттуда, после обработки особого случая? Как это:
void D::foo()
{
if (/*something*/)
// do something
else
B::foo();
}
Я не спрашиваю, сработает ли это, я знаю, что сработает. Я хочу знать, правильно ли это с точки зрения хорошего ООД.
Это прекрасно. На самом деле, канонический способ выполнения некоторых операций — это вызвать метод базового класса, а затем сделать что угодно (или наоборот). Я думаю о operator= здесь. Конструкторы обычно работают таким же образом, даже если это немного замаскировано в списке инициализации.
Да, все в порядке, если вы не нарушаете принцип замещения Лискова.
Я видел, как фреймворки с графическим интерфейсом использовали это, чтобы вернуться к реализации базового класса по умолчанию, которая содержала код для сигнализации об ошибках/выдачи исключения/возврата общего значения.
Ничего страшного. Синтаксис, который вы указали, также можно использовать для временного отключения полиморфизма, т. е. когда вы вызываете метод obj->B::foo(), он будет выбран из класса B независимо от того, является ли foo() виртуальным или нет, и если obj является экземпляром B или нет (хотя это должен быть экземпляр класса, расширяющий B).
Да, это то, что ваш компилятор делает для вас каждый раз, когда он генерирует конструктор и деструктор: например, вызывает материнский. Я часто полагаюсь на этот «трюк» в своем собственном коде.
Можно вызывать базовую реализацию, но выполнение этого условно отдаляет вас от семантики конструктора, вопреки тому, что было предложено в других ответах.
Вы можете столкнуться с проблемой хрупкого базового класса двумя способами:
B::foo() обеспечивает общее поведение для всей иерархии (т.е. забывая, что метод не всегда вызывается)// do something!Для полноты картины давайте упомянем симметричный подход к проектированию: Шаблон шаблона (базовая реализация вызывает конкретную подчасть)
