Вызов переопределенной функции из функции переопределения

Question

Предположим, что у меня есть виртуальная функция foo() в классе B, и мне нужно немного другое поведение в одном из производных классов B, класс D. Можно ли создать функцию переопределения D :: foo() и вызывать B :: foo() оттуда после обработки специального случая? Пример:

void D::foo() 
{ 
    if (/*something*/) 
    // do something 
    else 
    B::foo(); 
} 

Я не спрашиваю, будет ли это работать, я знаю, что так будет. Я хочу знать, правильно ли это с точки зрения хорошего ООД.

Answer 1

Это прекрасно. Фактически, канонический способ выполнения некоторых операций - это вызов метода базового класса, а затем делать что угодно (или наоборот). Я думаю о operator= здесь. Конструкторы обычно работают так же, даже если это немного замаскировано в списке инициализации.

Answer 2

Да, это так.

Answer 3

Я видел, что графические интерфейсы GUI используют это, чтобы вернуться к реализации по умолчанию базового класса, которая содержала код для сигнализации об ошибках/выброса исключения/возврата общего значения.

Answer 4

Да, это полностью нормально, если вы не нарушаете Принцип замещения Лискова.

Answer 5

Да, это то, что ваш компилятор делает для вас каждый раз, когда он генерирует конструктор и деструктор: называть, например, мать. Я часто полагаюсь на этот «трюк» в моем собственном коде.

Answer 6

Все в порядке. Синтаксис, который вы дали, также может использоваться для временного отключения полиморфизма, т. Е. Когда вы вызываете метод obj-> B :: foo(), выбирается из класса B независимо от того, является ли foo() виртуальным или нет, и если obj является экземпляром B или нет (это должен быть экземпляр класса, расширяющего B, хотя).

Answer 7

Это нормально назвать реализацию базы, но это делает условно отделяет вас от семантики конструктора, вопреки тому, что было предложено в других ответах.

Вы можете столкнуться fragile base class вопрос двумя способами:

• Допуская B::foo() обеспечивает общее поведение для всей иерархии (то есть, позабыв метод не всегда называют)
• Противные задачи в зависимости от того, что // do something фактически.!

Для полноты отметим симметричный подход к проектированию: Template pattern (базовая реализация вызова конкретных суб-часть)