Какой дефект в объявлении метода производного класса обнаруживает спецификатор override?
override обнаруживает на этапе компиляции, что метод производного класса не переопределяет виртуальный метод базового класса с точно совместимой сигнатурой. Без него такая ошибка может остаться незамеченной: метод будет обычным новым методом, скрывающим одноимённый метод базового класса.
Механизм виртуальных функций существовал в C++ до появления override, но язык не требовал явно указывать намерение переопределить метод. Поэтому опечатка в имени, параметрах, квалификаторах const, ref-квалификаторах или noexcept могла компилироваться как объявление другого метода.
Спецификатор override появился в C++11, чтобы сделать это намерение проверяемым компилятором. Он не меняет сам механизм виртуального вызова, а добавляет статическую проверку корректности объявления.
Производный класс может содержать метод с тем же именем, но с несовместимой сигнатурой. В таком случае вызов через ссылку или указатель на базовый класс продолжит обращаться к базовой реализации, хотя разработчик мог ожидать полиморфного поведения.
Без override ошибка особенно опасна при изменении базового класса: добавление или изменение const, &, && либо noexcept может нарушить переопределение, не вызвав очевидной ошибки в производном классе.
Метод считается переопределяющим виртуальный метод базового класса только при соблюдении правил совместимости. В частности, должны совпадать имя и параметры, а также учитываются cv-квалификаторы, ref-квалификаторы и некоторые свойства исключений. Возвращаемый тип может отличаться только в разрешённых случаях ковариантности.
В примере print корректно переопределяет метод базового класса. Если убрать const из метода Derived, компилятор выдаст ошибку на override, потому что неконстантный метод имеет другую сигнатуру и не переопределяет Base::print.
override действует только на этапе компиляции и не делает метод виртуальным сам по себе: переопределяемый метод базового класса уже должен быть виртуальным. Спецификатор также не заменяет virtual в базовом классе и не требуется писать virtual повторно в производном классе.
Практический компромисс отсутствует: использование override почти всегда улучшает надёжность кода. Ограничение состоит лишь в том, что он запрещает случайное объявление нового метода там, где разработчик явно заявил намерение переопределить существующий.
В обработчике событий базовый класс объявляет константный виртуальный метод. В производном классе разработчик пишет метод без const. Без override код компилируется, но вызов через интерфейс базового класса использует базовую реализацию, а не обработчик производного класса.
Вариант без спецификатора проще записать и совместим со старым стилем C++, но ошибка обнаруживается только тестами или анализом поведения. Вариант с override немедленно останавливает сборку и указывает на несоответствие сигнатур.
Выбранное решение — всегда указывать override для намеренного переопределения виртуального метода. Это переносит обнаружение дефекта с этапа выполнения на этап компиляции и защищает код при последующих изменениях интерфейса базового класса.
Нет. Если метод переопределяет виртуальный метод базового класса, он остаётся виртуальным независимо от наличия слова virtual в его объявлении. Обычно в производном классе пишут только override, потому что он одновременно выражает намерение и включает проверку.
Нет. Для корректного переопределения важны также cv-квалификаторы и ref-квалификаторы метода, а в соответствующих случаях — спецификация noexcept. Например, константный и неконстантный методы с одинаковым именем и параметрами являются разными функциями с точки зрения переопределения.
Он объявит отдельный метод в производном классе и может скрыть одноимённые методы базового класса при обычном поиске имени. Однако вызов виртуального метода через указатель или ссылку на базовый класс выберет базовую реализацию, поскольку переопределения фактически нет. Спецификатор override позволяет обнаружить такую ошибку сразу.