Стенли Липпман - Язык программирования C++. Пятое издание

Тщательный анализ этого вопроса показывает, что проблема не только в том, что неизвестно, как определить функцию net_price(). Практически следовало бы запретить пользователям создавать объекты класса Disc_quoteвообще. Этот класс представляет общую концепцию скидки на книги, а не конкретную стратегию скидок.

Для воплощения этого намерения (и однозначного уведомления о бессмысленности функции net_price()) определим функцию net_price()как чистую виртуальную функцию (pure virtual). В отличие от обычных виртуальных функций, чистая виртуальная функция не должна быть определена. Для определения виртуальной функции как чистой вместо ее тела используется часть = 0(т.е. как раз перед точкой с запятой, завершающей объявление). Часть = 0может присутствовать только в объявлении виртуальной функции в теле класса:

// класс для содержания объема скидки и количества экземпляров

// используя эти данные, производные классы реализуют стратегии скидок

class Disc_quote : public Quote {

public:

Disc_quote() = default;

Disc_quote(const std::string& book, double price,

std::size t qty, double disc):

Quote(book, price), quantity(qty), discount(disc) { }

double net_price(std::size_t) const = 0;

protected:

std::size_t quantity = 0; // минимальная покупка для скидки

double discount = 0.0; // доля применяемой скидки

};

Подобно прежнему классу Bulk_item, класс Disc_quoteопределяет стандартный конструктор и конструктор, получающий четыре параметра. Хотя объекты этого типа нельзя создавать непосредственно, конструкторы в классах, производных от класса Disc_quote, будут использовать конструкторы Disc_quote()для построения части Disc_quoteсвоих объектов. Конструктор с четырьмя параметрами передает первые два конструктору Quote(), а двумя последними непосредственно инициализирует собственные переменные-члены discountи quantity. Стандартный конструктор инициализирует эти члены значениями по умолчанию.

Следует заметить, что определение для чистой виртуальной функции предоставить нельзя. Однако тело функции следует определить вне класса. Поэтому нельзя предоставить в классе тело функции, для которой использована часть = 0.

Класс, содержащий (или унаследовавший без переопределения) чистую виртуальную функцию, является абстрактным классом (abstract base class). Абстрактный класс определяет интерфейс для переопределения последующими классами. Нельзя (непосредственно) создавать объекты абстрактного класса. Поскольку класс Disc_quoteопределяет функцию net_price()как чистую виртуальную, нельзя определить объекты типа Disc_quote. Можно определить объекты классов, производных от Disc_quote, если они переопределят функцию net_price():

// Disc_quote объявляет чистые виртуальные функции, которые

// переопределит Bulk_quote

Disc_quote discounted; // ошибка: нельзя определить объект Disc_quote

Bulk_quote bulk; // ok: у Bulk_quote нет чистых виртуальных функций

Классы, унаследованные от класса Disc_quote, должны определить функцию net_price(), иначе они также будут абстрактными.

Нельзя создать объекты абстрактного класса.

Теперь можно повторно реализовать класс Bulk_quoteтак, чтобы он происходил от класса Disc_quote, а не непосредственно от класса Quote:

// скидка прекращается при продаже определенного количества экземпляров

// скидка выражается как доля сокращения полной цены

class Bulk_quote : public Disc_quote {

public:

Bulk_quote() = default;

Bulk_quote(const std::string& book, double price,

std::size_t qty, double disc):

Disc_quote(book, price, qty, disc) { }

// переопределение базовой версии для реализации политики скидок

double net_price(std::size_t) const override;

};

У этой версии класса Bulk_quoteесть прямой базовый класс (direct base class), Disc_quote, и косвенный базовый класс (indirect base class), Quote. У каждого объекта класса Bulk_quoteесть три внутренних объекта: часть Bulk_quote(пустая), часть Disc_quoteи часть Quote.

Как уже упоминалось, каждый класс контролирует инициализацию объектов своего типа. Поэтому, даже при том, что у класса Bulk_quoteнет собственных переменных-членов, он предоставляет тот же конструктор на четыре аргумента, что и первоначальный класс. Новый конструктор передает свои аргументы конструктору класса Disc_quote. Этот конструктор, в свою очередь, запускает конструктор Quote(). Конструктор Quote()инициализирует переменные-члены bookNoи priceобъекта bulk. Когда конструктор Quote()завершает работу, начинает работу конструктор Disc_quote(), инициализирующий переменные-члены quantityи discount. Теперь возобновляет работу конструктор Bulk_quote(). Он не делает ничего и ничего не инициализирует.