update boost on linux
This commit is contained in:
Bassem Girgis
203
linx64/include/boost/poly_collection/detail/any_model.hpp
Normal file
203
linx64/include/boost/poly_collection/detail/any_model.hpp
Normal file
@@ -0,0 +1,203 @@
|
||||
/* 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_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_implementation=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*;
|
||||
template<typename Allocator>
|
||||
using segment_backend=detail::segment_backend<any_model,Allocator>;
|
||||
template<typename Concrete,typename Allocator>
|
||||
using segment_backend_implementation=
|
||||
split_segment<any_model,Concrete,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 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
|
||||
Reference in New Issue
Block a user