Объектно-ориентированное программирование на С++ - eDrive

117
Виртуальные функции и абстрактные классы
При обычном наследовании объект производного класса обладает
свойствами и поведением объектов базового класса. В этом случае говорят о
раннем, или статическом, связывании на стадии компиляции. Виртуальными
(virtual function) называются функции, которые определяются на стадии исполнения,
то есть производится их позднее, или динамическое, связывание.
Для этого объект производного класса снабжается скрытым указателем на
базовый класс, который используется компилятором на стадии выполнения
программы.
При объявлении виртуальной функции к ее имени добавляется лексема
virtual, что позволяет производным классам при необходимости переопределять
такую функцию без изменения ее имени в списке параметров:
virtual Тип имяФункции ([ объявлениеПараметров ]);
«Виpтуальные функции служат центpальным моментом объектноориентированного
программирования, потому что они позволяют опpеделять
базовый класс общего назначения, не тpебуя знания особенностей, котоpые
могут быть пpедусмотpены пpоизводным классом. Пpогpамма на C++ без
виpтуальных функций, веpоятно, пpосто невеpно спpоектиpована» [5]. Иными
словами, виpтуальные функции опpеделяют возможности, котоpыми обладают
пpоизводные классы, но котоpые не могут быть pеализованы на
уpовне базового класса.
class VMarket {
public:
virtual void Market1 () { ShowMessage ("Телевизоры"); }
void Market2 () { ShowMessage ("Компьютеры"); }
};
class VSection: public VMarket {
public:
void Market1 () { ShowMessage ("SONY"); }
void Market2 () { ShowMessage ("MACINTOSH"); }
};
void MainVirtual1 () {
VMarket *m = new VSection; // ссылка на производный класс
m–>Market1 ();
// SONY
m–>Market2 ();
// Компьютеры
}