Скотт Мейерс - Эффективный и современный С++. 42 рекомендации по использованию С++11 и С++14

pInv(nullptr, delInvmt); // указатель

if ( /* Должен быть создан объект Stock */ ) {

pInv.reset(new Stock(std::forward(params)...));

}

else if ( /* Должен быть создан объект Bond */ ) {

pInv.reset(new Bond(std::forward(params)...));

}

else if ( /* Должен быть создан объект RealEstate */ ) {

pInv.reset(new RealEstate(std::forward(params)...));

}

return pInv;

}

Сейчас я поясню вам, как это работает, но сначала рассмотрим, как все это выглядит с точки зрения вызывающей функции. Предположим, что вы сохраняете результат вызова makeInvestmentв переменной, объявленной как auto, и тем самым остаетесь в блаженном неведении о том, что используемый вами ресурс требует специальной обработки в процессе удаления. Вы просто купаетесь в этом блаженстве, поскольку использование std::unique_ptrозначает, что вам не надо рассматривать самостоятельно вопросы освобождения ресурса, тем более не требуется беспокоиться о том, чтобы это уничтожение выполнялось в точности один раз на каждом пути в программе. Обо всем этом std::unique_ptrзаботится автоматически. С точки зрения клиента интерфейс makeInvestment— просто конфетка.

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

• delInvmtпредставляет собой пользовательский удалитель для объекта, возвращаемого функцией makeInvestment. Все функции пользовательских удалителей принимают обычный указатель на удаляемый объект и затем выполняют все необходимые действия по его удалению. В нашем случае действие заключается в вызове makeLogEntryи последующем применении delete. Применение лямбда-выражения для создания delInvmtудобно, но, как вы вскоре увидите, оно также гораздо эффективнее написания обычной функции.

• Когда используется пользовательский удалитель, его тип должен быть указан в качестве второго аргумента типа std::unique_ptr. В нашем случае это тип delInvmt, и именно поэтому возвращаемым типом makeInvestmentявляется std::unique_ptr. (О том, что такое decltype, рассказывается в разделе 1.3.)

• Основная стратегия makeInvestmentсостоит в создании нулевого указателя std::unique_ptr, после чего он делается указывающим на объект соответствующего типа и возвращается из функции. Для связи пользовательского удалителя delInvmtс pInvмы передаем его в качестве второго аргумента конструктора.

• Попытка присвоить обычный указатель (например, возвращенный оператором new) указателю std::unique_ptrкомпилироваться не будет, поскольку она будет содержать неявное преобразование обычного указателя в интеллектуальный. Такие неявные преобразования могут быть проблематичными, так что интеллектуальные указатели С++11 их запрещают. Вот почему для того, чтобы pInvвзял на себя владение объектом, созданным с помощью оператора new, применяется вызов reset.

• С каждым использованием newмы применяем std::forwardдля прямой передачи аргументов, переданных в makeInvestment(см. раздел 5.3). Это делает всю информацию, предоставляемую вызывающей функцией, доступной конструкторам создаваемых объектов.

• Пользовательский удалитель получает параметр типа Investment*. Независимо от фактического типа объекта, создаваемого в функции makeInvestment(т.e. Stock, Bondили RealEstate), он в конечном итоге будет удален с помощью оператора deleteв лямбда-выражении как объект Investment*. Это означает, что мы удаляем производный класс через указатель на базовый класс. Чтобы это сработало, базовый класс Investmentдолжен иметь виртуальный деструктор:

class Investment {

public:

…

virtual ~Investment();// Важная часть дизайна

};

В С++14 существование вывода возвращаемого типа функции (раздел 1.3) означает, что makeInvestmentможно реализовать проще и несколько более инкапсулированно:

template

automakeInvestment(Ts&&... params) // С++14

{

auto delInvmt = [](Investment* pInvestment)

{ // Теперь размещается в

makeLogEntry(pInvestment); // пределах makeInvestment

delete pInvestment;

};

std::unique_ptr

pInv(nullptr, delInvmt); // Как и ранее

if ( … ) // Как и ранее

pInv.reset(new Stock(std::forward(params)...));

else if ( … ) // Как и ранее

pInv.reset(new Bond(std::forward(params)...));

else if ( … ) // Как и ранее

pInv.reset(new RealEstate(std::forward(params)...));

return pInv; // Как и ранее

}

Ранее я отмечал, что при использовании удалителя по умолчанию (т.e. delete) можно разумно предположить, что объекты std::unique_ptrимеют тот же размер, что и обычные указатели. Когда в игру вступают пользовательские указатели, это предположение перестает быть верным. Удалители являются указателями на функции, которые в общем случае приводят к увеличению размера std::unique_ptrна слово или два. Для удалителей, являющихся функциональными объектами, изменение размера зависит от того, какое состояние хранится в функциональном объекте. Функциональные объекты без состояний (например, получающиеся из лямбда-выражений без захватов) не приводят к увеличению размеров, а это означает что когда пользовательский удалитель может быть реализован как функция или как лямбда-выражение, то реализация в виде лямбда- выражения предпочтительнее: