Безопасное переопределение виртуальных функций C++

Question

У меня есть базовый класс с виртуальной функцией, и я хочу переопределить эту функцию в производном классе. Есть ли способ заставить компилятор проверить, действительно ли функция, объявленная в производном классе, переопределяет функцию в базовом классе? Я хотел бы добавить макрос или что-то, что гарантирует, что я случайно не объявлял новую функцию, вместо того, чтобы переопределять старую.

Возьмем такой пример:

class parent { 
public: 
    virtual void handle_event(int something) const { 
    // boring default code 
    } 
}; 

class child : public parent { 
public: 
    virtual void handle_event(int something) { 
    // new exciting code 
    } 
}; 

int main() { 
    parent *p = new child(); 
    p->handle_event(1); 
} 

Здесь parent::handle_event() вызывается вместо child::handle_event(), потому что метод ребенка не попадает в const декларацию и поэтому объявляет новый метод. Это также может быть опечаткой в ​​имени функции или некоторой незначительной разницей в типах параметров. Это также легко произойдет, если интерфейс базового класса изменится и где-то некоторый производный класс не был обновлен, чтобы отразить изменение.

Есть ли способ избежать этой проблемы, могу ли я как-то сказать компилятору или другому инструменту проверить это для меня? Любые полезные флагов компилятора (желательно для g ++)? Как вы избегаете этих проблем?

Answer 1

Поскольку г ++ 4.7 это понять новый C++ 11 override ключевое слово:

class child : public parent { 
    public: 
     // force handle_event to override a existing function in parent 
     // error out if the function with the correct signature does not exist 
     void handle_event(int something) override; 
}; 

Answer 2

Я бы предложил небольшое изменение в вашей логике. Он может работать или не работать, в зависимости от того, что вам нужно выполнить.

handle_event() все еще может выполнять «скучный код по умолчанию», но вместо того, чтобы быть виртуальным, в точке, где вы хотите, чтобы «новый возбуждающий код» вызывал базовый класс абстрактным методом (т. Е. Должен быть -overridden), который будет предоставлен вашим классом-потомком.

EDIT: И если позже вы решите, что некоторые из ваших классов потомков делают не необходимо предоставить «новый захватывающий код», то вы можете сменить абстрактный на виртуальный и предоставить пустую реализацию базового класса этой «вставленной» функциональности ,

Answer 3

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

Например, это предупреждение C4263 в Microsoft Visual C++.

Answer 4

Что-то вроде ключевого слова C# override не является частью C++.

В gcc -Woverloaded-virtual предупреждает о скрытии виртуальной функции базового класса с функцией с тем же именем, но достаточно различной сигнатурой, которая не отменяет ее. Тем не менее, это не защитит вас от невозможности переопределить функцию из-за неправильного написания имени функции.

Answer 5

Насколько я знаю, разве вы не можете просто сделать его абстрактным?

class parent { 
public: 
    virtual void handle_event(int something) const = 0 { 
    // boring default code 
    } 
}; 

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

Answer 6

В MSVC вы можете использовать ключевое слово CLR override, даже если вы не компилируете для CLR.

В g ++ нет прямого способа обеспечить это во всех случаях; другие люди дали хорошие ответы на вопрос о том, как поймать отличительные признаки, используя -Woverloaded-virtual.В будущей версии кто-то может добавить синтаксис вроде __attribute__ ((override)) или эквивалент, используя синтаксис C++ 0x.

Answer 7

Сделайте функцию абстрактной, чтобы производные классы не имели другого выбора, кроме как переопределить ее.

@Ray Ваш код недействителен.

class parent { 
public: 
    virtual void handle_event(int something) const = 0 { 
    // boring default code 
    } 
}; 

Абстрактные функции не могут быть определены в строках. Он должен быть изменен, чтобы стать

class parent { 
public: 
    virtual void handle_event(int something) const = 0; 
}; 

void parent::handle_event(int something) { /* do w/e you want here. */ } 

Answer 8

В MSVC++ вы можете использовать keyword override

 
    class child : public parent { 
    public: 
     virtual void handle_event(int something) override { 
     // new exciting code 
     } 
    }; 

override работает как для нативной и CLR кода в MSVC++.