123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165 |
- // Boost.TypeErasure library
- //
- // Copyright 2012 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_INSTANTIATE_HPP_INCLUDED
- #define BOOST_TYPE_ERASURE_DETAIL_INSTANTIATE_HPP_INCLUDED
- #include <boost/mpl/transform.hpp>
- #include <boost/mpl/size.hpp>
- #include <boost/mpl/at.hpp>
- #include <boost/preprocessor/cat.hpp>
- #include <boost/preprocessor/iteration/iterate.hpp>
- #include <boost/preprocessor/repetition/repeat.hpp>
- #include <boost/preprocessor/repetition/enum.hpp>
- #include <boost/preprocessor/repetition/enum_params.hpp>
- #include <boost/type_erasure/detail/normalize.hpp>
- #include <boost/type_erasure/detail/rebind_placeholders.hpp>
- namespace boost {
- namespace type_erasure {
- namespace detail {
- #ifdef BOOST_TYPE_ERASURE_USE_MP11
- template<class L>
- struct make_instantiate_concept_impl;
- template<class T, T t>
- struct instantiate_concept;
- template<class T>
- using instantiate_concept_impl = instantiate_concept<decltype(&T::apply), &T::apply>;
- template<class... T>
- struct make_instantiate_concept_impl< ::boost::mp11::mp_list<T...> >
- {
- template<template<class> class F>
- using apply = void(F<T>...);
- };
- template<class Map>
- struct instantiate_concept_rebind_f
- {
- template<class T>
- using apply =
- typename ::boost::type_erasure::detail::rebind_placeholders<
- T,
- Map
- >::type;
- };
- template<class Concept, class Map>
- using make_instantiate_concept =
- ::boost::type_erasure::detail::make_instantiate_concept_impl<
- ::boost::mp11::mp_transform<
- ::boost::type_erasure::detail::instantiate_concept_rebind_f<
- typename ::boost::type_erasure::detail::add_deductions<
- ::boost::type_erasure::detail::make_mp_list<Map>,
- typename ::boost::type_erasure::detail::get_placeholder_normalization_map<
- Concept
- >::type
- >::type
- >::template apply,
- ::boost::type_erasure::detail::normalize_concept_t<Concept>
- >
- >;
- #define BOOST_TYPE_ERASURE_INSTANTIATE(Concept, Map) \
- ((void)(typename ::boost::type_erasure::detail::make_instantiate_concept<Concept, Map> \
- ::template apply< ::boost::type_erasure::detail::instantiate_concept_impl>*)0)
- #define BOOST_TYPE_ERASURE_INSTANTIATE1(Concept, P0, T0) \
- ((void)(typename ::boost::type_erasure::detail::make_instantiate_concept< \
- Concept, ::boost::mpl::map1< ::boost::mpl::pair<P0, T0> > > \
- ::template apply< ::boost::type_erasure::detail::instantiate_concept_impl>*)0)
- #else
- template<int N>
- struct make_instantiate_concept_impl;
- template<class Concept>
- struct make_instantiate_concept {
- typedef typename ::boost::type_erasure::detail::normalize_concept<
- Concept>::type normalized;
- typedef typename ::boost::type_erasure::detail::make_instantiate_concept_impl<
- (::boost::mpl::size<normalized>::value)
- >::type type;
- };
- #define BOOST_TYPE_ERASURE_INSTANTIATE(Concept, Map) \
- (::boost::type_erasure::detail::make_instantiate_concept< \
- Concept \
- >::type::apply((Concept*)0, (Map*)0))
- #define BOOST_TYPE_ERASURE_INSTANTIATE1(Concept, P0, T0) \
- (::boost::type_erasure::detail::make_instantiate_concept< \
- Concept \
- >::type::apply( \
- (Concept*)0, \
- (::boost::mpl::map1< ::boost::mpl::pair<P0, T0> >*)0))
- #define BOOST_PP_FILENAME_1 <boost/type_erasure/detail/instantiate.hpp>
- #define BOOST_PP_ITERATION_LIMITS (0, BOOST_TYPE_ERASURE_MAX_FUNCTIONS)
- #include BOOST_PP_ITERATE()
- #endif
- }
- }
- }
- #endif
- #else
- #define N BOOST_PP_ITERATION()
- #define BOOST_TYPE_ERASURE_INSTANTIATE_IMPL(z, n, data)\
- (void)&::boost::mpl::at_c<data, n>::type::apply;
- struct BOOST_PP_CAT(instantiate_concept, N) {
- template<class Concept, class Map>
- static void apply(Concept *, Map *) {
- #if N > 0
- typedef typename ::boost::type_erasure::detail::normalize_concept<
- Concept>::type normalized;
- typedef typename ::boost::type_erasure::detail::get_placeholder_normalization_map<
- Concept
- >::type placeholder_subs;
- typedef typename ::boost::mpl::transform<
- normalized,
- ::boost::type_erasure::detail::rebind_placeholders<
- ::boost::mpl::_1,
- typename ::boost::type_erasure::detail::add_deductions<
- Map,
- placeholder_subs
- >::type
- >
- >::type concept_sequence;
- #endif
- BOOST_PP_REPEAT(N, BOOST_TYPE_ERASURE_INSTANTIATE_IMPL, concept_sequence)
- }
- };
- template<>
- struct make_instantiate_concept_impl<N>
- {
- typedef ::boost::type_erasure::detail::BOOST_PP_CAT(instantiate_concept, N) type;
- };
- #undef BOOST_TYPE_ERASURE_INSTANTIATE_IMPL
- #undef N
- #endif
|