summaryrefslogtreecommitdiff
path: root/boost/poly_collection/detail/any_model.hpp
diff options
context:
space:
mode:
authorDongHun Kwak <dh0128.kwak@samsung.com>2017-09-13 11:24:46 +0900
committerDongHun Kwak <dh0128.kwak@samsung.com>2017-09-13 11:25:39 +0900
commit4fadd968fa12130524c8380f33fcfe25d4de79e5 (patch)
treefd26a490cd15388d42fc6652b3c5c13012e7f93e /boost/poly_collection/detail/any_model.hpp
parentb5c87084afaef42b2d058f68091be31988a6a874 (diff)
downloadboost-upstream/1.65.0.tar.gz
boost-upstream/1.65.0.tar.bz2
boost-upstream/1.65.0.zip
Imported Upstream version 1.65.0upstream/1.65.0
Change-Id: Icf8400b375482cb11bcf77440a6934ba360d6ba4 Signed-off-by: DongHun Kwak <dh0128.kwak@samsung.com>
Diffstat (limited to 'boost/poly_collection/detail/any_model.hpp')
-rw-r--r--boost/poly_collection/detail/any_model.hpp214
1 files changed, 214 insertions, 0 deletions
diff --git a/boost/poly_collection/detail/any_model.hpp b/boost/poly_collection/detail/any_model.hpp
new file mode 100644
index 0000000000..d38bf0e4a3
--- /dev/null
+++ b/boost/poly_collection/detail/any_model.hpp
@@ -0,0 +1,214 @@
+/* Copyright 2016-2017 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_ANY_MODEL_HPP
+#define BOOST_POLY_COLLECTION_DETAIL_ANY_MODEL_HPP
+
+#if defined(_MSC_VER)
+#pragma once
+#endif
+
+#include <boost/core/addressof.hpp>
+#include <boost/mpl/map/map10.hpp>
+#include <boost/mpl/pair.hpp>
+#include <boost/mpl/vector/vector10.hpp>
+#include <boost/poly_collection/detail/any_iterator.hpp>
+#include <boost/poly_collection/detail/is_acceptable.hpp>
+#include <boost/poly_collection/detail/segment_backend.hpp>
+#include <boost/poly_collection/detail/split_segment.hpp>
+#include <boost/type_erasure/any.hpp>
+#include <boost/type_erasure/any_cast.hpp>
+#include <boost/type_erasure/binding.hpp>
+#include <boost/type_erasure/builtin.hpp>
+#include <boost/type_erasure/concept_of.hpp>
+#include <boost/type_erasure/is_subconcept.hpp>
+#include <boost/type_erasure/relaxed.hpp>
+#include <boost/type_erasure/static_binding.hpp>
+#include <boost/type_erasure/typeid_of.hpp>
+#include <memory>
+#include <type_traits>
+#include <typeinfo>
+#include <utility>
+
+namespace boost{
+
+namespace poly_collection{
+
+namespace detail{
+
+/* model for any_collection */
+
+template<typename Concept>
+struct any_model;
+
+/* Refine is_acceptable to cover type_erasure::any classes whose assignment
+ * operator won't compile.
+ */
+
+template<typename Concept,typename Concept2,typename T>
+struct is_acceptable<
+ type_erasure::any<Concept2,T>,any_model<Concept>,
+ typename std::enable_if<
+ !type_erasure::is_relaxed<Concept2>::value&&
+ !type_erasure::is_subconcept<type_erasure::assignable<>,Concept2>::value&&
+ !type_erasure::is_subconcept<
+ type_erasure::assignable<type_erasure::_self,type_erasure::_self&&>,
+ Concept2>::value
+ >::type
+>:std::false_type{};
+
+/* is_terminal defined out-class to allow for partial specialization */
+
+template<typename Concept,typename T>
+using any_model_enable_if_has_typeid_=typename std::enable_if<
+ type_erasure::is_subconcept<
+ type_erasure::typeid_<typename std::decay<T>::type>,
+ Concept
+ >::value
+>::type*;
+
+template<typename T,typename=void*>
+struct any_model_is_terminal:std::true_type{};
+
+template<typename Concept,typename T>
+struct any_model_is_terminal<
+ type_erasure::any<Concept,T>,any_model_enable_if_has_typeid_<Concept,T>
+>:std::false_type{};
+
+/* used for make_value_type */
+
+template<typename T,typename Q>
+struct any_model_make_reference
+{
+ static T& apply(Q& x){return x;}
+};
+
+template<typename Concept>
+struct any_model
+{
+ using value_type=type_erasure::any<
+ typename std::conditional<
+ type_erasure::is_subconcept<type_erasure::typeid_<>,Concept>::value,
+ Concept,
+ mpl::vector2<Concept,type_erasure::typeid_<>>
+ >::type,
+ type_erasure::_self&
+ >;
+
+ template<typename Concrete>
+ using is_subtype=std::true_type; /* can't compile-time check concept
+ * compliance */
+ template<typename T>
+ using is_terminal=any_model_is_terminal<T>;
+
+ template<typename T>
+ static const std::type_info& subtypeid(const T&){return typeid(T);}
+
+ template<
+ typename Concept2,typename T,
+ any_model_enable_if_has_typeid_<Concept2,T> =nullptr
+ >
+ static const std::type_info& subtypeid(
+ const type_erasure::any<Concept2,T>& a)
+ {
+ return type_erasure::typeid_of(a);
+ }
+
+ 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 Concept2,typename T,
+ any_model_enable_if_has_typeid_<Concept2,T> =nullptr
+ >
+ static void* subaddress(type_erasure::any<Concept2,T>& a)
+ {
+ return type_erasure::any_cast<void*>(&a);
+ }
+
+ template<
+ typename Concept2,typename T,
+ any_model_enable_if_has_typeid_<Concept2,T> =nullptr
+ >
+ static const void* subaddress(const type_erasure::any<Concept2,T>& a)
+ {
+ return type_erasure::any_cast<const void*>(&a);
+ }
+
+ using base_iterator=any_iterator<value_type>;
+ using const_base_iterator=any_iterator<const value_type>;
+ using base_sentinel=value_type*;
+ using const_base_sentinel=const value_type*;
+ template<typename Concrete>
+ using iterator=Concrete*;
+ template<typename Concrete>
+ using const_iterator=const Concrete*;
+ using segment_backend=detail::segment_backend<any_model>;
+ template<typename Concrete,typename Allocator>
+ using segment_backend_implementation=split_segment<
+ any_model,
+ Concrete,
+ typename std::allocator_traits<Allocator>::
+ template rebind_alloc<Concrete>
+ >;
+ using segment_backend_unique_ptr=
+ typename segment_backend::segment_backend_unique_ptr;
+
+ 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);
+ }
+
+ template<typename Concrete,typename Allocator>
+ static segment_backend_unique_ptr make(const Allocator& al)
+ {
+ return segment_backend_implementation<Concrete,Allocator>::new_(al,al);
+ }
+
+private:
+ template<typename,typename,typename>
+ friend class split_segment;
+
+ template<typename Concrete>
+ static value_type make_value_type(Concrete& x){return value_type{x};}
+
+ template<typename Concept2,typename T>
+ static value_type make_value_type(type_erasure::any<Concept2,T>& x)
+ {
+ /* I don't pretend to understand what's going on here, see
+ * https://lists.boost.org/boost-users/2017/05/87556.php
+ */
+
+ using namespace boost::type_erasure;
+ using ref_type=any<Concept2,T>;
+ using make_ref=any_model_make_reference<_self,ref_type>;
+ using concept_=typename concept_of<value_type>::type;
+
+ auto b=make_binding<mpl::map1<mpl::pair<_self,ref_type>>>();
+
+ return {call(binding<make_ref>{b},make_ref{},x),binding<concept_>{b}};
+ }
+};
+
+} /* namespace poly_collection::detail */
+
+} /* namespace poly_collection */
+
+} /* namespace boost */
+
+#endif