|
|
|
@ -9,7 +9,9 @@
|
|
|
|
|
// copyright notice appears in all copies. This software is provided
|
|
|
|
|
// "as is" without express or implied warranty, and with no claim as
|
|
|
|
|
// to its suitability for any purpose.
|
|
|
|
|
//
|
|
|
|
|
|
|
|
|
|
// See http://www.boost.org/libs/utility/iterator_adaptors.htm for documentation.
|
|
|
|
|
|
|
|
|
|
// Revision History:
|
|
|
|
|
|
|
|
|
|
// 01 Feb 2002 Jeremy Siek
|
|
|
|
@ -124,14 +126,12 @@
|
|
|
|
|
# include <boost/type.hpp>
|
|
|
|
|
# include <boost/static_assert.hpp>
|
|
|
|
|
# include <boost/type_traits.hpp>
|
|
|
|
|
# include <boost/type_traits/conversion_traits.hpp>
|
|
|
|
|
# include <boost/detail/iterator.hpp>
|
|
|
|
|
# include <boost/detail/select_type.hpp>
|
|
|
|
|
# include <boost/detail/workaround.hpp>
|
|
|
|
|
|
|
|
|
|
// I was having some problems with VC6. I couldn't tell whether our hack for
|
|
|
|
|
// stock GCC was causing problems so I needed an easy way to turn it on and
|
|
|
|
|
// off. Now we can test the hack with various compilers and still have an
|
|
|
|
|
// "out" if it doesn't work. -dwa 7/31/00
|
|
|
|
|
# if __GNUC__ == 2 && __GNUC_MINOR__ <= 96 && !defined(__STL_USE_NAMESPACES)
|
|
|
|
|
# if BOOST_WORKAROUND(__GNUC__, == 2) && __GNUC_MINOR__ <= 96 && !defined(__STL_USE_NAMESPACES)
|
|
|
|
|
# define BOOST_RELOPS_AMBIGUITY_BUG 1
|
|
|
|
|
# endif
|
|
|
|
|
|
|
|
|
@ -147,7 +147,7 @@ namespace boost {
|
|
|
|
|
template <class Policies, class Adapted, class Traits>
|
|
|
|
|
struct TrivialIteratorPoliciesConcept
|
|
|
|
|
{
|
|
|
|
|
typedef typename Traits::reference Reference;
|
|
|
|
|
typedef typename Traits::reference reference;
|
|
|
|
|
void constraints() {
|
|
|
|
|
function_requires< AssignableConcept<Policies> >();
|
|
|
|
|
function_requires< DefaultConstructibleConcept<Policies> >();
|
|
|
|
@ -157,7 +157,7 @@ struct TrivialIteratorPoliciesConcept
|
|
|
|
|
const_constraints();
|
|
|
|
|
}
|
|
|
|
|
void const_constraints() const {
|
|
|
|
|
Reference r = p.dereference(x);
|
|
|
|
|
reference r = p.dereference(x);
|
|
|
|
|
b = p.equal(x, x);
|
|
|
|
|
ignore_unused_variable_warning(r);
|
|
|
|
|
}
|
|
|
|
@ -382,7 +382,7 @@ namespace detail {
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
# ifdef BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION
|
|
|
|
|
# if defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION) || defined(BOOST_NO_STD_ITERATOR_TRAITS)
|
|
|
|
|
|
|
|
|
|
// Select default pointer and reference types for adapted non-pointer
|
|
|
|
|
// iterators based on the iterator and the value_type. Poor man's partial
|
|
|
|
@ -565,7 +565,7 @@ namespace detail {
|
|
|
|
|
// An associative list is a list of key-value pairs. The list is
|
|
|
|
|
// built out of cons_type's and is terminated by end_of_list.
|
|
|
|
|
|
|
|
|
|
# if defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION) || defined(__BORLANDC__)
|
|
|
|
|
# if defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION) || BOOST_WORKAROUND(__BORLANDC__, != 0)
|
|
|
|
|
template <class AssocList, class Key>
|
|
|
|
|
struct find_param;
|
|
|
|
|
|
|
|
|
@ -628,7 +628,7 @@ namespace detail {
|
|
|
|
|
enum { value = is_convertible< typename add_reference< Value >::type, add_reference< named_template_param_base >::type >::value };
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
# if defined(__MWERKS__) && __MWERKS__ <= 0x2406 // workaround for broken is_convertible implementation
|
|
|
|
|
# if BOOST_WORKAROUND(__MWERKS__, <= 0x2407) // workaround for broken is_convertible implementation
|
|
|
|
|
template <class T> struct is_named_parameter<value_type_is<T> > { enum { value = true }; };
|
|
|
|
|
template <class T> struct is_named_parameter<reference_is<T> > { enum { value = true }; };
|
|
|
|
|
template <class T> struct is_named_parameter<pointer_is<T> > { enum { value = true }; };
|
|
|
|
@ -638,7 +638,7 @@ namespace detail {
|
|
|
|
|
|
|
|
|
|
template <class Key, class Value>
|
|
|
|
|
struct make_arg {
|
|
|
|
|
# ifdef __BORLANDC__
|
|
|
|
|
# if BOOST_WORKAROUND(__BORLANDC__, > 0)
|
|
|
|
|
// Borland C++ doesn't like the extra indirection of is_named_parameter
|
|
|
|
|
typedef typename
|
|
|
|
|
if_true<(is_convertible<Value,named_template_param_base>::value)>::
|
|
|
|
@ -761,12 +761,18 @@ namespace detail {
|
|
|
|
|
|
|
|
|
|
BOOST_STATIC_ASSERT(forward_iter_with_real_reference);
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
template <class T, class Result> struct dependent
|
|
|
|
|
{
|
|
|
|
|
typedef Result type;
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
} // namespace detail
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
// This macro definition is only temporary in this file
|
|
|
|
|
# if !defined(BOOST_MSVC)
|
|
|
|
|
# if !BOOST_WORKAROUND(BOOST_MSVC, <= 1300)
|
|
|
|
|
# define BOOST_ARG_DEPENDENT_TYPENAME typename
|
|
|
|
|
# else
|
|
|
|
|
# define BOOST_ARG_DEPENDENT_TYPENAME
|
|
|
|
@ -855,9 +861,9 @@ struct iterator_adaptor :
|
|
|
|
|
policies().initialize(base());
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
#if defined(BOOST_MSVC) || defined(__BORLANDC__)
|
|
|
|
|
#if BOOST_WORKAROUND(BOOST_MSVC, <= 1300) || BOOST_WORKAROUND(__BORLANDC__, > 0)
|
|
|
|
|
// This is required to prevent a bug in how VC++ generates
|
|
|
|
|
// the assignment operator for compressed_pairv
|
|
|
|
|
// the assignment operator for compressed_pair
|
|
|
|
|
iterator_adaptor& operator= (const iterator_adaptor& x) {
|
|
|
|
|
m_iter_p = x.m_iter_p;
|
|
|
|
|
return *this;
|
|
|
|
@ -867,7 +873,7 @@ struct iterator_adaptor :
|
|
|
|
|
return policies().dereference(*this);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
#ifdef BOOST_MSVC
|
|
|
|
|
#if BOOST_WORKAROUND(BOOST_MSVC, > 0)
|
|
|
|
|
# pragma warning(push)
|
|
|
|
|
# pragma warning( disable : 4284 )
|
|
|
|
|
#endif
|
|
|
|
@ -876,15 +882,16 @@ struct iterator_adaptor :
|
|
|
|
|
operator->() const
|
|
|
|
|
{ return detail::operator_arrow(*this, iterator_category()); }
|
|
|
|
|
|
|
|
|
|
#ifdef BOOST_MSVC
|
|
|
|
|
#if BOOST_WORKAROUND(BOOST_MSVC, > 0)
|
|
|
|
|
# pragma warning(pop)
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
value_type operator[](difference_type n) const
|
|
|
|
|
template <class diff_type>
|
|
|
|
|
typename detail::dependent<diff_type, value_type>::type operator[](diff_type n) const
|
|
|
|
|
{ return *(*this + n); }
|
|
|
|
|
|
|
|
|
|
self& operator++() {
|
|
|
|
|
#if !defined(__MWERKS__) || __MWERKS__ >= 0x2405
|
|
|
|
|
#if !BOOST_WORKAROUND(__MWERKS__, < 0x2405)
|
|
|
|
|
policies().increment(*this);
|
|
|
|
|
#else
|
|
|
|
|
// Odd bug, MWERKS couldn't deduce the type for the member template
|
|
|
|
@ -897,7 +904,7 @@ struct iterator_adaptor :
|
|
|
|
|
self operator++(int) { self tmp(*this); ++*this; return tmp; }
|
|
|
|
|
|
|
|
|
|
self& operator--() {
|
|
|
|
|
#if !defined(__MWERKS__) || __MWERKS__ >= 0x2405
|
|
|
|
|
#if !BOOST_WORKAROUND(__MWERKS__, < 0x2405)
|
|
|
|
|
policies().decrement(*this);
|
|
|
|
|
#else
|
|
|
|
|
policies().decrement<self>(*this);
|
|
|
|
@ -1097,7 +1104,7 @@ struct indirect_iterator_policies : public default_iterator_policies
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
namespace detail {
|
|
|
|
|
# if !defined(BOOST_MSVC) // stragely instantiated even when unused! Maybe try a recursive template someday ;-)
|
|
|
|
|
# if !BOOST_WORKAROUND(BOOST_MSVC, <= 1300) // strangely instantiated even when unused! Maybe try a recursive template someday ;-)
|
|
|
|
|
template <class T>
|
|
|
|
|
struct traits_of_value_type {
|
|
|
|
|
typedef typename boost::detail::iterator_traits<T>::value_type outer_value;
|
|
|
|
@ -1110,12 +1117,12 @@ namespace detail {
|
|
|
|
|
|
|
|
|
|
template <class OuterIterator, // Mutable or Immutable, does not matter
|
|
|
|
|
class Value
|
|
|
|
|
#if !defined(BOOST_MSVC)
|
|
|
|
|
#if !BOOST_WORKAROUND(BOOST_MSVC, <= 1300)
|
|
|
|
|
= BOOST_ARG_DEPENDENT_TYPENAME detail::traits_of_value_type<
|
|
|
|
|
OuterIterator>::value_type
|
|
|
|
|
#endif
|
|
|
|
|
, class Reference
|
|
|
|
|
#if !defined(BOOST_MSVC)
|
|
|
|
|
#if !BOOST_WORKAROUND(BOOST_MSVC, <= 1300)
|
|
|
|
|
= BOOST_ARG_DEPENDENT_TYPENAME detail::traits_of_value_type<
|
|
|
|
|
OuterIterator>::reference
|
|
|
|
|
#else
|
|
|
|
@ -1124,7 +1131,7 @@ template <class OuterIterator, // Mutable or Immutable, does not matter
|
|
|
|
|
, class Category = BOOST_ARG_DEPENDENT_TYPENAME boost::detail::iterator_traits<
|
|
|
|
|
OuterIterator>::iterator_category
|
|
|
|
|
, class Pointer
|
|
|
|
|
#if !defined(BOOST_MSVC)
|
|
|
|
|
#if !BOOST_WORKAROUND(BOOST_MSVC, <= 1300)
|
|
|
|
|
= BOOST_ARG_DEPENDENT_TYPENAME detail::traits_of_value_type<
|
|
|
|
|
OuterIterator>::pointer
|
|
|
|
|
#else
|
|
|
|
@ -1139,28 +1146,28 @@ struct indirect_iterator_generator
|
|
|
|
|
|
|
|
|
|
template <class OuterIterator, // Mutable or Immutable, does not matter
|
|
|
|
|
class Value
|
|
|
|
|
#if !defined(BOOST_MSVC)
|
|
|
|
|
#if !BOOST_WORKAROUND(BOOST_MSVC, <= 1300)
|
|
|
|
|
= BOOST_ARG_DEPENDENT_TYPENAME detail::traits_of_value_type<
|
|
|
|
|
OuterIterator>::value_type
|
|
|
|
|
#endif
|
|
|
|
|
, class Reference
|
|
|
|
|
#if !defined(BOOST_MSVC)
|
|
|
|
|
#if !BOOST_WORKAROUND(BOOST_MSVC, <= 1300)
|
|
|
|
|
= BOOST_ARG_DEPENDENT_TYPENAME detail::traits_of_value_type<
|
|
|
|
|
OuterIterator>::reference
|
|
|
|
|
#else
|
|
|
|
|
= Value &
|
|
|
|
|
#endif
|
|
|
|
|
, class ConstReference = const Value&
|
|
|
|
|
, class ConstReference = Value const&
|
|
|
|
|
, class Category = BOOST_ARG_DEPENDENT_TYPENAME boost::detail::iterator_traits<
|
|
|
|
|
OuterIterator>::iterator_category
|
|
|
|
|
, class Pointer
|
|
|
|
|
#if !defined(BOOST_MSVC)
|
|
|
|
|
#if !BOOST_WORKAROUND(BOOST_MSVC, <= 1300)
|
|
|
|
|
= BOOST_ARG_DEPENDENT_TYPENAME detail::traits_of_value_type<
|
|
|
|
|
OuterIterator>::pointer
|
|
|
|
|
#else
|
|
|
|
|
= Value*
|
|
|
|
|
#endif
|
|
|
|
|
, class ConstPointer = const Value*
|
|
|
|
|
, class ConstPointer = Value const*
|
|
|
|
|
>
|
|
|
|
|
struct indirect_iterator_pair_generator
|
|
|
|
|
{
|
|
|
|
@ -1170,7 +1177,7 @@ struct indirect_iterator_pair_generator
|
|
|
|
|
Value, ConstReference,Category,ConstPointer>::type const_iterator;
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
#ifndef BOOST_MSVC
|
|
|
|
|
#if !BOOST_WORKAROUND(BOOST_MSVC, <= 1300)
|
|
|
|
|
template <class OuterIterator>
|
|
|
|
|
inline typename indirect_iterator_generator<OuterIterator>::type
|
|
|
|
|
make_indirect_iterator(OuterIterator base)
|
|
|
|
@ -1356,7 +1363,7 @@ namespace detail {
|
|
|
|
|
template <class Iterator>
|
|
|
|
|
struct non_bidirectional_category
|
|
|
|
|
{
|
|
|
|
|
# if !defined(__MWERKS__) || __MWERKS__ > 0x2406
|
|
|
|
|
# if !BOOST_WORKAROUND(__MWERKS__, <= 0x2407)
|
|
|
|
|
typedef typename reduce_to_base_class<
|
|
|
|
|
std::forward_iterator_tag,
|
|
|
|
|
typename iterator_traits<Iterator>::iterator_category
|
|
|
|
@ -1392,7 +1399,7 @@ template <class Predicate, class Iterator,
|
|
|
|
|
class filter_iterator_generator {
|
|
|
|
|
BOOST_STATIC_CONSTANT(bool, is_bidirectional
|
|
|
|
|
= (boost::is_convertible<Category*, std::bidirectional_iterator_tag*>::value));
|
|
|
|
|
#ifndef BOOST_MSVC // I don't have any idea why this occurs, but it doesn't seem to hurt too badly.
|
|
|
|
|
#if !BOOST_WORKAROUND(BOOST_MSVC, <= 1300) // I don't have any idea why this occurs, but it doesn't seem to hurt too badly.
|
|
|
|
|
BOOST_STATIC_ASSERT(!is_bidirectional);
|
|
|
|
|
#endif
|
|
|
|
|
typedef filter_iterator_policies<Predicate,Iterator> policies_type;
|
|
|
|
|