virtual function specifier

Материал из cppreference.com

This page has been machine-translated from the English version of the wiki using Google Translate.

The translation may contain errors and awkward wording. Hover over text to see the original version. You can help to fix errors and improve the translation. For instructions click here.

Click here for the English version of this page

Указывает, что функция является виртуальной

[править] Синтаксис


`virtual` function_declaration `;`

[править] Объяснение

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

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

Возвращаемый тип главной виртуальной функции не обязательно должны быть идентичны переопределить функцию. Типы могут быть различными, если они являются' ковариантный друг с другом. Два типа ковариантны, если они удовлетворяют следующим требованиям:
Original:
The return type of a overriding virtual function doesn't necessarily need to be the identical to that of the overridden function. The types can be different if they are covariant with each another. Two types are covariant if they satisfy the following requirements:
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

Здесь мы ссылаемся на главной функцией, как Derived::f() и переопределить функцию Base::f()

обоих типов указателей или ссылок на классы. Многоуровневая указатели или ссылки не допускаются.
Original:
both types are pointers or references to classes. Multi-level pointers or references are not allowed.
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.
класс возвращаемого типа Base::f() должны быть однозначными и доступными прямых или косвенных базовых классов класса типа возвращаемого Derived::f().
Original:
the class of the return type of Base::f() must be a unambiguous and accessible direct or indirect base class of the class of the return type of Derived::f().
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.
возвращаемого типа Derived::f() должны быть одинаково или меньше, чем CV-квалификацию возвращаемого типа Base::f().
Original:
the return type of Derived::f() must be equally or less CV-квалификацию than the return type of Base::f().
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

Если виртуальная функция вызывается непосредственно, то есть, явно квалификационный класс он является членом, то механизм вызова виртуальной подавляется, и что конкретная реализация называется.

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

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

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

Функции шаблоны не могут быть объявлены virtual. Это относится только к функциям, которые сами шаблоны - регулярные функции-члена шаблона класса может быть объявлен виртуальным.

[править] Пример

class Parent {
public:
    void functionA();
    virtual void functionB();   //Note the keyword virtual
    void functionC();
};
 
class Child : public Parent {
public:
    void functionA();
    virtual void functionB();   //Note the keyword virtual
};
 
int main()
{
    Parent* p1 = new Parent;
    Parent* p2 = new Child;
    Child* c = new Child;
 
    p1->functionA();   //Calls Parent::functionA
    p1->functionB();   //Calls Parent::functionB
    p1->functionC();   //Calls Parent::functionC
 
    p2->functionA();   //Calls Parent::functionA because p2 points to a Parent
    p2->functionB();   //Calls Child::functionB even though p2 points
                       // to a Parent because functionB is virtual
    p2->functionC();   //Calls Parent::functionC
 
    c->functionA();   //Calls Child::functionA
    c->functionB();   //Calls Child::functionB
    c->functionC();   //Calls Parent::functionC
 
    return 0;
}

[править] См. также

спецификатор переопределения (начиная с C++11)
Окончательный спецификатор (начиная с C++11)

Язык
Понятия (концепции)
Утилиты
Строки
Контейнеры
Алгоритмы
Итераторы
Работа с числами
Ввод / вывод
Локализация
Регулярные выражения (C++11)
Атомарные примитивы (C++11)
Потоки (C++11)

cppreference.com

Поиск

Пространства имён

Варианты

Просмотры

Действия