Безпечно перекрийте віртуальними функціями C ++

У мене базовий клас з віртуальною функцією, і я хочу перекрити цю функцію у похідному класі. Чи є якийсь спосіб змусити компілятор перевірити, чи дійсно функція, яку я декларував у похідному класі, перекриває функцію в базовому класі? Я хотів би додати якийсь макрос або щось, що гарантує, що я випадково не оголосив нову функцію, замість того, щоб переосмислити стару.

Візьмемо цей приклад:

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 ++)? Як уникнути цих проблем?

Оскільки g ++ 4.7, він розуміє нове overrideключове слово C ++ 11 :

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;
};

Щось на зразок overrideключового слова C # не входить до C ++.

У gcc -Woverloaded-virtualзастерігає від приховування віртуальної функції базового класу з однойменною функцією, але досить іншою підписом, щоб вона не перекривала її. Однак це не захистить вас від неможливості зміни функції через неправильне написання назви функції.

Наскільки я знаю, ви не можете просто зробити це абстрактним?

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

Я думав, що читав на www.parashift.com, що ви можете реально реалізувати абстрактний метод. Що для мене особисто має сенс, єдине, що він робить - це змусити підкласи його реалізовувати, ніхто про це нічого не сказав, не дозволяючи мати саму реалізацію.

У MSVC можна використовувати CLR override ключове слово навіть якщо ви не компілюєте для CLR.

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

У MSVC ++ ви можете використовувати ключове словоoverride

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

override працює як для рідного, так і для CLR-коду в MSVC ++.

Зробіть функцію абстрактною, щоб у похідних класів не було іншого вибору, ніж її перекрити.

@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. */ }

Я б запропонував невелику зміну вашої логіки. Це може чи не працювати, залежно від того, що потрібно зробити.

handle_event () все ще може робити "нудний код за замовчуванням", але замість того, щоб бути віртуальним, у точці, коли ви хочете, щоб це робив "новий захоплюючий код", виклик базового класу абстрактним методом (тобто повинен бути замінений) які будуть поставлені вашим класом нащадків.

EDIT: І якщо пізніше ви вирішите, що деяким з ваших класів нащадків не потрібно надавати "новий захоплюючий код", ви можете змінити конспект на віртуальний і поставити порожній базовий клас реалізації цього "вставленого" функціоналу.

У вашому компіляторі може бути попередження, що воно може генеруватися, якщо функція базового класу стане прихованою. Якщо так, увімкніть це. Це спричинить конфлікти const та відмінності у списках параметрів. На жаль, це не виявить орфографічну помилку.

Наприклад, це попередження C4263 в Microsoft Visual C ++.

C ++ 11 overrideКлючове слово коли використовується з декларацією функції всередині похідного класу, примушує компілятор перевірити, що заявлена ​​функція насправді перекриває якусь функцію базового класу. В іншому випадку компілятор видасть помилку.

Отже, ви можете використовувати overrideспецифікатор, щоб забезпечити динамічний поліморфізм (переосмислення функції).

class derived: public base{
public:
  virtual void func_name(int var_name) override {
    // statement
  }
};