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

Как уже упоминалось, функция print_total()осуществляет вызов виртуальной функции net_price(), поэтому полученная цена зависит от динамического типа **iter. Функция print_total()выводит общую сумму для данной книги и возвращает вычисленную общую стоимость. Результат добавляется в переменную sum, которая выводится после завершения цикла for.

Пользователи класса Basketвсе еще должны иметь дело с динамической памятью, поскольку функция add_item()получает указатель shared_ptr. В результате пользователи вынуждены писать код так:

Basket bsk;

bsk.add_item(make_shared("123", 45));

bsk.add_item(make_shared("345", 45, 3, .15));

На следующем этапе переопределим функцию add_item()так, чтобы она получала объект класса Quoteвместо указателя shared_ptr. Эта новая версия функции add_item()отработает резервирование памяти так, чтобы пользователи больше не должны были делать это сами. Определим две ее версии: одна будет копировать переданный ей объект, а другая перемещать его (см. раздел 13.6.3):

void add_item(const Quote& sale); // копирует переданный объект

void add_item(Quote&& sale); // перемещает переданный объект

Единственная проблема в том, что функция add_item()не знает, какой тип резервировать. При резервировании памяти функция add_item()скопирует (или переместит) свой параметр sale. Выражение newбудет выглядеть примерно так:

new Quote(sale)

К сожалению, это выражение будет неправильным: оператор newрезервирует объект запрошенного типа. Оно резервирует объект типа Quoteи копирует часть Quoteпараметра sale. Но если переданный параметру saleобъект будет иметь тип Bulk_quote, то он будет усечен.

Имитация виртуального копирования

Эту проблему можно решить, снабдив класс Quoteвиртуальной функцией-членом, резервирующей его копию.

class Quote {

public:

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

// эти члены используют квалификаторы ссылки; раздел 13.6.3

virtual Quote* clone() const & {return new Quote(*this);}

virtual Quote* clone() &&

{return new Quote(std::move(*this));}

// другие члены как прежде

};

class Bulk_quote : public Quote {

Bulk_quote* clone() const & {return new Bulk_quote(*this);}

Bulk_quote* clone() &&

{return new Bulk_quote(std::move(*this));}

// другие члены, как прежде

};

Поскольку функция add_item()имеет версии копирования и перемещения, были определены версии l- и r-значения функции clone()(см. раздел 13.6.3). Каждая функция clone()резервирует новый объект ее собственного типа. Функция-член константной ссылки на l-значение копирует себя во вновь зарезервированный объект; функция-член ссылки на r-значение перемещает свои данные.

Используя функцию clone(), довольно просто написать новые версии функции add_item():

class Basket {

public:

void add_item(const Quote& sale) // копирует переданный объект

{ items.insert(std::shared_ptr(sale.clone())); }

void add_item(Quote&& sale) // перемещает переданный объект

{ items.insert(

std::shared_ptr(std::move(sale).clone())); }

// другие члены, как прежде

};

Как и сама функция add_item(), функция clone()перегружается на основании того, вызвана ли она для l- или r-значения. Таким образом, первая версия функции add_item()вызывает константную версию l-значения функции clone(), а вторая версия вызывает версию ссылки на r-значение. Обратите внимание, что хотя в версии r-значения типом параметра saleявляется ссылка на r-значение, сам параметр sale(как и любая другая переменная) является l-значением (см. раздел 13.6.1). Поэтому для привязки ссылки на r-значение к параметру saleвызывается функция move().

Наша функция clone()является также виртуальной. Будет ли выполнена функция из класса Quoteили Bulk_quote, зависит (как обычно) от динамического типа параметра sale. Независимо от того, копируются или перемещаются данные, функция clone()возвращает указатель на вновь зарезервированный объект его собственного типа. С этим объектом связывается указатель shared_ptr, и вызывается функция insert()для добавления этого вновь зарезервированного объекта к items. Обратите внимание: так как указатель shared_ptrподдерживает преобразование производного класса в базовый (см. раздел 15.2.2), указатель shared_ptrможно привязать к Bulk_quote*.

Упражнение 15.30. Напишите собственную версию класса Basketи используйте ее для вычисления цены за те же транзакции, что и в предыдущих упражнениях.

В качестве последнего примера наследования дополним приложение текстового запроса из раздела 12.3. Написанные в этом разделе классы позволят искать вхождения данного слова в файле. Дополним эту систему возможностью создавать более сложные запросы. В этих примерах запросы будут выполняться к тексту следующей истории:

Alice Emma has long flowing red hair.

Her Daddy says when the wind blows

through her hair, it looks almost alive,

like a fiery bird in flight.

A beautiful fiery bird, he tells her,

magical but untamed.

"Daddy, shush, there is no such thing,"

she tells him, at the same time wanting

him to tell her more.

Shyly, she asks, "I mean, Daddy, is there?"

Система должна поддерживать следующие запросы.

• Запросы слов находят все строки, соответствующие заданной строке:

Executing Query for: Daddy

Daddy occurs 3 times

(line 2) Her Daddy says when the wind blows

(line 7) "Daddy, shush, there is no such thing,"

(line 10) Shyly, she asks, "I mean, Daddy, is there?"

• Инверсный запрос с использованием оператора ~возвращает строки, которые не содержат заданную строку:

Executing Query for: ~(Alice)

~(Alice) occurs 9 times

(line 2) Her Daddy says when the wind blows

(line 3) through her hair, it looks almost alive,

(line 4) like a fiery bird in flight.

...

• Запросы ИЛИ с использованием оператора |возвращают строки, содержащие любую из двух заданных строк:

Executing Query for: (hair | Alice)

(hair | Alice) occurs 2 times

(line 1) Alice Emma has long flowing red hair,

(line 3) through her hair, it looks almost alive,

• Запросы И с использованием оператора &возвращают строки, содержащие обе заданные строки:

Executing query for: (hair & Alice)

(hair & Alice) occurs 1 time

(line 1) Alice Emma has long flowing red hair.

Кроме того, нужна возможность объединить эти операторы так

fiery & bird | wind

Для обработки составных выражений, таких как в этом примере, будут использованы обычные правила приоритета С++ (см. раздел 4.1.2). Таким образом, этому запросу соответствует строка, в которой присутствуют слова fieryи birdили слово wind: