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

std::multiset names; // Глобальная структура данных

void logAndAdd(const std::string& name) {

auto now = // Получение текущего времени

std::chrono::system_clock::now();

log(now, "logAndAdd"); // Создание журнальной записи

names.emplace(name); // Добавление nаmе в глобальную

} // структуру данных; emplace

// см. в разделе 8.2

Этот код не является неразумным, но он не такой эффективный, каким мог бы быть. Рассмотрим три потенциальных вызова:

std::string petName("Darla");

logAndAdd( petName); // lvalue типа std::string

logAndAdd( std::string("Persephone")); // rvalue типа std::string

logAndAdd( "Patty Dog"); // Строковый литерал

В первом вызове параметр паше функции logAndAddсвязывается с переменной petName. Внутри logAndAddпараметр name в конечном итоге передается в вызов names.emplace. Поскольку nameявляется lvalue, он копируется в names. Избежать этого копирования невозможно, так как lvalue(petName)передается в функцию logAndAdd.

Во втором вызове параметр nameсвязывается с rvalue (временный объект std::string, явно созданный из строки "Persephone"). Параметр nameсам по себе является lvalue, так что он копируется в names, но мы отдаем себе отчет, что, в принципе, это значение может быть перемещено в names. В этом вызове мы платим за копирование, но мы должны быть способны сделать то же с помощью перемещения.

В третьем вызове параметр name опять связывается с rvalue, но в этот раз со временным объектом std::string, который неявно создается из "Patty Dog". Как и во втором вызове, nameкопируется в names, но в этот раз аргумент, изначально переданный в logAndAdd, был строковым литералом. Если бы строковый литерал непосредственно передавался в emplace, в создании временного объекта std::stringне было бы необходимости вообще. Вместо этого функция emplaceиспользовала бы строковый литерал для создания объекта std::stringнепосредственно в std::multiset. Таким образом, в этом третьем вызове мы платим за копирование std::string, при том что нет причин платить даже за перемещение, не говоря уже о копировании.

Неэффективность второго и третьего вызовов logAndAddможно устранить, переписав эту функцию так, чтобы она принимала универсальную ссылку (см. раздел 5.2) и, согласно разделу 5.3, передавала ее с помощью std::forwardфункции emplace. Результат говорит сам за себя:

template

void logAndAdd(T&& name) {

auto now = std::chrono::system_clock::now();

log(now, "logAndAdd");

names.emplace( std::forward(name));

}

std::string petName("Darla"); // Как и ранее

logAndAdd( petName); // Как и ранее, копирова-

// ние lvalue в multiset

logAndAdd( std::string("Persephone")); // Перемещение rvalue

// вместо копирования

logAndAdd( "Patty Dog"); // Создание std::string

// в multiset вместо

// копирования временного

// std::string

Ура, получена оптимальная эффективность!

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

std::string nameFromIdx(int idx); // Возвращает имя,

// соответствующее idx

void logAndAdd( int idx) // Новая перегрузка

{

auto now = std::chrono::system_clock::now();

log(now, "logAndAdd");

names.emplace( nameFromIdx(idx));

}

Разрешение перегрузки работает, как и следовало ожидать:

std::string petName("Darla"); // Как и ранее

logAndAdd(petName); // Как и ранее, эти вызовы

logAndAdd(std::string("Persephone")); // приводят к использова-

logAndAdd("Patty Dog"); // нию перегрузки для T&&

logAndAdd(22); // Вызов int-перегрузки

На самом деле разрешение работает, как ожидается, только если вы не ожидаете слишком многого. Предположим, клиент имеет переменную типа short, хранящую индекс, и передает ее функции logAndAdd:

short nameIdx;

… // Дает значение переменной nameIdx

logAndAdd(nameIdx); // Ошибка!

Комментарий в последней строке, может быть, не слишком понятен, так что позвольте мне пояснить, что же здесь произошло.

Имеется две перегрузки logAndAdd. Одна из них, принимающая универсальную ссылку, может вывести тип Tкак short, тем самым приводя к точному соответствию. Перегрузка с параметром intможет соответствовать аргументу shortтолько с повышением. Согласно обычным правилам разрешения перегрузки точное соответствие побеждает соответствие с повышением, так что вызывается перегрузка для универсальной ссылки.