6.3 Абстрактные классы

Многие классы сходны с классом employee тем, что в них можно дать

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

классы. Некоторые, например, класс shape, представляют

абстрактное понятие (фигура), для которого нельзя создать объекты.

Класс shape приобретает смысл только как базовый класс в некотором

производном классе. Причиной является то, что невозможно дать

осмысленное определение виртуальных функций класса shape:

class shape {

// ...

public:

virtual void rotate(int) { error("shape::rotate"); }

virtual void draw() { error("shape::draw"): }

// нельзя ни вращать, ни рисовать абстрактную фигуру

// ...

};

Создание объекта типа shape (абстрактной фигуры) законная, хотя

совершенно бессмысленная операция:

shape s; // бессмыслица: ``фигура вообще''

Она бессмысленна потому, что любая операция с объектом s приведет

к ошибке.

Лучше виртуальные функции класса shape описать как чисто

виртуальные. Сделать виртуальную функцию чисто виртуальной можно,

добавив инициализатор = 0:

class shape {

// ...

public:

virtual void rotate(int) = 0; // чисто виртуальная функция

virtual void draw() = 0; // чисто виртуальная функция

};

Класс, в котором есть виртуальные функции, называется абстрактным.

Объекты такого класса создать нельзя:

shape s; // ошибка: переменная абстрактного класса shape

Абстрактный класс можно использовать только в качестве базового

для другого класса:

class circle : public shape {

int radius;

public:

void rotate(int) { } // нормально:

// переопределение shape::rotate

void draw(); // нормально:

// переопределение shape::draw

circle(point p, int r);

};

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

классе, то она и остается таковой, а значит производный класс тоже

является абстрактным. При таком подходе можно реализовывать

классы поэтапно:

class X {

public:

virtual void f() = 0;

virtual void g() = 0;

};

X b; // ошибка: описание объекта абстрактного класса X

class Y : public X {

void f(); // переопределение X::f

};

Y b; // ошибка: описание объекта абстрактного класса Y

class Z : public Y {

void g(); // переопределение X::g

};

Z c; // нормально

Абстрактные классы нужны для задания интерфейса без уточнения

каких-либо конкретных деталей реализации. Например, в операционной

системе детали реализации драйвера устройства можно скрыть

таким абстрактным классом:

class character_device {

public:

virtual int open() = 0;

virtual int close(const char*) = 0;

virtual int read(const char*, int) =0;

virtual int write(const char*, int) = 0;

virtual int ioctl(int ...) = 0;

// ...

};

Настоящие драйверы будут определяться как производные от класса

character_device.

После введения абстрактного класса у нас есть все основные

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