Контейнер set можно интерпретировать как ассоциативный массив, в котором значения не важны, или как ассоциативный массив без значений. Контейнер set можно изобразить следующим образом:

Например, контейнер set, в котором перечислены фрукты (см. раздел 21.6.2), можно представить следующим образом:

Чем полезны контейнеры set? Оказывается, существует много проблем, при решении которых следует помнить, видели ли мы уже какое-то значение или нет. Один из примеров — перечисление имеющихся фруктов (независимо от цены); второй пример — составление словарей. Немного другой способ использования этого контейнера — множество “записей”, элементы которого являются объектами, потенциально содержащими много информации, в которых роль ключа играет один из их членов. Рассмотрим пример.

struct Fruit {

  string name;

  int count;

  double unit_price;

  Date last_sale_date;

  // ...

};

struct Fruit_order

 {bool operator()(const Fruit& a, const Fruit& b) const

 {

  return a.name

 }

};

set inventory; // использует функции класса

                                   // Fruit_Order для сравнения

                                   // объектов класса Fruit

Здесь мы снова видим, что объект-функция значительно расширяет спектр задач, которые удобно решать с помощью компонентов библиотеки STL.

  Поскольку контейнер set не имеет значений, он не поддерживает операцию индексирования (operator[]()). Следовательно, вместо нее мы должны использовать “операции над списками”, такие как insert() и erase(). К сожалению, контейнеры map и set не поддерживают функцию push_back() по очевидной причине: место вставки нового элемента определяет контейнер set, а не программист.

Вместо этого следует использовать функцию insert().

inventory.insert(Fruit("quince",5));

inventory.insert(Fruit("apple", 200, 0.37));

Одно из преимуществ контейнера set над контейнером map заключается в том, что мы можем непосредственно использовать значение, полученное от итератора. Поскольку в контейнере set нет пар (ключ, значение), как в контейнере map (см. раздел 21.6.3), оператор разыменования возвращает значение элемента.

typedef set::const_iterator SI;

for (SI p = inventory.begin(),p!=inventory.end(); ++p)

  cout << *p << '\n';

Разумеется, этот фрагмент работает, только если вы определили оператор << для класса Fruit.

21.7. Копирование

В разделе 21.2 мы назвали функцию find() “простейшим полезным алгоритмом”. Естественно, эту точку зрения можно аргументировать. Многие простые алгоритмы являются полезными, даже тривиальными. Зачем писать новую программу, если можно использовать код, который кто-то уже написал и отладил? С точки зрения простоты и полезности алгоритм copy() даст алгоритму find() фору. В библиотеке STL есть три варианта алгоритма copy().

21.7.1. Алгоритм copy()

Основная версия алгоритма copy() определена следующим образом:

template Out copy(In first, In last, Out res)

{

  while (first!=last) {

    *res = *first;    // копирует элемент

    ++res;

    ++first;

  }

  return res;

}

Получив пару итераторов, алгоритм copy() копирует последовательность в другую последовательность, заданную итератором на ее первый элемент. Рассмотрим пример.

void f(vector& vd, list& li)

  // копирует элементы списка чисел типа int в вектор чисел типа

  // double

{

  if (vd.size() < li.size()) error("целевой контейнер слишком мал");

  copy(li.begin(), li.end(), vd.begin());

  // ...

}

Обратите внимание на то, что тип входной последовательности может отличаться от типа результирующей последовательности. Это обстоятельство повышает универсальность алгоритмов из библиотеки STL: они работают со всеми видами последовательностей, не делая лишних предположений об их реализации. Мы не забыли проверить, достаточно ли места в результирующей последовательности для записи вводимых элементов. Такая проверка входит в обязанности программиста. Алгоритмы из библиотеки STL программировались для достижения максимальной универсальности и оптимальной производительности; по умолчанию они не проверяют диапазоны и не выполняют других тестов, защищающих пользователей. Каждый раз, когда это требуется, пользователь должен сам выполнить такую проверку. 

21.7.2. Итераторы потоков