123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339 |
- // Boost.TypeErasure library
- //
- // Copyright 2011 Steven Watanabe
- //
- // 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)
- //
- // $Id$
- #if !defined(BOOST_PP_IS_ITERATING)
- #ifndef BOOST_TYPE_ERASURE_DETAIL_REBIND_PLACEHOLDERS_HPP_INCLUDED
- #define BOOST_TYPE_ERASURE_DETAIL_REBIND_PLACEHOLDERS_HPP_INCLUDED
- #include <boost/mpl/eval_if.hpp>
- #include <boost/mpl/identity.hpp>
- #include <boost/mpl/at.hpp>
- #include <boost/mpl/has_key.hpp>
- #include <boost/mpl/not.hpp>
- #include <boost/mpl/or.hpp>
- #include <boost/mpl/assert.hpp>
- #include <boost/preprocessor/cat.hpp>
- #include <boost/preprocessor/iteration/iterate.hpp>
- #include <boost/preprocessor/repetition/enum.hpp>
- #include <boost/preprocessor/repetition/enum_params.hpp>
- #include <boost/preprocessor/repetition/enum_trailing_params.hpp>
- #include <boost/type_erasure/config.hpp>
- #include <boost/type_erasure/detail/meta.hpp>
- #include <boost/type_erasure/is_placeholder.hpp>
- namespace boost {
- namespace type_erasure {
- template<class F>
- struct deduced;
- namespace detail {
- template<class T, class Bindings>
- struct rebind_placeholders
- {
- typedef void type;
- };
- template<class T>
- struct identity
- {
- typedef T type;
- };
- template<class PrimitiveConcept, class Sig>
- struct vtable_adapter;
- #ifdef BOOST_TYPE_ERASURE_USE_MP11
- template<class T, class Bindings>
- using rebind_placeholders_t = typename rebind_placeholders<T, Bindings>::type;
- template<class T, class Bindings>
- using rebind_one_placeholder = ::boost::mp11::mp_second< ::boost::mp11::mp_map_find<Bindings, T> >;
- template<class T>
- struct rebind_placeholders_in_argument_impl
- {
- template<class Bindings>
- using apply = ::boost::type_erasure::detail::eval_if<
- ::boost::mp11::mp_map_contains<Bindings, T>::value,
- ::boost::type_erasure::detail::rebind_one_placeholder,
- ::boost::type_erasure::detail::first,
- T,
- Bindings
- >;
- };
- template<class T, class Bindings>
- using rebind_placeholders_in_argument_t = typename ::boost::type_erasure::detail::rebind_placeholders_in_argument_impl<T>::template apply<Bindings>;
- template<class T, class Bindings>
- using rebind_placeholders_in_argument = ::boost::mpl::identity< ::boost::type_erasure::detail::rebind_placeholders_in_argument_t<T, Bindings> >;
- template<class T>
- struct rebind_placeholders_in_argument_impl<T&>
- {
- template<class Bindings>
- using apply = rebind_placeholders_in_argument_t<T, Bindings>&;
- };
- template<class T>
- struct rebind_placeholders_in_argument_impl<T&&>
- {
- template<class Bindings>
- using apply = rebind_placeholders_in_argument_t<T, Bindings>&&;
- };
- template<class T>
- struct rebind_placeholders_in_argument_impl<const T>
- {
- template<class Bindings>
- using apply = rebind_placeholders_in_argument_t<T, Bindings> const;
- };
- template<class F, class Bindings>
- using rebind_placeholders_in_deduced =
- typename ::boost::type_erasure::deduced<
- ::boost::type_erasure::detail::rebind_placeholders_t<F, Bindings>
- >::type;
- template<class F, class Bindings>
- using rebind_deduced_placeholder =
- ::boost::mp11::mp_second<
- ::boost::mp11::mp_map_find<Bindings, ::boost::type_erasure::deduced<F> >
- >;
- template<class F>
- struct rebind_placeholders_in_argument_impl<
- ::boost::type_erasure::deduced<F>
- >
- {
- template<class Bindings>
- using apply = ::boost::type_erasure::detail::eval_if<
- ::boost::mp11::mp_map_contains<Bindings, ::boost::type_erasure::deduced<F> >::value,
- ::boost::type_erasure::detail::rebind_deduced_placeholder,
- ::boost::type_erasure::detail::rebind_placeholders_in_deduced,
- F,
- Bindings
- >;
- };
- template<class R, class... T>
- struct rebind_placeholders_in_argument_impl<R(T...)>
- {
- template<class Bindings>
- using apply =
- rebind_placeholders_in_argument_t<R, Bindings>
- (rebind_placeholders_in_argument_t<T, Bindings>...);
- };
- template<class R, class C, class... T>
- struct rebind_placeholders_in_argument_impl<R (C::*)(T...)>
- {
- template<class Bindings>
- using apply =
- rebind_placeholders_in_argument_t<R, Bindings>
- (rebind_placeholders_in_argument_t<C, Bindings>::*)
- (rebind_placeholders_in_argument_t<T, Bindings>...);
- };
- template<class R, class C, class... T>
- struct rebind_placeholders_in_argument_impl<R (C::*)(T...) const>
- {
- template<class Bindings>
- using apply =
- rebind_placeholders_in_argument_t<R, Bindings>
- (rebind_placeholders_in_argument_t<C, Bindings>::*)
- (rebind_placeholders_in_argument_t<T, Bindings>...) const;
- };
- template<template<class...> class T, class... U, class Bindings>
- struct rebind_placeholders<T<U...>, Bindings>
- {
- typedef ::boost::type_erasure::detail::make_mp_list<Bindings> xBindings;
- typedef T<rebind_placeholders_in_argument_t<U, xBindings>...> type;
- };
- template<class PrimitiveConcept, class Sig, class Bindings>
- struct rebind_placeholders<vtable_adapter<PrimitiveConcept, Sig>, Bindings>
- {
- typedef ::boost::type_erasure::detail::make_mp_list<Bindings> xBindings;
- typedef vtable_adapter<
- rebind_placeholders_t<PrimitiveConcept, xBindings>,
- rebind_placeholders_in_argument_t<Sig, xBindings>
- > type;
- };
- #else
- template<class T, class Bindings>
- struct rebind_placeholders_in_argument
- {
- BOOST_MPL_ASSERT((boost::mpl::or_<
- ::boost::mpl::not_< ::boost::type_erasure::is_placeholder<T> >,
- ::boost::mpl::has_key<Bindings, T>
- >));
- typedef typename ::boost::mpl::eval_if<
- ::boost::type_erasure::is_placeholder<T>,
- ::boost::mpl::at<Bindings, T>,
- ::boost::type_erasure::detail::identity<T>
- >::type type;
- };
- template<class PrimitiveConcept, class Sig, class Bindings>
- struct rebind_placeholders<vtable_adapter<PrimitiveConcept, Sig>, Bindings>
- {
- typedef vtable_adapter<
- typename rebind_placeholders<PrimitiveConcept, Bindings>::type,
- typename rebind_placeholders_in_argument<Sig, Bindings>::type
- > type;
- };
- template<class T, class Bindings>
- struct rebind_placeholders_in_argument<T&, Bindings>
- {
- typedef typename ::boost::type_erasure::detail::rebind_placeholders_in_argument<
- T,
- Bindings
- >::type& type;
- };
- #ifndef BOOST_NO_CXX11_RVALUE_REFERENCES
- template<class T, class Bindings>
- struct rebind_placeholders_in_argument<T&&, Bindings>
- {
- typedef typename ::boost::type_erasure::detail::rebind_placeholders_in_argument<
- T,
- Bindings
- >::type&& type;
- };
- #endif
- template<class T, class Bindings>
- struct rebind_placeholders_in_argument<const T, Bindings>
- {
- typedef const typename ::boost::type_erasure::detail::rebind_placeholders_in_argument<
- T,
- Bindings
- >::type type;
- };
- template<class F, class Bindings>
- struct rebind_placeholders_in_deduced
- {
- typedef typename ::boost::type_erasure::deduced<
- typename ::boost::type_erasure::detail::rebind_placeholders<F, Bindings>::type
- >::type type;
- };
- template<class F, class Bindings>
- struct rebind_placeholders_in_argument<
- ::boost::type_erasure::deduced<F>,
- Bindings
- >
- {
- typedef typename ::boost::mpl::eval_if<
- ::boost::mpl::has_key<Bindings, ::boost::type_erasure::deduced<F> >,
- ::boost::mpl::at<Bindings, ::boost::type_erasure::deduced<F> >,
- ::boost::type_erasure::detail::rebind_placeholders_in_deduced<
- F,
- Bindings
- >
- >::type type;
- };
- #if !defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES)
- template<template<class...> class T, class... U, class Bindings>
- struct rebind_placeholders<T<U...>, Bindings>
- {
- typedef T<typename rebind_placeholders_in_argument<U, Bindings>::type...> type;
- };
- template<class R, class... T, class Bindings>
- struct rebind_placeholders_in_argument<R(T...), Bindings>
- {
- typedef typename ::boost::type_erasure::detail::rebind_placeholders_in_argument<
- R,
- Bindings
- >::type type(typename rebind_placeholders_in_argument<T, Bindings>::type...);
- };
- template<class R, class C, class... T, class Bindings>
- struct rebind_placeholders_in_argument<R (C::*)(T...), Bindings>
- {
- typedef typename ::boost::type_erasure::detail::rebind_placeholders_in_argument<
- R,
- Bindings
- >::type (rebind_placeholders_in_argument<C, Bindings>::type::*type)
- (typename rebind_placeholders_in_argument<T, Bindings>::type...);
- };
- template<class R, class C, class... T, class Bindings>
- struct rebind_placeholders_in_argument<R (C::*)(T...) const, Bindings>
- {
- typedef typename ::boost::type_erasure::detail::rebind_placeholders_in_argument<
- R,
- Bindings
- >::type (rebind_placeholders_in_argument<C, Bindings>::type::*type)
- (typename rebind_placeholders_in_argument<T, Bindings>::type...) const;
- };
- #else
- #define BOOST_PP_FILENAME_1 <boost/type_erasure/detail/rebind_placeholders.hpp>
- #define BOOST_PP_ITERATION_LIMITS (0, BOOST_TYPE_ERASURE_MAX_ARITY)
- #include BOOST_PP_ITERATE()
- #endif
- #endif
- }
- }
- }
- #endif
- #else
- #define N BOOST_PP_ITERATION()
- #define BOOST_TYPE_ERASURE_REBIND(z, n, data) \
- typename rebind_placeholders_in_argument<BOOST_PP_CAT(data, n), Bindings>::type
- #if N != 0
- template<template<BOOST_PP_ENUM_PARAMS(N, class T)> class T,
- BOOST_PP_ENUM_PARAMS(N, class T), class Bindings>
- struct rebind_placeholders<T<BOOST_PP_ENUM_PARAMS(N, T)>, Bindings>
- {
- typedef T<BOOST_PP_ENUM(N, BOOST_TYPE_ERASURE_REBIND, T)> type;
- };
- #endif
- template<class R
- BOOST_PP_ENUM_TRAILING_PARAMS(N, class T), class Bindings>
- struct rebind_placeholders_in_argument<R(BOOST_PP_ENUM_PARAMS(N, T)), Bindings>
- {
- typedef typename ::boost::type_erasure::detail::rebind_placeholders_in_argument<
- R,
- Bindings
- >::type type(BOOST_PP_ENUM(N, BOOST_TYPE_ERASURE_REBIND, T));
- };
- #undef BOOST_TYPE_ERASURE_REBIND
- #undef N
- #endif
|