123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186 |
- // Boost.TypeErasure library
- //
- // Copyright 2015 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$
- #ifndef BOOST_TYPE_ERASURE_DETAIL_DYNAMIC_VTABLE_HPP_INCLUDED
- #define BOOST_TYPE_ERASURE_DETAIL_DYNAMIC_VTABLE_HPP_INCLUDED
- #include <boost/type_erasure/detail/get_placeholders.hpp>
- #include <boost/type_erasure/detail/rebind_placeholders.hpp>
- #include <boost/type_erasure/detail/normalize.hpp>
- #include <boost/type_erasure/detail/adapt_to_vtable.hpp>
- #include <boost/type_erasure/detail/vtable.hpp>
- #include <boost/type_erasure/static_binding.hpp>
- #include <boost/type_erasure/register_binding.hpp>
- #include <boost/mpl/transform.hpp>
- #include <boost/mpl/at.hpp>
- #include <boost/mpl/set.hpp>
- #include <boost/mpl/for_each.hpp>
- #include <boost/mpl/index_of.hpp>
- #include <typeinfo>
- namespace boost {
- namespace type_erasure {
- namespace detail {
- #if !defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES) && !defined(BOOST_NO_CXX11_CONSTEXPR) && !defined(BOOST_NO_CXX11_DEFAULTED_FUNCTIONS)
- template<class P>
- struct dynamic_binding_impl {
- const std::type_info * type;
- dynamic_binding_impl() = default;
- constexpr dynamic_binding_impl(const std::type_info * t) : type(t) {}
- };
- template<class T>
- struct dynamic_binding_element {
- typedef const std::type_info * type;
- };
- template<class Table>
- struct append_to_key {
- template<class P>
- void operator()(P) {
- key->push_back(static_cast<const dynamic_binding_impl<P>*>(table)->type);
- }
- const Table * table;
- key_type * key;
- };
- template<class... P>
- struct dynamic_vtable : dynamic_binding_impl<P>... {
- dynamic_vtable() = default;
- constexpr dynamic_vtable(typename dynamic_binding_element<P>::type ...t) : dynamic_binding_impl<P>(t)... {}
- template<class F>
- typename F::type lookup(F*) const {
- key_type key;
- #ifndef BOOST_TYPE_ERASURE_USE_MP11
- typedef typename ::boost::type_erasure::detail::get_placeholders<F, ::boost::mpl::set0<> >::type placeholders;
- #else
- typedef typename ::boost::type_erasure::detail::get_placeholders<F, ::boost::mp11::mp_list<> >::type placeholders;
- #endif
- typedef typename ::boost::mpl::fold<
- placeholders,
- ::boost::mpl::map0<>,
- ::boost::type_erasure::detail::counting_map_appender
- >::type placeholder_map;
- key.push_back(&typeid(typename ::boost::type_erasure::detail::rebind_placeholders<F, placeholder_map>::type));
- ::boost::mpl::for_each<placeholders>(append_to_key<dynamic_vtable>{this, &key});
- return reinterpret_cast<typename F::type>(lookup_function_impl(key));
- }
- template<class Bindings>
- void init() {
- *this = dynamic_vtable(&typeid(typename boost::mpl::at<Bindings, P>::type)...);
- }
- template<class Bindings, class Src>
- void convert_from(const Src& src) {
- #ifndef BOOST_TYPE_ERASURE_USE_MP11
- *this = dynamic_vtable(
- (&src.lookup((::boost::type_erasure::typeid_<typename ::boost::mpl::at<Bindings, P>::type>*)0)())...);
- #else
- *this = dynamic_vtable(
- (&src.lookup((::boost::type_erasure::typeid_< ::boost::mp11::mp_second< ::boost::mp11::mp_map_find<Bindings, P> > >*)0)())...);
- #endif
- }
- };
- template<class L>
- struct make_dynamic_vtable_impl;
- template<class... P>
- struct make_dynamic_vtable_impl<stored_arg_pack<P...> >
- {
- typedef dynamic_vtable<P...> type;
- };
- template<class PlaceholderList>
- struct make_dynamic_vtable
- : make_dynamic_vtable_impl<typename make_arg_pack<PlaceholderList>::type>
- {};
- #else
- template<class Bindings>
- struct dynamic_vtable_initializer
- {
- dynamic_vtable_initializer(const std::type_info**& ptr) : types(&ptr) {}
- template<class P>
- void operator()(P)
- {
- *(*types)++ = &typeid(typename ::boost::mpl::at<Bindings, P>::type);
- }
- const ::std::type_info*** types;
- };
- template<class Placeholders>
- struct dynamic_vtable
- {
- const ::std::type_info * types[(::boost::mpl::size<Placeholders>::value)];
- struct append_to_key
- {
- append_to_key(const std::type_info * const * t, key_type* k) : types(t), key(k) {}
- template<class P>
- void operator()(P)
- {
- key->push_back(types[(::boost::mpl::index_of<Placeholders, P>::type::value)]);
- }
- const std::type_info * const * types;
- key_type * key;
- };
- template<class F>
- typename F::type lookup(F*) const {
- key_type key;
- typedef typename ::boost::type_erasure::detail::get_placeholders<F, ::boost::mpl::set0<> >::type placeholders;
- typedef typename ::boost::mpl::fold<
- placeholders,
- ::boost::mpl::map0<>,
- ::boost::type_erasure::detail::counting_map_appender
- >::type placeholder_map;
- key.push_back(&typeid(typename ::boost::type_erasure::detail::rebind_placeholders<F, placeholder_map>::type));
- ::boost::mpl::for_each<placeholders>(append_to_key(types, &key));
- return reinterpret_cast<typename F::type>(lookup_function_impl(key));
- }
- template<class Bindings>
- void init()
- {
- const std::type_info* ptr = types;
- ::boost::mpl::for_each<Placeholders>(dynamic_vtable_initializer<Bindings>(ptr));
- }
- template<class Bindings, class Src>
- struct converter
- {
- converter(const std::type_info**& t, const Src& s) : types(&t), src(&s) {}
- template<class P>
- void operator()(P)
- {
- *(*types)++ = &src->lookup((::boost::type_erasure::typeid_<typename ::boost::mpl::at<Bindings, P>::type>*)0)();
- }
- const std::type_info*** types;
- const Src * src;
- };
- template<class Bindings, class Src>
- void convert_from(const Src& src) {
- const ::std::type_info** ptr = types;
- ::boost::mpl::for_each<Placeholders>(converter<Bindings, Src>(ptr, src));
- }
- };
- template<class Placeholders>
- struct make_dynamic_vtable
- {
- typedef dynamic_vtable<Placeholders> type;
- };
- #endif
- }
- }
- }
- #endif
|