123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125 |
- /////////////////////////////////////////////////////////////////////////////
- //
- // (C) Copyright Ion Gaztanaga 2014-2014
- //
- // 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/intrusive for documentation.
- //
- /////////////////////////////////////////////////////////////////////////////
- #ifndef BOOST_INTRUSIVE_DETAIL_KEY_NODEPTR_COMP_HPP
- #define BOOST_INTRUSIVE_DETAIL_KEY_NODEPTR_COMP_HPP
- #ifndef BOOST_CONFIG_HPP
- # include <boost/config.hpp>
- #endif
- #if defined(BOOST_HAS_PRAGMA_ONCE)
- # pragma once
- #endif
- #include <boost/intrusive/detail/mpl.hpp>
- #include <boost/intrusive/detail/ebo_functor_holder.hpp>
- #include <boost/intrusive/detail/tree_value_compare.hpp>
- namespace boost {
- namespace intrusive {
- namespace detail {
- template < class KeyTypeKeyCompare
- , class ValueTraits
- , class KeyOfValue
- >
- struct key_nodeptr_comp_types
- {
- typedef ValueTraits value_traits;
- typedef typename value_traits::value_type value_type;
- typedef typename value_traits::node_ptr node_ptr;
- typedef typename value_traits::const_node_ptr const_node_ptr;
- typedef typename detail::if_c
- < detail::is_same<KeyOfValue, void>::value
- , detail::identity<value_type>
- , KeyOfValue
- >::type key_of_value;
- typedef tree_value_compare
- <typename ValueTraits::pointer, KeyTypeKeyCompare, key_of_value> base_t;
- };
- //This function object transforms a key comparison type to
- //a function that can compare nodes or nodes with nodes or keys.
- template < class KeyTypeKeyCompare
- , class ValueTraits
- , class KeyOfValue = void
- >
- struct key_nodeptr_comp
- //Use public inheritance to avoid MSVC bugs with closures
- : public key_nodeptr_comp_types<KeyTypeKeyCompare, ValueTraits, KeyOfValue>::base_t
- {
- private:
- struct sfinae_type;
- public:
- typedef key_nodeptr_comp_types<KeyTypeKeyCompare, ValueTraits, KeyOfValue> types_t;
- typedef typename types_t::value_traits value_traits;
- typedef typename types_t::value_type value_type;
- typedef typename types_t::node_ptr node_ptr;
- typedef typename types_t::const_node_ptr const_node_ptr;
- typedef typename types_t::base_t base_t;
- typedef typename types_t::key_of_value key_of_value;
- template <class P1>
- struct is_same_or_nodeptr_convertible
- {
- static const bool same_type = is_same<P1,const_node_ptr>::value || is_same<P1,node_ptr>::value;
- static const bool value = same_type || is_convertible<P1, const_node_ptr>::value;
- };
- BOOST_INTRUSIVE_FORCEINLINE base_t base() const
- { return static_cast<const base_t&>(*this); }
- BOOST_INTRUSIVE_FORCEINLINE key_nodeptr_comp(KeyTypeKeyCompare kcomp, const ValueTraits *traits)
- : base_t(kcomp), traits_(traits)
- {}
- //pred(pnode)
- template<class T1>
- BOOST_INTRUSIVE_FORCEINLINE bool operator()(const T1 &t1, typename enable_if_c< is_same_or_nodeptr_convertible<T1>::value, sfinae_type* >::type = 0) const
- { return base().get()(key_of_value()(*traits_->to_value_ptr(t1))); }
- //operator() 2 arg
- //pred(pnode, pnode)
- template<class T1, class T2>
- BOOST_INTRUSIVE_FORCEINLINE bool operator()
- (const T1 &t1, const T2 &t2, typename enable_if_c< is_same_or_nodeptr_convertible<T1>::value && is_same_or_nodeptr_convertible<T2>::value, sfinae_type* >::type = 0) const
- { return base()(*traits_->to_value_ptr(t1), *traits_->to_value_ptr(t2)); }
- //pred(pnode, key)
- template<class T1, class T2>
- BOOST_INTRUSIVE_FORCEINLINE bool operator()
- (const T1 &t1, const T2 &t2, typename enable_if_c< is_same_or_nodeptr_convertible<T1>::value && !is_same_or_nodeptr_convertible<T2>::value, sfinae_type* >::type = 0) const
- { return base()(*traits_->to_value_ptr(t1), t2); }
- //pred(key, pnode)
- template<class T1, class T2>
- BOOST_INTRUSIVE_FORCEINLINE bool operator()
- (const T1 &t1, const T2 &t2, typename enable_if_c< !is_same_or_nodeptr_convertible<T1>::value && is_same_or_nodeptr_convertible<T2>::value, sfinae_type* >::type = 0) const
- { return base()(t1, *traits_->to_value_ptr(t2)); }
- //pred(key, key)
- template<class T1, class T2>
- BOOST_INTRUSIVE_FORCEINLINE bool operator()
- (const T1 &t1, const T2 &t2, typename enable_if_c< !is_same_or_nodeptr_convertible<T1>::value && !is_same_or_nodeptr_convertible<T2>::value, sfinae_type* >::type = 0) const
- { return base()(t1, t2); }
- const ValueTraits *const traits_;
- };
- } //namespace detail{
- } //namespace intrusive{
- } //namespace boost{
- #endif //BOOST_INTRUSIVE_DETAIL_KEY_NODEPTR_COMP_HPP
|