Спецификатор override (начиная с C++11)
Указывает, что виртуальная функция переопределяет другую виртуальную функцию.
Синтаксис
Идентификатор override, если он используется, появляется сразу после декларатора в синтаксисе объявления функции-элемента или определения функции-элемента внутри определения класса.
| декларатор последовательность-спецификаторов-виртуальности (необязательно) чистый-спецификатор (необязательно) | (1) | ||||||||
| декларатор последовательность-спецификаторов-виртуальности (необязательно) тело-функции | (2) | ||||||||
override может появиться в последовательности-спецификаторов-виртуальности сразу после декларатора и перед чистым-спецификатором, если используется.override может появиться в последовательности-спецификаторов-виртуальности сразу после декларатора и непосредственно перед телом-функции.В обоих случаях последовательность-спецификаторов-виртуальности, если она используется, равна либо override, либо final, либо final override, либо override final.
Объяснение
В объявлении или определении функции-элемента спецификатор override гарантирует, что функция является виртуальной и переопределяет виртуальную функцию из базового класса. Программа некорректна (генерируется ошибка времени компиляции), если это не так.
override это идентификатор со специальным значением, когда он используется после деклараторов функций-элементов: в противном случае это не зарезервированное ключевое слово.
Пример
#include <iostream>
struct A
{
virtual void foo();
void bar();
virtual ~A();
};
// определения функций-элементов структуры A:
void A::foo() { std::cout << "A::foo();\n"; }
A::~A() { std::cout << "A::~A();\n"; }
struct B : A
{
// void foo() const override; // Ошибка: B::foo не переопределяет A::foo
// (несоответствие сигнатур)
void foo() override; // OK: B::foo переопределяет A::foo
// void bar() override; // Ошибка: A::bar не является виртуальным
~B() override; // OK: `override` также может применяться к виртуальным
// специальным функциям-элементам, например деструкторам
void override(); // OK, имя функции-элемента, а не зарезервированное ключевое слово
};
// определения функций-элементов структуры B:
void B::foo() { std::cout << "B::foo();\n"; }
B::~B() { std::cout << "B::~B();\n"; }
void B::override() { std::cout << "B::override();\n"; }
int main() {
B b;
b.foo();
b.override(); // OK, вызывает функцию-элемент `override()`
int override{42}; // OK, определяет целочисленную переменную
std::cout << "override: " << override << '\n';
}
Вывод:
B::foo();
B::override();
override: 42
B::~B();
A::~A();
Смотрите также
спецификатор final(C++11)
|
объявляет, что метод не может быть переопределён |
