123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460 |
- // Boost.Geometry (aka GGL, Generic Geometry Library)
- // Copyright (c) 2007-2012 Barend Gehrels, Amsterdam, the Netherlands.
- // This file was modified by Oracle on 2013-2020.
- // Modifications copyright (c) 2013-2020 Oracle and/or its affiliates.
- // Contributed and/or modified by Adam Wulkiewicz, on behalf of Oracle
- // Use, modification and distribution is subject to 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)
- #ifndef BOOST_GEOMETRY_UTIL_RANGE_HPP
- #define BOOST_GEOMETRY_UTIL_RANGE_HPP
- #include <algorithm>
- #include <iterator>
- #include <type_traits>
- #include <boost/concept_check.hpp>
- #include <boost/config.hpp>
- #include <boost/core/addressof.hpp>
- #include <boost/mpl/has_xxx.hpp>
- #include <boost/range/concepts.hpp>
- #include <boost/range/begin.hpp>
- #include <boost/range/end.hpp>
- #include <boost/range/empty.hpp>
- #include <boost/range/difference_type.hpp>
- #include <boost/range/has_range_iterator.hpp>
- #include <boost/range/iterator.hpp>
- #include <boost/range/rbegin.hpp>
- #include <boost/range/reference.hpp>
- #include <boost/range/size.hpp>
- #include <boost/range/value_type.hpp>
- #include <boost/geometry/core/assert.hpp>
- #include <boost/geometry/core/mutable_range.hpp>
- namespace boost { namespace geometry { namespace range
- {
- namespace detail
- {
- BOOST_MPL_HAS_XXX_TRAIT_DEF(iterator_category)
- template <typename T>
- struct is_iterator
- : std::integral_constant
- <
- bool,
- has_iterator_category
- <
- std::iterator_traits<T>
- >::value
- >
- {};
- template <typename T, bool HasIterator = boost::has_range_iterator<T>::value>
- struct is_range_impl
- : is_iterator
- <
- typename boost::range_iterator<T>::type
- >
- {};
- template <typename T>
- struct is_range_impl<T, false>
- : std::false_type
- {};
- template <typename T>
- struct is_range
- : is_range_impl<T>
- {};
- // NOTE: For SinglePassRanges pos could iterate over all elements until the i-th element was met.
- template <typename RandomAccessRange>
- struct pos
- {
- typedef typename boost::range_iterator<RandomAccessRange>::type iterator;
- typedef typename boost::range_size<RandomAccessRange>::type size_type;
- typedef typename boost::range_difference<RandomAccessRange>::type difference_type;
- static inline iterator apply(RandomAccessRange & rng, size_type i)
- {
- BOOST_RANGE_CONCEPT_ASSERT(( boost::RandomAccessRangeConcept<RandomAccessRange> ));
- return boost::begin(rng) + static_cast<difference_type>(i);
- }
- };
- } // namespace detail
- /*!
- \brief Short utility to conveniently return an iterator of a RandomAccessRange.
- \ingroup utility
- */
- template <typename RandomAccessRange>
- inline typename boost::range_iterator<RandomAccessRange const>::type
- pos(RandomAccessRange const& rng,
- typename boost::range_size<RandomAccessRange const>::type i)
- {
- BOOST_GEOMETRY_ASSERT(i <= boost::size(rng));
- return detail::pos<RandomAccessRange const>::apply(rng, i);
- }
- /*!
- \brief Short utility to conveniently return an iterator of a RandomAccessRange.
- \ingroup utility
- */
- template <typename RandomAccessRange>
- inline typename boost::range_iterator<RandomAccessRange>::type
- pos(RandomAccessRange & rng,
- typename boost::range_size<RandomAccessRange>::type i)
- {
- BOOST_GEOMETRY_ASSERT(i <= boost::size(rng));
- return detail::pos<RandomAccessRange>::apply(rng, i);
- }
- /*!
- \brief Short utility to conveniently return an element of a RandomAccessRange.
- \ingroup utility
- */
- template <typename RandomAccessRange>
- inline typename boost::range_reference<RandomAccessRange const>::type
- at(RandomAccessRange const& rng,
- typename boost::range_size<RandomAccessRange const>::type i)
- {
- BOOST_GEOMETRY_ASSERT(i < boost::size(rng));
- return * detail::pos<RandomAccessRange const>::apply(rng, i);
- }
- /*!
- \brief Short utility to conveniently return an element of a RandomAccessRange.
- \ingroup utility
- */
- template <typename RandomAccessRange>
- inline typename boost::range_reference<RandomAccessRange>::type
- at(RandomAccessRange & rng,
- typename boost::range_size<RandomAccessRange>::type i)
- {
- BOOST_GEOMETRY_ASSERT(i < boost::size(rng));
- return * detail::pos<RandomAccessRange>::apply(rng, i);
- }
- /*!
- \brief Short utility to conveniently return the front element of a Range.
- \ingroup utility
- */
- template <typename Range>
- inline typename boost::range_reference<Range const>::type
- front(Range const& rng)
- {
- BOOST_GEOMETRY_ASSERT(!boost::empty(rng));
- return *boost::begin(rng);
- }
- /*!
- \brief Short utility to conveniently return the front element of a Range.
- \ingroup utility
- */
- template <typename Range>
- inline typename boost::range_reference<Range>::type
- front(Range & rng)
- {
- BOOST_GEOMETRY_ASSERT(!boost::empty(rng));
- return *boost::begin(rng);
- }
- // NOTE: For SinglePassRanges back() could iterate over all elements until the last element is met.
- /*!
- \brief Short utility to conveniently return the back element of a BidirectionalRange.
- \ingroup utility
- */
- template <typename BidirectionalRange>
- inline typename boost::range_reference<BidirectionalRange const>::type
- back(BidirectionalRange const& rng)
- {
- BOOST_RANGE_CONCEPT_ASSERT(( boost::BidirectionalRangeConcept<BidirectionalRange const> ));
- BOOST_GEOMETRY_ASSERT(!boost::empty(rng));
- return *(boost::rbegin(rng));
- }
- /*!
- \brief Short utility to conveniently return the back element of a BidirectionalRange.
- \ingroup utility
- */
- template <typename BidirectionalRange>
- inline typename boost::range_reference<BidirectionalRange>::type
- back(BidirectionalRange & rng)
- {
- BOOST_RANGE_CONCEPT_ASSERT((boost::BidirectionalRangeConcept<BidirectionalRange>));
- BOOST_GEOMETRY_ASSERT(!boost::empty(rng));
- return *(boost::rbegin(rng));
- }
- /*!
- \brief Short utility to conveniently clear a mutable range.
- It uses traits::clear<>.
- \ingroup utility
- */
- template <typename Range>
- inline void clear(Range & rng)
- {
- // NOTE: this trait is probably not needed since it could be implemented using resize()
- geometry::traits::clear<Range>::apply(rng);
- }
- /*!
- \brief Short utility to conveniently insert a new element at the end of a mutable range.
- It uses boost::geometry::traits::push_back<>.
- \ingroup utility
- */
- template <typename Range>
- inline void push_back(Range & rng,
- typename boost::range_value<Range>::type const& value)
- {
- geometry::traits::push_back<Range>::apply(rng, value);
- }
- /*!
- \brief Short utility to conveniently resize a mutable range.
- It uses boost::geometry::traits::resize<>.
- \ingroup utility
- */
- template <typename Range>
- inline void resize(Range & rng,
- typename boost::range_size<Range>::type new_size)
- {
- geometry::traits::resize<Range>::apply(rng, new_size);
- }
- /*!
- \brief Short utility to conveniently remove an element from the back of a mutable range.
- It uses resize().
- \ingroup utility
- */
- template <typename Range>
- inline void pop_back(Range & rng)
- {
- BOOST_GEOMETRY_ASSERT(!boost::empty(rng));
- range::resize(rng, boost::size(rng) - 1);
- }
- namespace detail {
- #ifndef BOOST_NO_CXX11_RVALUE_REFERENCES
- template <typename It,
- typename OutIt,
- bool UseMove = std::is_convertible
- <
- typename std::iterator_traits<It>::value_type &&,
- typename std::iterator_traits<OutIt>::value_type
- >::value>
- struct copy_or_move_impl
- {
- static inline OutIt apply(It first, It last, OutIt out)
- {
- return std::move(first, last, out);
- }
- };
- template <typename It, typename OutIt>
- struct copy_or_move_impl<It, OutIt, false>
- {
- static inline OutIt apply(It first, It last, OutIt out)
- {
- return std::copy(first, last, out);
- }
- };
- template <typename It, typename OutIt>
- inline OutIt copy_or_move(It first, It last, OutIt out)
- {
- return copy_or_move_impl<It, OutIt>::apply(first, last, out);
- }
- #else
- template <typename It, typename OutIt>
- inline OutIt copy_or_move(It first, It last, OutIt out)
- {
- return std::copy(first, last, out);
- }
- #endif
- } // namespace detail
- /*!
- \brief Short utility to conveniently remove an element from a mutable range.
- It uses std::copy() and resize(). Version taking mutable iterators.
- \ingroup utility
- */
- template <typename Range>
- inline typename boost::range_iterator<Range>::type
- erase(Range & rng,
- typename boost::range_iterator<Range>::type it)
- {
- BOOST_GEOMETRY_ASSERT(!boost::empty(rng));
- BOOST_GEOMETRY_ASSERT(it != boost::end(rng));
- typename boost::range_difference<Range>::type const
- d = std::distance(boost::begin(rng), it);
- typename boost::range_iterator<Range>::type
- next = it;
- ++next;
- detail::copy_or_move(next, boost::end(rng), it);
- range::resize(rng, boost::size(rng) - 1);
- // NOTE: In general this should be sufficient:
- // return it;
- // But in MSVC using the returned iterator causes
- // assertion failures when iterator debugging is enabled
- // Furthermore the code below should work in the case if resize()
- // invalidates iterators when the container is resized down.
- return boost::begin(rng) + d;
- }
- /*!
- \brief Short utility to conveniently remove an element from a mutable range.
- It uses std::copy() and resize(). Version taking non-mutable iterators.
- \ingroup utility
- */
- template <typename Range>
- inline typename boost::range_iterator<Range>::type
- erase(Range & rng,
- typename boost::range_iterator<Range const>::type cit)
- {
- BOOST_RANGE_CONCEPT_ASSERT(( boost::RandomAccessRangeConcept<Range> ));
- typename boost::range_iterator<Range>::type
- it = boost::begin(rng)
- + std::distance(boost::const_begin(rng), cit);
- return range::erase(rng, it);
- }
- /*!
- \brief Short utility to conveniently remove a range of elements from a mutable range.
- It uses std::copy() and resize(). Version taking mutable iterators.
- \ingroup utility
- */
- template <typename Range>
- inline typename boost::range_iterator<Range>::type
- erase(Range & rng,
- typename boost::range_iterator<Range>::type first,
- typename boost::range_iterator<Range>::type last)
- {
- typename boost::range_difference<Range>::type const
- diff = std::distance(first, last);
- BOOST_GEOMETRY_ASSERT(diff >= 0);
- std::size_t const count = static_cast<std::size_t>(diff);
- BOOST_GEOMETRY_ASSERT(count <= boost::size(rng));
-
- if ( count > 0 )
- {
- typename boost::range_difference<Range>::type const
- d = std::distance(boost::begin(rng), first);
- detail::copy_or_move(last, boost::end(rng), first);
- range::resize(rng, boost::size(rng) - count);
- // NOTE: In general this should be sufficient:
- // return first;
- // But in MSVC using the returned iterator causes
- // assertion failures when iterator debugging is enabled
- // Furthermore the code below should work in the case if resize()
- // invalidates iterators when the container is resized down.
- return boost::begin(rng) + d;
- }
- return first;
- }
- /*!
- \brief Short utility to conveniently remove a range of elements from a mutable range.
- It uses std::copy() and resize(). Version taking non-mutable iterators.
- \ingroup utility
- */
- template <typename Range>
- inline typename boost::range_iterator<Range>::type
- erase(Range & rng,
- typename boost::range_iterator<Range const>::type cfirst,
- typename boost::range_iterator<Range const>::type clast)
- {
- BOOST_RANGE_CONCEPT_ASSERT(( boost::RandomAccessRangeConcept<Range> ));
- typename boost::range_iterator<Range>::type
- first = boost::begin(rng)
- + std::distance(boost::const_begin(rng), cfirst);
- typename boost::range_iterator<Range>::type
- last = boost::begin(rng)
- + std::distance(boost::const_begin(rng), clast);
- return range::erase(rng, first, last);
- }
- // back_inserter
- template <class Container>
- class back_insert_iterator
- {
- public:
- typedef std::output_iterator_tag iterator_category;
- typedef void value_type;
- typedef void difference_type;
- typedef void pointer;
- typedef void reference;
- typedef Container container_type;
- explicit back_insert_iterator(Container & c)
- : container(boost::addressof(c))
- {}
- back_insert_iterator & operator=(typename Container::value_type const& value)
- {
- range::push_back(*container, value);
- return *this;
- }
- back_insert_iterator & operator* ()
- {
- return *this;
- }
- back_insert_iterator & operator++ ()
- {
- return *this;
- }
- back_insert_iterator operator++(int)
- {
- return *this;
- }
- private:
- Container * container;
- };
- template <typename Range>
- inline back_insert_iterator<Range> back_inserter(Range & rng)
- {
- return back_insert_iterator<Range>(rng);
- }
- }}} // namespace boost::geometry::range
- #endif // BOOST_GEOMETRY_UTIL_RANGE_HPP
|