api.hpp

Go to the documentation of this file.

#pragma once 
#include <fc/thread/future.hpp>
#include <functional>
#include <boost/any.hpp>
#include <boost/config.hpp>
 
// ms visual c++ (as of 2013) doesn't accept the standard syntax for calling a 
// templated member function (foo->template bar();)
#ifdef _MSC_VER
# define FC_CALL_MEMBER_TEMPLATE_KEYWORD
#else
# define FC_CALL_MEMBER_TEMPLATE_KEYWORD template
#endif
 
namespace fc {
  namespace detail {
    template<typename T> struct is_optional : public std::false_type {};
    template<typename T> struct is_optional<fc::optional<T>> : public std::true_type {};
    template<typename... Ts> struct all_optionals;
    template<> struct all_optionals<> : public std::true_type {};
    template<typename T, typename... Ts> struct all_optionals<T, Ts...> : public std::false_type {};
    template<typename T, typename... Ts> struct all_optionals<fc::optional<T>, Ts...> : public all_optionals<Ts...> {};
 
    template<typename R, typename... Parameters>
    struct optionals_callable : public std::function<R(Parameters...)> {
       using std::function<R(Parameters...)>::operator();
 
       template<typename... CutList>
       struct short_pack {};
       template<unsigned RemoveCount, typename... Types>
       struct pack_cutter;
       template<unsigned RemoveCount, typename, typename... Types>
       struct pack_cutter_impl;
       template<typename... Types>
       struct pack_cutter_impl<0, void, Types...> {
           static_assert(all_optionals<Types...>::value, "All omitted arguments must correspond to optional parameters.");
           using type = short_pack<Types...>;
       };
       template<unsigned RemoveCount, typename T, typename... Types>
       struct pack_cutter_impl<RemoveCount, std::enable_if_t<RemoveCount != 0>, T, Types...>
               : public pack_cutter_impl<RemoveCount - 1, void, Types...> {};
       template<unsigned RemoveCount, typename... Types>
       struct pack_cutter : public pack_cutter_impl<RemoveCount, void, Types...> {};
       template<unsigned RemoveCount, typename... Types>
       using pack_cutter_t = typename pack_cutter<RemoveCount, Types...>::type;
 
       template<typename F, typename... OptionalTypes>
       R call_function(F&& f, short_pack<OptionalTypes...>) {
           return f(OptionalTypes()...);
       }
 
       template<class... Args>
       std::enable_if_t<sizeof...(Args) < sizeof...(Parameters), R> operator()(Args... args) {
           // Partially apply with the arguments provided
           auto partial_function = [this, &args...](auto&&... rest) {
               return (*this)(std::forward<decltype(args)>(args)..., std::move(rest)...);
           };
           // Cut the provided arguments' types out of the Parameters list, and store the rest in a dummy type
           pack_cutter_t<sizeof...(Args), std::decay_t<Parameters>...> dummy;
           // Pass the partially applied function and the dummy type to another function which can deduce the optional
           // types and call the function with default instantiations of those types
           return call_function(std::move(partial_function), dummy);
       }
    };
  }
 
  // This is no longer used and probably no longer can be used without generalizing the infrastructure around it, but I
  // kept it because it is informative.
//  struct identity_member {
//       template<typename R, typename C, typename P, typename... Args>
//       static std::function<R(Args...)> functor( P&& p, R (C::*mem_func)(Args...) );
//       template<typename R, typename C, typename P, typename... Args>
//       static std::function<R(Args...)> functor( P&& p, R (C::*mem_func)(Args...)const );
//  };
  struct identity_member_with_optionals {
       template<typename R, typename C, typename P, typename... Args>
       static detail::optionals_callable<R, Args...> functor( P&& p, R (C::*mem_func)(Args...) );
       template<typename R, typename C, typename P, typename... Args>
       static detail::optionals_callable<R, Args...> functor( P&& p, R (C::*mem_func)(Args...)const );
  };
 
  template< typename Interface, typename Transform  >
  struct vtable  : public std::enable_shared_from_this<vtable<Interface,Transform>> 
  { private: vtable(); };
  
  template<typename OtherType>
  struct vtable_copy_visitor {
      typedef OtherType other_type;
 
      vtable_copy_visitor( OtherType& s):_source( s ){}
  
      template<typename R, typename MemberPtr, typename... Args>
      void operator()( const char* name, std::function<R(Args...)>& memb, MemberPtr m )const {
        OtherType* src = &_source;
        memb = [src,m]( Args... args ){ return (src->*m)(args...); };
      }
      OtherType& _source;
  };
 
  template<typename Interface, typename Transform >
  class api;
 
  class api_connection;
 
  typedef uint32_t api_id_type;
 
  class api_base
  {
     public:
        api_base() {}
        virtual ~api_base() {}
 
        virtual uint64_t get_handle()const = 0;
 
        virtual api_id_type register_api( api_connection& conn )const = 0;
 
        // defined in api_connection.hpp
        template< typename T >
        api<T, identity_member_with_optionals> as();
  };
  typedef std::shared_ptr< api_base > api_ptr;
 
  class api_connection;
 
  template<typename Interface, typename Transform = identity_member_with_optionals >
  class api : public api_base {
    public:
      typedef vtable<Interface,Transform> vtable_type;
 
      api():_vtable( std::make_shared<vtable_type>() ) {}
 
      template<typename T >
      api( const T& p )
      :_vtable( std::make_shared<vtable_type>() )
      {
         _data = std::make_shared<boost::any>(p);
         T& ptr = boost::any_cast<T&>(*_data);
         auto& pointed_at = *ptr;
         typedef typename std::remove_reference<decltype(pointed_at)>::type source_vtable_type;
         _vtable->FC_CALL_MEMBER_TEMPLATE_KEYWORD visit_other( vtable_copy_visitor<source_vtable_type>(pointed_at) );
      }
 
      api( const api& cpy ):_vtable(cpy._vtable),_data(cpy._data) {}
      virtual ~api() {}
 
      friend bool operator == ( const api& a, const api& b ) { return a._data == b._data && a._vtable == b._vtable;    }
      friend bool operator != ( const api& a, const api& b ) { return !(a._data == b._data && a._vtable == b._vtable); }
      virtual uint64_t get_handle()const override { return uint64_t(_data.get()); }
      virtual api_id_type register_api( api_connection& conn )const override;    // defined in api_connection.hpp
 
      vtable_type& operator*()const  { FC_ASSERT( _vtable ); return *_vtable; }
      vtable_type* operator->()const {  FC_ASSERT( _vtable ); return _vtable.get(); }
 
    protected:
      std::shared_ptr<vtable_type>    _vtable;
      std::shared_ptr<boost::any>     _data;
  };
 
} // namespace fc
 
#include <boost/preprocessor/repeat.hpp>
#include <boost/preprocessor/repetition/enum_binary_params.hpp>
#include <boost/preprocessor/repetition/enum_params.hpp>
#include <boost/preprocessor/repetition/enum_trailing_params.hpp>
#include <boost/preprocessor/facilities/empty.hpp>
#include <boost/preprocessor/seq/for_each.hpp>
#include <boost/preprocessor/stringize.hpp>
 
#define FC_API_VTABLE_DEFINE_MEMBER( r, data, elem ) \
      decltype(Transform::functor( (data*)nullptr, &data::elem)) elem; 
#define FC_API_VTABLE_DEFINE_VISIT_OTHER( r, data, elem ) \
        { typedef typename Visitor::other_type OtherType; \
        v( BOOST_PP_STRINGIZE(elem), elem, &OtherType::elem ); }
#define FC_API_VTABLE_DEFINE_VISIT( r, data, elem ) \
        v( BOOST_PP_STRINGIZE(elem), elem ); 
 
#define FC_API( CLASS, METHODS ) \
namespace fc { \
  template<typename Transform> \
  struct vtable<CLASS,Transform> : public std::enable_shared_from_this<vtable<CLASS,Transform>> { \
      BOOST_PP_SEQ_FOR_EACH( FC_API_VTABLE_DEFINE_MEMBER, CLASS, METHODS ) \
      template<typename Visitor> \
      void visit_other( Visitor&& v ){ \
        BOOST_PP_SEQ_FOR_EACH( FC_API_VTABLE_DEFINE_VISIT_OTHER, CLASS, METHODS ) \
      } \
      template<typename Visitor> \
      void visit( Visitor&& v ){ \
        BOOST_PP_SEQ_FOR_EACH( FC_API_VTABLE_DEFINE_VISIT, CLASS, METHODS ) \
      } \
  }; \
}