FM / detail

/usr/include/boost/poly_collection/detail/

/usr/include/boost/poly_collection/detail

Name	Size	Mode	Actions
allocator_adaptor.hpp	9222	0644	edit dl rm
any_iterator.hpp	2356	0644	edit dl rm
any_model.hpp	6018	0644	edit dl rm
auto_iterator.hpp	1474	0644	edit dl rm
base_model.hpp	3294	0644	edit dl rm
callable_wrapper.hpp	2673	0644	edit dl rm
callable_wrapper_iterator.hpp	2610	0644	edit dl rm
functional.hpp	5202	0644	edit dl rm
function_model.hpp	3441	0644	edit dl rm
is_acceptable.hpp	1235	0644	edit dl rm
is_constructible.hpp	1459	0644	edit dl rm
is_equality_comparable.hpp	817	0644	edit dl rm
is_final.hpp	1419	0644	edit dl rm
is_invocable.hpp	2264	0644	edit dl rm
is_nothrow_eq_comparable.hpp	1064	0644	edit dl rm
iterator_impl.hpp	7050	0644	edit dl rm
iterator_traits.hpp	3056	0644	edit dl rm
packed_segment.hpp	9916	0644	edit dl rm
poly_collection.hpp	34291	0644	edit dl rm
segment.hpp	9731	0644	edit dl rm
segment_backend.hpp	3234	0644	edit dl rm
segment_split.hpp	4448	0644	edit dl rm
split_segment.hpp	13524	0644	edit dl rm
stride_iterator.hpp	4404	0644	edit dl rm
type_info_map.hpp	7309	0644	edit dl rm
type_restitution.hpp	5515	0644	edit dl rm
value_holder.hpp	7388	0644	edit dl rm

Edit: /usr/include/boost/poly_collection/detail/any_model.hpp (6018B)

#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 ref_type=type_erasure::any<Concept2,T>;
    using make_ref=any_model_make_reference<type_erasure::_self,ref_type>;
    using concept_=typename type_erasure::concept_of<value_type>::type;

auto b=type_erasure::make_binding<
      mpl::map1<mpl::pair<type_erasure::_self,ref_type>>>();

return {
      type_erasure::call(type_erasure::binding<make_ref>{b},make_ref{},x),
      type_erasure::binding<concept_>{b}
    };
  }
};

} /* namespace poly_collection::detail */

} /* namespace poly_collection */

} /* namespace boost */

#endif

/* Copyright 2016-2020 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 #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include namespace boost{ namespace poly_collection{ namespace detail{ /* model for any_collection */ template struct any_model; /* Refine is_acceptable to cover type_erasure::any classes whose assignment * operator won't compile. */ template struct is_acceptable< type_erasure::any,any_model, typename std::enable_if< !type_erasure::is_relaxed::value&& !type_erasure::is_subconcept,Concept2>::value&& !type_erasure::is_subconcept< type_erasure::assignable, Concept2>::value >::type >:std::false_type{}; /* is_terminal defined out-class to allow for partial specialization */ template using any_model_enable_if_has_typeid_=typename std::enable_if< type_erasure::is_subconcept< type_erasure::typeid_::type>, Concept >::value >::type*; template struct any_model_is_terminal:std::true_type{}; template struct any_model_is_terminal< type_erasure::any,any_model_enable_if_has_typeid_ >:std::false_type{}; /* used for make_value_type */ template struct any_model_make_reference { static T& apply(Q& x){return x;} }; template struct any_model { using value_type=type_erasure::any< typename std::conditional< type_erasure::is_subconcept,Concept>::value, Concept, mpl::vector2> >::type, type_erasure::_self& >; template using is_implementation=std::true_type; /* can't compile-time check concept * compliance */ template using is_terminal=any_model_is_terminal; template static const std::type_info& subtypeid(const T&){return typeid(T);} template< typename Concept2,typename T, any_model_enable_if_has_typeid_ =nullptr > static const std::type_info& subtypeid( const type_erasure::any& a) { return type_erasure::typeid_of(a); } template static void* subaddress(T& x){return boost::addressof(x);} template static const void* subaddress(const T& x){return boost::addressof(x);} template< typename Concept2,typename T, any_model_enable_if_has_typeid_ =nullptr > static void* subaddress(type_erasure::any& a) { return type_erasure::any_cast(&a); } template< typename Concept2,typename T, any_model_enable_if_has_typeid_ =nullptr > static const void* subaddress(const type_erasure::any& a) { return type_erasure::any_cast(&a); } using base_iterator=any_iterator; using const_base_iterator=any_iterator; using base_sentinel=value_type*; using const_base_sentinel=const value_type*; template using iterator=Concrete*; template using const_iterator=const Concrete*; template using segment_backend=detail::segment_backend; template using segment_backend_implementation= split_segment; static base_iterator nonconst_iterator(const_base_iterator it) { return base_iterator{ const_cast(static_cast(it))}; } template static iterator nonconst_iterator(const_iterator it) { return const_cast>(it); } private: template friend class split_segment; template static value_type make_value_type(Concrete& x){return value_type{x};} template static value_type make_value_type(type_erasure::any& x) { /* I don't pretend to understand what's going on here, see * https://lists.boost.org/boost-users/2017/05/87556.php */ using ref_type=type_erasure::any; using make_ref=any_model_make_reference; using concept_=typename type_erasure::concept_of::type; auto b=type_erasure::make_binding< mpl::map1>>(); return { type_erasure::call(type_erasure::binding{b},make_ref{},x), type_erasure::binding{b} }; } }; } /* namespace poly_collection::detail */ } /* namespace poly_collection */ } /* namespace boost */ #endif