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