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

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

vector<Quote> 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<shared_ptr<Quote>> basket;

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

basket.push_back(

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

Упражнения раздела 15.8

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

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

15.8.1. Разработка класса Basket

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

class Basket {

public:

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

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

 void add_item(const std::shared_ptr<Quote> &sale)

  { items.insert(sale); }

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

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

 double total_receipt(std::ostream&) const;

private:

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

 // набора multiset

 static bool compare(const std::shared_ptr<Quote> &lhs,

                     const std::shared_ptr<Quote> &rhs)

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

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

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

 std::multiset<std::shared_ptr<Quote>, decltype(compare)*>

  items{compare};

}

Для хранения транзакций класс использует контейнер multiset (см. раздел 11.2.1), позволяющий содержать несколько транзакций по той же книге, чтобы все транзакции для данной книги находились вместе (см. раздел 11.2.2).

Элементами контейнера multiset будут указатели shared_ptr, и для них нет оператора "меньше". В результате придется предоставить собственный оператор сравнения для упорядочивания элементов (см. раздел 11.2.2). Здесь определяется закрытая статическая функция-член compare(), сравнивающая isbn объектов, на которые указывают указатели shared_ptr. Инициализируем контейнер multiset с использованием этой функции сравнения и внутриклассового инициализатора (см. раздел 7.3.1):

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

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

std::multiset<std::shared_ptr<Quote>, decltype(compare)*>

 items{compare};

Это объявление может быть трудно понять, но, читая его слева направо, можно заметить, что определяется контейнер multiset указателей shared_ptr на объекты класса Quote. Для упорядочивания элементов контейнер multiset будет использовать функцию с тем же типом, что и функция-член compare(). Элементами контейнера multiset будут объекты items, которые инициализируются для использования функции compare().

Определение членов класса Basket

Класс Basket определяет только две функции. Функция-член add_item() определена в классе. Она получает указатель shared_ptr на динамически созданный объект класса Quote и помещает его в контейнер multiset. Вторая функция-член, total_receipt(), выводит полученный счет для содержимого корзины и возвращает цену за все элементы в ней:

double Basket::total_receipt(ostream &os) const {

 double sum = 0.0; // содержит текущую сумму

 // iter ссылается на первый элемент в пакете элементов с тем же ISBN

 // upper_bound() возвращает итератор на элемент сразу после

 // конца этого пакета

 for (auto iter = items.cbegin();

      iter != items.cend();

      iter = items.upper_bound(*iter)) {

  // известно, что в Basket есть по крайней мере один элемент

  // с этим ключом

  // вывести строку для элемента этой книги

  sum += print_total(os, **iter, items.count(*iter));

 }

 os << "Total Sale: " << sum << endl; // вывести в конце общий счет

 return sum;

}

Цикл for начинается с определения и инициализации итератора iter на первый элемент контейнера multiset. Условие проверяет, не равен ли iter значению items.cend(). Если да, то обработаны все покупки и цикл for завершается. В противном случае обрабатывается следующая книга.

Интересный момент — выражение "инкремента" в цикле for. Это не обычный цикл, читающий каждый элемент и перемещающий итератор iter на следующий. При вызове функции upper_bound() (см. раздел 11.3.5) он перескакивает через все элементы, которые соответствуют текущему ключу. Вызов функции upper_bound() возвращает итератор на элемент сразу после последнего с тем же ключом, что и iter. Возвращаемый итератор обозначает или конец набора, или следующую книгу.

Для вывода подробностей по каждой книге в корзине в цикле for происходит вызов функции print_total() (см. раздел 15.1):

sum += print_total(os, **iter, items.count(*iter));

Аргументами функции print_total() являются поток ostream для записи, обрабатываемый объект Quote и счет. При обращении к значению итератора iter возвращается указатель shared_ptr, указывающий на объект, который предстоит вывести. Чтобы получить этот объект, следует обратиться к значению этого указателя shared_ptr. Таким образом, выражение **iter возвращает объект класса Quote (или класса производного от него). Для выяснения количества элементов в контейнере multiset с тем же ключом (т.е. с тем же ISBN) используется его функция-член count() (см. раздел 11.3.5).