Вход/Регистрация
Эффективное использование STL
вернуться

Мейерс Скотт

Шрифт:

m.insert(intWidgetMap::value_type(1, 1.50));

С функциональной точки зрения эта конструкция эквивалентна фрагменту, приведенному выше, но она позволяет сэкономить три вызова функций: создание временного объекта

Widget
конструктором по умолчанию, уничтожение этого временного объекта и оператор присваивания
Widget
. Чем дороже обходятся эти вызовы, тем большую экономию обеспечивает применение
map::insert
вместо
map::operator[]
.

В приведенном выше фрагменте используется определение типа

value_type
, предоставляемое всеми стандартными контейнерами. Помните, что для
map
и
multimap
(а также для нестандартных контейнеров
hash_map
и
hash_multimap
— совет 25) тип элемента всегда представляет собой некую разновидность
pair
.

Я уже упоминал о том, что

operator[]
упрощает операции «обновления с возможным созданием». Теперь мы знаем, что при создании insert работает эффективнее, чем
operator[]
. При обновлении, то есть при наличии эквивалентного ключа (см. совет 19) в контейнере
map
, ситуация полностью меняется. Чтобы понять, почему это происходит, рассмотрим потенциальные варианты обновления:

m[k] = v; // Значение, ассоциируемое

// с ключом k, заменяется на v при помощи оператора []

m.insert(intWidgetMap::value_type(k, v)).first->second = v; // Значение, ассоциируемое

// с ключом k, заменяется

// на v при помощи insert

Вероятно, один внешний вид этих команд заставит вас выбрать

operator[]
, но в данном случае речь идет об эффективности, поэтому фактор наглядности не учитывается.

При вызове

insert
передается аргумент типа
inWidgetMap::value_type
(то есть
pair<int, Widget>
), потому при вызове
insert
необходимо сконструировать и уничтожить объект данного типа. Следовательно, при вызове
insert
будут вызваны конструктор и деструктор
pair
, что в свою очередь приведет к вызову конструктора и деструктора
Widget
, поскольку
pair<int, Widget>
содержит объект
Widget
. При вызове
operator[]
объект
pair
не используется, что позволяет избежать затрат на конструирование и уничтожение
pair
и
Widget
.

Следовательно, при вставке элемента в

map
по соображениям эффективности желательно использовать
insert
вместо
operator[]
, а при обновлении существующих элементов предпочтение отдается
operator[]
, что объясняется как эффективностью, так и эстетическими соображениями.

Конечно, нам хотелось бы видеть в STL функцию, которая бы автоматически выбирала оптимальное решение в синтаксически привлекательном виде. Интерфейс вызова мог бы выглядеть следующим образом:

iterator affectedPair = // Если ключ к отсутствует в контейнере m,

 efficentAddOrUpdate(m, k, v); // выполнить эффективное добавление

// pair(k, v) в m; в противном случае

// выполнить эффективное обновление

// значения, ассоциированного с ключом k.

// Функция возвращает итератор

// для добавленной или измененной пары

В STL такая функция отсутствует, но как видно из следующего фрагмента, ее нетрудно написать самостоятельно. В комментариях даются краткие пояснения, а дополнительная информация приведена после листинга.

template<typename МарТуре, // Тип контейнера

 typename KeyArgType, // Причины для передачи параметров-типов

 typename ValueArgType> // KeyArgType и ValueArgType

// приведены ниже

typename МарТуре::iterator efficientAddOrUpdate(MapType& m,

 const KeyArgType& k, const ValueArgType& v) {

 typename МарТуре:iterator lb = // Определить, где находится

// или должен находиться ключ k.

m.lower_bound(k); // Ключевое слово typename

// рассматривается на с. 20

  • Читать дальше
  • 1
  • ...
  • 46
  • 47
  • 48
  • 49
  • 50
  • 51
  • 52
  • 53
  • 54
  • 55
  • 56
  • ...

Ебукер (ebooker) – онлайн-библиотека на русском языке. Книги доступны онлайн, без утомительной регистрации. Огромный выбор и удобный дизайн, позволяющий читать без проблем. Добавляйте сайт в закладки! Все произведения загружаются пользователями: если считаете, что ваши авторские права нарушены – используйте форму обратной связи.

Полезные ссылки

  • Моя полка

Контакты

  • chitat.ebooker@gmail.com

Подпишитесь на рассылку: