123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126 |
- /* Copyright 2016-2018 Joaquin M Lopez Munoz.
- * 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)
- *
- * See http://www.boost.org/libs/poly_collection for library home page.
- */
- #ifndef BOOST_POLY_COLLECTION_DETAIL_FUNCTION_MODEL_HPP
- #define BOOST_POLY_COLLECTION_DETAIL_FUNCTION_MODEL_HPP
- #if defined(_MSC_VER)
- #pragma once
- #endif
- #include <boost/core/addressof.hpp>
- #include <boost/poly_collection/detail/callable_wrapper.hpp>
- #include <boost/poly_collection/detail/callable_wrapper_iterator.hpp>
- #include <boost/poly_collection/detail/is_invocable.hpp>
- #include <boost/poly_collection/detail/segment_backend.hpp>
- #include <boost/poly_collection/detail/split_segment.hpp>
- #include <memory>
- #include <type_traits>
- #include <typeinfo>
- #include <utility>
- namespace boost{
- namespace poly_collection{
- namespace detail{
- /* model for function_collection */
- template<typename Signature>
- struct function_model;
- /* is_terminal defined out-class to allow for partial specialization */
- template<typename T>
- struct function_model_is_terminal:std::true_type{};
- template<typename Signature>
- struct function_model_is_terminal<callable_wrapper<Signature>>:
- std::false_type{};
- template<typename R,typename... Args>
- struct function_model<R(Args...)>
- {
- using value_type=callable_wrapper<R(Args...)>;
- template<typename Callable>
- using is_implementation=is_invocable_r<R,Callable&,Args...>;
- template<typename T>
- using is_terminal=function_model_is_terminal<T>;
- template<typename T>
- static const std::type_info& subtypeid(const T&){return typeid(T);}
- template<typename Signature>
- static const std::type_info& subtypeid(
- const callable_wrapper<Signature>& f)
- {
- return f.target_type();
- }
- template<typename T>
- static void* subaddress(T& x){return boost::addressof(x);}
- template<typename T>
- static const void* subaddress(const T& x){return boost::addressof(x);}
- template<typename Signature>
- static void* subaddress(callable_wrapper<Signature>& f)
- {
- return f.data();
- }
-
- template<typename Signature>
- static const void* subaddress(const callable_wrapper<Signature>& f)
- {
- return f.data();
- }
- using base_iterator=callable_wrapper_iterator<value_type>;
- using const_base_iterator=callable_wrapper_iterator<const value_type>;
- using base_sentinel=value_type*;
- using const_base_sentinel=const value_type*;
- template<typename Callable>
- using iterator=Callable*;
- template<typename Callable>
- using const_iterator=const Callable*;
- template<typename Allocator>
- using segment_backend=detail::segment_backend<function_model,Allocator>;
- template<typename Callable,typename Allocator>
- using segment_backend_implementation=
- split_segment<function_model,Callable,Allocator>;
- static base_iterator nonconst_iterator(const_base_iterator it)
- {
- return base_iterator{
- const_cast<value_type*>(static_cast<const value_type*>(it))};
- }
- template<typename T>
- static iterator<T> nonconst_iterator(const_iterator<T> it)
- {
- return const_cast<iterator<T>>(it);
- }
- private:
- template<typename,typename,typename>
- friend class split_segment;
- template<typename Callable>
- static value_type make_value_type(Callable& x){return value_type{x};}
- };
- } /* namespace poly_collection::detail */
- } /* namespace poly_collection */
- } /* namespace boost */
- #endif
|