Chris@16: /*=============================================================================
Chris@16:     Copyright (c) 2005-2007 Dan Marsden
Chris@16:     Copyright (c) 2005-2007 Joel de Guzman
Chris@16: 
Chris@16:     Distributed under the Boost Software License, Version 1.0. (See accompanying 
Chris@16:     file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
Chris@16: ==============================================================================*/
Chris@16: 
Chris@16: #ifndef PHOENIX_OPERATOR_MEMBER_HPP
Chris@16: #define PHOENIX_OPERATOR_MEMBER_HPP
Chris@16: 
Chris@16: #include <boost/spirit/home/phoenix/core/actor.hpp>
Chris@16: #include <boost/spirit/home/phoenix/core/composite.hpp>
Chris@16: #include <boost/spirit/home/phoenix/core/compose.hpp>
Chris@16: 
Chris@16: #include <boost/type_traits/add_reference.hpp>
Chris@16: #include <boost/type_traits/add_const.hpp>
Chris@16: #include <boost/type_traits/is_const.hpp>
Chris@16: #include <boost/type_traits/remove_reference.hpp>
Chris@16: #include <boost/type_traits/is_member_pointer.hpp>
Chris@16: #include <boost/type_traits/is_member_function_pointer.hpp>
Chris@16: 
Chris@16: #include <boost/mpl/eval_if.hpp>
Chris@16: #include <boost/mpl/identity.hpp>
Chris@16: #include <boost/mpl/and.hpp>
Chris@16: #include <boost/mpl/not.hpp>
Chris@16: 
Chris@16: #include <boost/utility/enable_if.hpp>
Chris@16: 
Chris@16: #include <boost/get_pointer.hpp>
Chris@16: 
Chris@16: #include <boost/spirit/home/phoenix/operator/detail/mem_fun_ptr_gen.hpp>
Chris@16: 
Chris@16: #include <memory>
Chris@16: 
Chris@16: namespace boost { 
Chris@16:     template<typename T> class shared_ptr;
Chris@16:     template<typename T> class scoped_ptr;
Chris@16: 
Chris@16: namespace phoenix {
Chris@16:     namespace detail
Chris@16:     {
Chris@16:         template<typename T>
Chris@16:         struct member_type;
Chris@16:         
Chris@16:         template<typename Class, typename MemberType>
Chris@16:         struct member_type<MemberType (Class::*)>
Chris@16:         {
Chris@16:             typedef MemberType type;
Chris@16:         };
Chris@16:     }
Chris@16: 
Chris@16:     namespace meta
Chris@16:     {
Chris@16:         template<typename T> 
Chris@16:         struct pointed_type;
Chris@16: 
Chris@16:         template<typename T>
Chris@16:         struct pointed_type<T*>
Chris@16:         {
Chris@16:             typedef T type;
Chris@16:         };
Chris@16: 
Chris@16:         template<typename T>
Chris@16:         struct pointed_type<shared_ptr<T> >
Chris@16:         {
Chris@16:             typedef T type;
Chris@16:         };
Chris@16:         
Chris@16:         template<typename T>
Chris@16:         struct pointed_type<scoped_ptr<T> >
Chris@16:         {
Chris@16:             typedef T type;
Chris@16:         };
Chris@16: 
Chris@16:         template<typename T>
Chris@16:         struct pointed_type<std::auto_ptr<T> >
Chris@16:         {
Chris@16:             typedef T type;
Chris@16:         };
Chris@16:     }
Chris@16: 
Chris@16:     struct member_object_eval
Chris@16:     {
Chris@16:         template<typename Env, typename PtrActor, typename MemPtrActor>
Chris@16:         struct result
Chris@16:         {
Chris@16:             typedef typename detail::member_type<
Chris@16:                 typename eval_result<MemPtrActor, Env>::type>::type member_type;
Chris@16: 
Chris@16:             typedef typename meta::pointed_type<
Chris@16:                 typename remove_reference<
Chris@16:                 typename eval_result<PtrActor, Env>::type>::type>::type object_type;
Chris@16: 
Chris@16:             typedef typename add_reference<
Chris@16:                 typename mpl::eval_if<
Chris@16:                 is_const<object_type>,
Chris@16:                 add_const<member_type>,
Chris@16:                 mpl::identity<member_type> >::type>::type type;
Chris@16:         };
Chris@16: 
Chris@16:         template<typename Rt, typename Env, typename PtrActor, typename MemPtrActor>
Chris@16:         static typename result<Env,PtrActor,MemPtrActor>::type
Chris@16:         eval(const Env& env, PtrActor& ptrActor, MemPtrActor& memPtrActor)
Chris@16:         {
Chris@16:             return get_pointer(ptrActor.eval(env))->*memPtrActor.eval(env);
Chris@16:         }
Chris@16:     };
Chris@16: 
Chris@16:     namespace member_object
Chris@16:     {
Chris@16:         template<typename T0, typename MemObjPtr>
Chris@16:         typename enable_if<
Chris@16:             mpl::and_<is_member_pointer<MemObjPtr>, mpl::not_<is_member_function_pointer<MemObjPtr> > >,
Chris@16:             actor<typename as_composite<
Chris@16:             member_object_eval, actor<T0>,
Chris@16:             typename as_actor<MemObjPtr>::type>::type> >::type
Chris@16:         operator->*(
Chris@16:             const actor<T0>& ptrActor, 
Chris@16:             MemObjPtr memObjPtr)
Chris@16:         {
Chris@16:             return compose<member_object_eval>(
Chris@16:                 ptrActor,
Chris@16:                 as_actor<MemObjPtr>::convert(memObjPtr));
Chris@16:         }
Chris@16:     }
Chris@16: 
Chris@16:     namespace member_function
Chris@16:     {
Chris@16:         template<typename T0, typename MemFunPtr>
Chris@16:         typename enable_if<
Chris@16:             is_member_function_pointer<MemFunPtr>,
Chris@16:             mem_fun_ptr_gen<actor<T0>, MemFunPtr> >::type
Chris@16:         operator->*(const actor<T0>& ptrActor, MemFunPtr memFunPtr)
Chris@16:         {
Chris@16:             return mem_fun_ptr_gen<actor<T0>, MemFunPtr>(
Chris@16:                 ptrActor, memFunPtr);
Chris@16:         }
Chris@16:     }
Chris@16: 
Chris@16:     using member_object::operator->*;
Chris@16:     using member_function::operator->*;
Chris@16: }}
Chris@16: 
Chris@16: #endif