| /* Copyright 2003-2019 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_KEY_HPP |
| #define BOOST_MULTI_INDEX_KEY_HPP |
| |
| #if defined(_MSC_VER) |
| #pragma once |
| #endif |
| |
| #include <boost/config.hpp> /* keep it first to prevent nasty warns in MSVC */ |
| #include <boost/multi_index/composite_key.hpp> |
| #include <boost/multi_index/global_fun.hpp> |
| #include <boost/multi_index/member.hpp> |
| #include <boost/multi_index/mem_fun.hpp> |
| |
| #if __cplusplus>=201703L||\ |
| defined(BOOST_MSVC)&&defined(__cpp_nontype_template_parameter_auto) |
| |
| #define BOOST_MULTI_INDEX_KEY_SUPPORTED |
| |
| #include <boost/multi_index/detail/is_function.hpp> |
| #include <boost/preprocessor/facilities/empty.hpp> |
| #include <type_traits> |
| |
| namespace boost{ |
| |
| namespace multi_index{ |
| |
| /* C++17 terse key specification syntax */ |
| |
| namespace detail{ |
| |
| template<typename T,T,typename=void> |
| struct typed_key_impl; |
| |
| template<typename Class,typename Type,Type Class::*PtrToMember> |
| struct typed_key_impl< |
| Type Class::*,PtrToMember, |
| typename std::enable_if<!is_function<Type>::value>::type |
| > |
| { |
| using value_type=Class; |
| using type=member<Class,Type,PtrToMember>; |
| }; |
| |
| #define BOOST_MULTI_INDEX_KEY_TYPED_KEY_IMPL(qualifier,extractor) \ |
| template< \ |
| typename Class,typename Type,Type (Class::*PtrToMemberFunction)()qualifier \ |
| > \ |
| struct typed_key_impl<Type (Class::*)()qualifier,PtrToMemberFunction> \ |
| { \ |
| using value_type=Class; \ |
| using type=extractor<Class,Type,PtrToMemberFunction>; \ |
| }; |
| |
| BOOST_MULTI_INDEX_KEY_TYPED_KEY_IMPL( ,mem_fun) |
| BOOST_MULTI_INDEX_KEY_TYPED_KEY_IMPL(const ,const_mem_fun) |
| BOOST_MULTI_INDEX_KEY_TYPED_KEY_IMPL(volatile ,volatile_mem_fun) |
| BOOST_MULTI_INDEX_KEY_TYPED_KEY_IMPL(const volatile ,cv_mem_fun) |
| BOOST_MULTI_INDEX_KEY_TYPED_KEY_IMPL(& ,ref_mem_fun) |
| BOOST_MULTI_INDEX_KEY_TYPED_KEY_IMPL(const& ,cref_mem_fun) |
| BOOST_MULTI_INDEX_KEY_TYPED_KEY_IMPL(volatile& ,vref_mem_fun) |
| BOOST_MULTI_INDEX_KEY_TYPED_KEY_IMPL(const volatile& ,cvref_mem_fun) |
| |
| #undef BOOST_MULTI_INDEX_KEY_TYPED_KEY_IMPL |
| |
| template<class Value,typename Type,Type (*PtrToFunction)(Value)> |
| struct typed_key_impl<Type (*)(Value),PtrToFunction> |
| { |
| using value_type=Value; |
| using type=global_fun<Value,Type,PtrToFunction>; |
| }; |
| |
| template<typename T> |
| struct remove_noexcept{using type=T;}; |
| |
| #define BOOST_MULTI_INDEX_KEY_REMOVE_MEMFUN_NOEXCEPT(qualifier) \ |
| template<typename R,typename C,typename... Args> \ |
| struct remove_noexcept<R(C::*)(Args...)qualifier noexcept> \ |
| {using type=R(C::*)(Args...)qualifier;}; \ |
| \ |
| template<typename R,typename C,typename... Args> \ |
| struct remove_noexcept<R(C::*)(Args...,...)qualifier noexcept> \ |
| {using type=R(C::*)(Args...,...)qualifier;}; |
| |
| BOOST_MULTI_INDEX_KEY_REMOVE_MEMFUN_NOEXCEPT(BOOST_PP_EMPTY()) |
| /* VS warns without dummy arg */ |
| BOOST_MULTI_INDEX_KEY_REMOVE_MEMFUN_NOEXCEPT(const) |
| BOOST_MULTI_INDEX_KEY_REMOVE_MEMFUN_NOEXCEPT(volatile) |
| BOOST_MULTI_INDEX_KEY_REMOVE_MEMFUN_NOEXCEPT(const volatile) |
| BOOST_MULTI_INDEX_KEY_REMOVE_MEMFUN_NOEXCEPT(&) |
| BOOST_MULTI_INDEX_KEY_REMOVE_MEMFUN_NOEXCEPT(const&) |
| BOOST_MULTI_INDEX_KEY_REMOVE_MEMFUN_NOEXCEPT(volatile&) |
| BOOST_MULTI_INDEX_KEY_REMOVE_MEMFUN_NOEXCEPT(const volatile&) |
| BOOST_MULTI_INDEX_KEY_REMOVE_MEMFUN_NOEXCEPT(&&) |
| BOOST_MULTI_INDEX_KEY_REMOVE_MEMFUN_NOEXCEPT(const&&) |
| BOOST_MULTI_INDEX_KEY_REMOVE_MEMFUN_NOEXCEPT(volatile&&) |
| BOOST_MULTI_INDEX_KEY_REMOVE_MEMFUN_NOEXCEPT(const volatile&&) |
| |
| #undef BOOST_MULTI_INDEX_KEY_REMOVE_MEMFUN_NOEXCEPT |
| |
| template<typename R,typename... Args> |
| struct remove_noexcept<R(*)(Args...)noexcept>{using type=R(*)(Args...);}; |
| template<typename R,typename... Args> |
| struct remove_noexcept<R(*)(Args...,...)noexcept> |
| {using type=R(*)(Args...,...);}; |
| |
| template<typename T> |
| using remove_noexcept_t=typename remove_noexcept<T>::type; |
| |
| template<auto... Keys> |
| struct key_impl; |
| |
| template<auto Key> |
| struct key_impl<Key>:typed_key_impl<remove_noexcept_t<decltype(Key)>,Key>{}; |
| |
| template<typename... Ts> |
| struct least_generic; |
| |
| template<typename T0,typename... Ts> |
| struct least_generic<T0,Ts...> |
| { |
| using type=T0; |
| }; |
| |
| template<typename T0,typename T1,typename... Ts> |
| struct least_generic<T0,T1,Ts...> |
| { |
| static_assert( |
| std::is_convertible<const T0&,const T1&>::value|| |
| std::is_convertible<const T1&,const T0&>::value, |
| "one type should be convertible to the other"); |
| |
| using type=typename least_generic< |
| typename std::conditional< |
| std::is_convertible<const T0&,const T1&>::value,T0,T1 |
| >::type, |
| Ts... |
| >::type; |
| }; |
| |
| template<auto Key0,auto... Keys> |
| struct key_impl<Key0,Keys...> |
| { |
| using value_type=typename least_generic< |
| typename std::decay<typename key_impl<Key0>::value_type>::type, |
| typename std::decay<typename key_impl<Keys>::value_type>::type... |
| >::type; |
| using type=composite_key< |
| value_type, |
| typename key_impl<Key0>::type, |
| typename key_impl<Keys>::type... |
| >; |
| }; |
| |
| template<typename=composite_key<void,void>> |
| struct composite_key_size; |
| |
| template<typename... Args> |
| struct composite_key_size<composite_key<Args...>> |
| { |
| static constexpr auto value=sizeof...(Args)-1; |
| }; |
| |
| template<auto... Keys> |
| struct limited_size_key_impl |
| { |
| static_assert( |
| sizeof...(Keys)<=composite_key_size<>::value, |
| "specified number of keys must meet the limits of " |
| "boost::multi_index::composite_key"); |
| using type=typename key_impl<Keys...>::type; |
| }; |
| |
| } /* namespace multi_index::detail */ |
| |
| template<auto... Keys> |
| using key=typename detail::limited_size_key_impl<Keys...>::type; |
| |
| } /* namespace multi_index */ |
| |
| } /* namespace boost */ |
| |
| #endif |
| #endif |