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

Может быть и не так очевидно, но вектор объектов типа Quoteтакже нельзя использовать. В данном случае можно поместить объекты класса Bulk_quoteв контейнер, но эти объекты перестанут быть объектами класса Bulk_quote:

vector basket;

basket.push_back(Quote("0-2 01-82 4 7 0-1", 50));

// ok, но в basket копируется только часть Quote объекта

basket.push_back(Bulk_quote("0-201-54848-8", 50, 10, .25));

// вызов версии, определенной в Quote, выводит 750, т.е. 15 * $50

cout << basket.back().net_price(15) << endl;

Элементами вектора basketявляются объекты класса Quote. Когда в вектор добавляется объект класса Bulk_quote, его производная часть игнорируется (см. раздел 15.2.3).

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

Когда необходим контейнер, содержащий объекты, связанные наследованием, как правило, определяют контейнер указателей (предпочтительно интеллектуальных (см. раздел 12.1)) на базовый класс. Как обычно, динамический тип объекта, на который указывает этот указатель, мог бы быть типом базового класса или типом, производным от него:

vector> basket;

basket.push_back(make_shared("0-201-82470-1", 50));

basket.push_back(

make_shared("0-201-54848-8", 50, 10, .25));

// вызов версии, определенной в Quote, выводит 562.5,

// т.е. со скидкой, меньше, чем 15 * $50

cout << basket.back()->net_price(15) << endl;

Поскольку вектор basketсодержит указатели shared_ptr, для получения объекта, функция net_price()которого выполнится, следует обратиться к значению, возвращенному функцией basket.back(). Для этого в вызове функции net_price()используется оператор ->. Как обычно, вызываемая версия функции net_price()зависит от динамического типа объекта, на который указывает этот указатель.

Следует заметить, что вектор basketбыл определен как shared_ptr, все же во втором вызове функции push_back()был передан указатель на объект класса Bulk_quote. Подобно тому, как можно преобразовать обычный указатель на производный тип в указатель на тип базового класса (см. раздел 15.2.2), можно также преобразовать интеллектуальный указатель на производный тип в интеллектуальный указатель на тип базового класса. Таким образом, вызов функции make_shared()возвращает объект shared_ptr, в который преобразуется shared_ptrпри вызове функции push_back(). В результате, несмотря на внешний вид, у всех элементов вектора basketбудет тот же тип.

Упражнение 15.28. Определите вектор для содержания объектов класса Quote, но поместите в него объекты класса Bulk_quote. Вычислите общую сумму результатов вызова функции net_price()для всех элементов вектора.

Упражнение 15.29. Повторите предыдущую программу, но на сей раз храните указатели shared_ptrна объекты типа Quote. Объясните различие в сумме данной версии программы и предыдущей. Если никакой разницы нет, объясните почему.

Ирония объектно-ориентированного программирования на языке С++ в том, что невозможно использовать объекты непосредственно. Вместо них приходится использовать указатели и ссылки. Поскольку указатели усложняют программы, зачастую приходится определять вспомогательные классы, чтобы избежать осложнений. Для начала определим класс, представляющий корзину покупателя:

class Basket {

public:

// Basket использует синтезируемый стандартный конструктор и

// функции-члены управления копированием

void add_item(const std::shared_ptr &sale)

{ items.insert(sale); }

// выводит общую стоимость каждой книги и общий счет для всех

// товаров в корзинке

double total_receipt(std::ostream&) const;

private:

// функция сравнения shared_ptr, необходимая элементам

// набора multiset

static bool compare(const std::shared_ptr &lhs,

const std::shared_ptr &rhs)

{ return lhs->isbn() < rhs->isbn(); }

// набор multiset содержит несколько стратегий расценок,

// упорядоченных по сравниваемому элементу