| /* Copyright 2003-2008 Joaquin M Lopez Munoz. |
| * Distributed under the Boost Software License, Version 1.0. |
| * (See accompanying file LICENSE_1_0.txt or copy at |
| * http://www.boost.org/LICENSE_1_0.txt) |
| * |
| * See http://www.boost.org/libs/multi_index for library home page. |
| */ |
| |
| #ifndef BOOST_MULTI_INDEX_DETAIL_HASH_INDEX_ARGS_HPP |
| #define BOOST_MULTI_INDEX_DETAIL_HASH_INDEX_ARGS_HPP |
| |
| #if defined(_MSC_VER)&&(_MSC_VER>=1200) |
| #pragma once |
| #endif |
| |
| #include <boost/config.hpp> /* keep it first to prevent nasty warns in MSVC */ |
| #include <boost/functional/hash.hpp> |
| #include <boost/mpl/aux_/na.hpp> |
| #include <boost/mpl/eval_if.hpp> |
| #include <boost/mpl/identity.hpp> |
| #include <boost/mpl/if.hpp> |
| #include <boost/multi_index/tag.hpp> |
| #include <boost/static_assert.hpp> |
| #include <boost/type_traits/is_same.hpp> |
| #include <functional> |
| |
| namespace boost{ |
| |
| namespace multi_index{ |
| |
| namespace detail{ |
| |
| /* Hashed index specifiers can be instantiated in two forms: |
| * |
| * (hashed_unique|hashed_non_unique)< |
| * KeyFromValue, |
| * Hash=boost::hash<KeyFromValue::result_type>, |
| * Pred=std::equal_to<KeyFromValue::result_type> > |
| * (hashed_unique|hashed_non_unique)< |
| * TagList, |
| * KeyFromValue, |
| * Hash=boost::hash<KeyFromValue::result_type>, |
| * Pred=std::equal_to<KeyFromValue::result_type> > |
| * |
| * hashed_index_args implements the machinery to accept this |
| * argument-dependent polymorphism. |
| */ |
| |
| template<typename KeyFromValue> |
| struct index_args_default_hash |
| { |
| typedef ::boost::hash<typename KeyFromValue::result_type> type; |
| }; |
| |
| template<typename KeyFromValue> |
| struct index_args_default_pred |
| { |
| typedef std::equal_to<typename KeyFromValue::result_type> type; |
| }; |
| |
| template<typename Arg1,typename Arg2,typename Arg3,typename Arg4> |
| struct hashed_index_args |
| { |
| typedef is_tag<Arg1> full_form; |
| |
| typedef typename mpl::if_< |
| full_form, |
| Arg1, |
| tag< > >::type tag_list_type; |
| typedef typename mpl::if_< |
| full_form, |
| Arg2, |
| Arg1>::type key_from_value_type; |
| typedef typename mpl::if_< |
| full_form, |
| Arg3, |
| Arg2>::type supplied_hash_type; |
| typedef typename mpl::eval_if< |
| mpl::is_na<supplied_hash_type>, |
| index_args_default_hash<key_from_value_type>, |
| mpl::identity<supplied_hash_type> |
| >::type hash_type; |
| typedef typename mpl::if_< |
| full_form, |
| Arg4, |
| Arg3>::type supplied_pred_type; |
| typedef typename mpl::eval_if< |
| mpl::is_na<supplied_pred_type>, |
| index_args_default_pred<key_from_value_type>, |
| mpl::identity<supplied_pred_type> |
| >::type pred_type; |
| |
| BOOST_STATIC_ASSERT(is_tag<tag_list_type>::value); |
| BOOST_STATIC_ASSERT(!mpl::is_na<key_from_value_type>::value); |
| BOOST_STATIC_ASSERT(!mpl::is_na<hash_type>::value); |
| BOOST_STATIC_ASSERT(!mpl::is_na<pred_type>::value); |
| }; |
| |
| } /* namespace multi_index::detail */ |
| |
| } /* namespace multi_index */ |
| |
| } /* namespace boost */ |
| |
| #endif |