Внедрение картографических интрузивных контейнеров не является тривиальной задачей, поскольку контейнеры STL<std::map>и<std::multimap>хранят копии<value_type>, которые определяются как<std::pair<constkey_type,mapped_type>>. Для воспроизведения этого интерфейса вBoost.Intrusiveтребуется, чтобы объекты, хранящиеся в интрузивных контейнерах, содержали этот<std::pair>элемент с<pair.first>жестким кодом в качестве ключевой части и<pair.second>жестким кодом в качестве<mapped_type>, который является ограничивающим и также не очень полезным на практике. Любой интрузивный ассоциативный контейнер можно использовать как карту, используярасширенный поиск и вставки, и пользователь может изменить тип ключа в каждом вызове проверки поиска / вставки.

С другой стороны, во многих случаях контейнеры индексируются известным типом ключа, и пользователь вынужден писать некоторый повторяющийся код, используя расширенный поиск и вставки.Навязчивыеассоциативные контейнеры предлагают альтернативу созданию полезных картографических интерфейсов поиска, не заставляя пользователей определять<value_type>s, содержащие<std::pair>-подобные классы. Вариант называется<boost::intrusive::key_of_value>.

Если пользователь указывает эту опцию при определении<set/multiset>интрузивного контейнера, он указывает объект функции, который сообщит контейнеру, который является типом ключа, который<value_type>удерживает, и как его получить. Этот функциональный объект должен быть легким<DefaultConstructible>, он должен определять<type>элемент, который определяет тип ключа и функцию члена для получения ссылки на ключ, хранящийся внутри<value_type>. Рассмотрим пример того, как набор может быть сконфигурирован как карта, проиндексированная целым числом, хранящимся в<value_type>.

#include <boost/static_assert.hpp>
#include <boost/type_traits/is_same.hpp>
#include <boost/intrusive/set.hpp>
#include <boost/intrusive/unordered_set.hpp>
#include <vector>
#include <cassert>
using namespace boost::intrusive;
class MyClass : public set_base_hook<>
              , public unordered_set_base_hook<>
{
   public:
   int first;
   explicit MyClass(int i) : first(i){}
};
//key_of_value function object, must:
//- be default constructible (and lightweight)
//- define the key type using "type"
//- define an operator() taking "const value_type&" and
//    returning "const type &"
struct first_int_is_key
{
   typedef int type;
   const type & operator()(const MyClass& v) const
   {  return v.first;  }
};
//Define omap like ordered and unordered classes 
typedef set< MyClass, key_of_value<first_int_is_key> > OrderedMap;
typedef unordered_set< MyClass, key_of_value<first_int_is_key> > UnorderedMap;
int main()
{
   BOOST_STATIC_ASSERT((boost::is_same<  OrderedMap::key_type, int>::value));
   BOOST_STATIC_ASSERT((boost::is_same<UnorderedMap::key_type, int>::value));
   //Create several MyClass objects, each one with a different value
   //and insert them into the omap
   std::vector<MyClass> values;
   for(int i = 0; i < 100; ++i)  values.push_back(MyClass(i));
   //Create ordered/unordered maps and insert values
   OrderedMap   omap(values.begin(), values.end());
   UnorderedMap::bucket_type buckets[100];
   UnorderedMap umap(values.begin(), values.end(), UnorderedMap::bucket_traits(buckets, 100));
   //Test each element using the key_type (int)
   for(int i = 0; i != 100; ++i){
      assert(omap.find(i) != omap.end());
      assert(umap.find(i) != umap.end());
      assert(omap.lower_bound(i) != omap.end());
      assert(++omap.lower_bound(i) == omap.upper_bound(i));
      assert(omap.equal_range(i).first != omap.equal_range(i).second);
      assert(umap.equal_range(i).first != umap.equal_range(i).second);
   }
   //Count and erase by key
   for(int i = 0; i != 100; ++i){
      assert(1 == omap.count(i));
      assert(1 == umap.count(i));
      assert(1 == omap.erase(i));
      assert(1 == umap.erase(i));
   }
   assert(omap.empty());
   assert(umap.empty());
   return 0;
}