123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279 |
- /* Copyright 2003-2022 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_MEM_FUN_HPP
- #define BOOST_MULTI_INDEX_MEM_FUN_HPP
- #if defined(_MSC_VER)
- #pragma once
- #endif
- #include <boost/config.hpp> /* keep it first to prevent nasty warns in MSVC */
- #include <boost/core/enable_if.hpp>
- #include <boost/mpl/if.hpp>
- #include <boost/type_traits/remove_reference.hpp>
- #if !defined(BOOST_NO_SFINAE)
- #include <boost/type_traits/is_convertible.hpp>
- #endif
- namespace boost{
- template<class T> class reference_wrapper; /* fwd decl. */
- namespace multi_index{
- /* mem_fun implements a read-only key extractor based on a given non-const
- * member function of a class.
- * Also, the following variations are provided:
- * const_mem_fun: const member functions
- * volatile_mem_fun: volatile member functions
- * cv_mem_fun: const volatile member functions
- * ref_mem_fun: ref-qualifed member functions (C++11)
- * cref_mem_fun: const ref-qualifed member functions (C++11)
- * vref_mem_fun: volatile ref-qualifed member functions (C++11)
- * cvref_mem_fun: const volatile ref-qualifed member functions (C++11)
- *
- * All of these classes are overloaded to support boost::referece_wrappers
- * of T and "chained pointers" to T's. By chained pointer to T we mean a type
- * P such that, given a p of Type P
- * *...n...*x is convertible to T&, for some n>=1.
- * Examples of chained pointers are raw and smart pointers, iterators and
- * arbitrary combinations of these (vg. T** or unique_ptr<T*>.)
- */
- namespace detail{
- template<
- class Class,typename Type,
- typename PtrToMemberFunctionType,PtrToMemberFunctionType PtrToMemberFunction
- >
- struct const_mem_fun_impl
- {
- typedef typename remove_reference<Type>::type result_type;
- template<typename ChainedPtr>
- #if !defined(BOOST_NO_SFINAE)
- typename disable_if<
- is_convertible<const ChainedPtr&,const Class&>,Type>::type
- #else
- Type
- #endif
- operator()(const ChainedPtr& x)const
- {
- return operator()(*x);
- }
- Type operator()(const Class& x)const
- {
- return (x.*PtrToMemberFunction)();
- }
- Type operator()(const reference_wrapper<const Class>& x)const
- {
- return operator()(x.get());
- }
- Type operator()(const reference_wrapper<Class>& x)const
- {
- return operator()(x.get());
- }
- };
- template<
- class Class,typename Type,
- typename PtrToMemberFunctionType,PtrToMemberFunctionType PtrToMemberFunction
- >
- struct mem_fun_impl
- {
- typedef typename remove_reference<Type>::type result_type;
- template<typename ChainedPtr>
- #if !defined(BOOST_NO_SFINAE)
- typename disable_if<
- is_convertible<ChainedPtr&,Class&>,Type>::type
- #else
- Type
- #endif
- operator()(const ChainedPtr& x)const
- {
- return operator()(*x);
- }
- Type operator()(Class& x)const
- {
- return (x.*PtrToMemberFunction)();
- }
- Type operator()(const reference_wrapper<Class>& x)const
- {
- return operator()(x.get());
- }
- };
- } /* namespace multi_index::detail */
- template<class Class,typename Type,Type (Class::*PtrToMemberFunction)()const>
- struct const_mem_fun:detail::const_mem_fun_impl<
- Class,Type,Type (Class::*)()const,PtrToMemberFunction
- >{};
- template<
- class Class,typename Type,
- Type (Class::*PtrToMemberFunction)()const volatile
- >
- struct cv_mem_fun:detail::const_mem_fun_impl<
- Class,Type,Type (Class::*)()const volatile,PtrToMemberFunction
- >{};
- template<class Class,typename Type,Type (Class::*PtrToMemberFunction)()>
- struct mem_fun:
- detail::mem_fun_impl<Class,Type,Type (Class::*)(),PtrToMemberFunction>{};
- template<
- class Class,typename Type,Type (Class::*PtrToMemberFunction)()volatile
- >
- struct volatile_mem_fun:detail::mem_fun_impl<
- Class,Type,Type (Class::*)()volatile,PtrToMemberFunction
- >{};
- #if !defined(BOOST_NO_CXX11_REF_QUALIFIERS)
- template<
- class Class,typename Type,Type (Class::*PtrToMemberFunction)()const&
- >
- struct cref_mem_fun:detail::const_mem_fun_impl<
- Class,Type,Type (Class::*)()const&,PtrToMemberFunction
- >{};
- template<
- class Class,typename Type,
- Type (Class::*PtrToMemberFunction)()const volatile&
- >
- struct cvref_mem_fun:detail::const_mem_fun_impl<
- Class,Type,Type (Class::*)()const volatile&,PtrToMemberFunction
- >{};
- template<class Class,typename Type,Type (Class::*PtrToMemberFunction)()&>
- struct ref_mem_fun:
- detail::mem_fun_impl<Class,Type,Type (Class::*)()&,PtrToMemberFunction>{};
- template<
- class Class,typename Type,Type (Class::*PtrToMemberFunction)()volatile&
- >
- struct vref_mem_fun:detail::mem_fun_impl<
- Class,Type,Type (Class::*)()volatile&,PtrToMemberFunction
- >{};
- #endif
- /* MSVC++ 6.0 has problems with const member functions as non-type template
- * parameters, somehow it takes them as non-const. const_mem_fun_explicit
- * workarounds this deficiency by accepting an extra type parameter that
- * specifies the signature of the member function. The workaround was found at:
- * Daniel, C.:"Re: weird typedef problem in VC",
- * news:microsoft.public.vc.language, 21st nov 2002,
- * http://groups.google.com/groups?
- * hl=en&lr=&ie=UTF-8&selm=ukwvg3O0BHA.1512%40tkmsftngp05
- *
- * MSVC++ 6.0 support has been dropped and [const_]mem_fun_explicit is
- * deprecated.
- */
- template<
- class Class,typename Type,
- typename PtrToMemberFunctionType,PtrToMemberFunctionType PtrToMemberFunction
- >
- struct const_mem_fun_explicit
- {
- typedef typename remove_reference<Type>::type result_type;
- template<typename ChainedPtr>
- #if !defined(BOOST_NO_SFINAE)
- typename disable_if<
- is_convertible<const ChainedPtr&,const Class&>,Type>::type
- #else
- Type
- #endif
- operator()(const ChainedPtr& x)const
- {
- return operator()(*x);
- }
- Type operator()(const Class& x)const
- {
- return (x.*PtrToMemberFunction)();
- }
- Type operator()(const reference_wrapper<const Class>& x)const
- {
- return operator()(x.get());
- }
- Type operator()(const reference_wrapper<Class>& x)const
- {
- return operator()(x.get());
- }
- };
- template<
- class Class,typename Type,
- typename PtrToMemberFunctionType,PtrToMemberFunctionType PtrToMemberFunction
- >
- struct mem_fun_explicit
- {
- typedef typename remove_reference<Type>::type result_type;
- template<typename ChainedPtr>
- #if !defined(BOOST_NO_SFINAE)
- typename disable_if<
- is_convertible<ChainedPtr&,Class&>,Type>::type
- #else
- Type
- #endif
- operator()(const ChainedPtr& x)const
- {
- return operator()(*x);
- }
- Type operator()(Class& x)const
- {
- return (x.*PtrToMemberFunction)();
- }
- Type operator()(const reference_wrapper<Class>& x)const
- {
- return operator()(x.get());
- }
- };
- /* BOOST_MULTI_INDEX_CONST_MEM_FUN and BOOST_MULTI_INDEX_MEM_FUN used to
- * resolve to [const_]mem_fun_explicit for MSVC++ 6.0 and to
- * [const_]mem_fun otherwise. Support for this compiler having been dropped,
- * they are now just wrappers over [const_]mem_fun kept for backwards-
- * compatibility reasons.
- */
- #define BOOST_MULTI_INDEX_CONST_MEM_FUN(Class,Type,MemberFunName) \
- ::boost::multi_index::const_mem_fun< Class,Type,&Class::MemberFunName >
- #define BOOST_MULTI_INDEX_MEM_FUN(Class,Type,MemberFunName) \
- ::boost::multi_index::mem_fun< Class,Type,&Class::MemberFunName >
- } /* namespace multi_index */
- } /* namespace boost */
- #endif
|