boostorg/mpl
1
0
Fork 1
mirror of https://github.com/boostorg/mpl.git synced 2025-08-02 06:15:23 +02:00
Code Issues Packages Projects Releases Wiki Activity

Fix to bug 11001

Browse Source 
According to reference, insert_range should work for any Extensible
sequence or Extensible Associative sequence, but the default
implementation of insert_range_impl assumes a front_inserter is defined
for the given sequence, but neither Extensible nor every Extensible
Associative sequences are required to also be a Front Extensible
sequence. This fix rely only on insert, which is defined for every
Extensible sequence.
This commit is contained in:
Bruno Dutra
2015-02-09 00:04:07 -02:00
parent 6a0f617a6c
commit 1c02715e49
1 changed files with 19 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files

35
include/boost/mpl/aux_/insert_range_impl.hpp
View File

@@ -14,9 +14,10 @@
// $Date$ // $Date$
// $Revision$ // $Revision$
#include <boost/mpl/copy.hpp> #include <boost/mpl/placeholders.hpp>
#include <boost/mpl/fold.hpp>
#include <boost/mpl/insert.hpp>
#include <boost/mpl/clear.hpp> #include <boost/mpl/clear.hpp>
#include <boost/mpl/front_inserter.hpp>
#include <boost/mpl/joint_view.hpp> #include <boost/mpl/joint_view.hpp>
#include <boost/mpl/iterator_range.hpp> #include <boost/mpl/iterator_range.hpp>
#include <boost/mpl/aux_/na_spec.hpp> #include <boost/mpl/aux_/na_spec.hpp>
@@ -43,29 +44,31 @@ struct insert_range_impl
> >
struct apply struct apply
#if !defined(BOOST_MPL_CFG_NO_NESTED_FORWARDING) #if !defined(BOOST_MPL_CFG_NO_NESTED_FORWARDING)
: reverse_copy< : fold<
joint_view< joint_view<
iterator_range<typename begin<Sequence>::type,Pos> iterator_range<typename begin<Sequence>::type,Pos>
, joint_view< , joint_view<
Range Range
, iterator_range<Pos,typename end<Sequence>::type> , iterator_range<Pos,typename end<Sequence>::type>
> >
> >
, front_inserter< typename clear<Sequence>::type > , typename clear<Sequence>::type
, insert<_1, end<_1>, _2>
> >
{ {
#else #else
{ {
typedef typename reverse_copy< typedef typename fold<
joint_view< joint_view<
iterator_range<typename begin<Sequence>::type,Pos> iterator_range<typename begin<Sequence>::type,Pos>
, joint_view< , joint_view<
Range Range
, iterator_range<Pos,typename end<Sequence>::type> , iterator_range<Pos,typename end<Sequence>::type>
> >
> >
, front_inserter< typename clear<Sequence>::type > , typename clear<Sequence>::type
>::type type; , insert<_1, end<_1>, _2>
>::type type;
#endif #endif
}; };
}; };