123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494 |
- #ifndef ITERATOR_DWA122600_HPP_
- # define ITERATOR_DWA122600_HPP_
- # include <boost/config.hpp>
- # include <iterator>
- # if defined(__SGI_STL_PORT)
- # if (__SGI_STL_PORT <= 0x410) && !defined(__STL_CLASS_PARTIAL_SPECIALIZATION) && defined(__STL_DEBUG)
- # define BOOST_BAD_CONTAINER_ITERATOR_CATEGORY_TYPEDEF
- # endif
- # define BOOST_BAD_OUTPUT_ITERATOR_SPECIALIZATION
- # endif
- # if !defined(BOOST_NO_STD_ITERATOR_TRAITS) \
- && !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION) \
- && !defined(BOOST_MSVC_STD_ITERATOR)
-
- namespace boost { namespace detail {
- template <class Iterator>
- struct iterator_traits
- : std::iterator_traits<Iterator>
- {};
- using std::distance;
- }}
- # else
- # if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION) \
- && !defined(BOOST_MSVC_STD_ITERATOR)
- namespace boost { namespace detail {
- template <class Iterator>
- struct iterator_traits
- {
- typedef typename Iterator::value_type value_type;
- typedef typename Iterator::reference reference;
- typedef typename Iterator::pointer pointer;
- typedef typename Iterator::difference_type difference_type;
- typedef typename Iterator::iterator_category iterator_category;
- };
- template <class T>
- struct iterator_traits<T*>
- {
- typedef T value_type;
- typedef T& reference;
- typedef T* pointer;
- typedef std::ptrdiff_t difference_type;
- typedef std::random_access_iterator_tag iterator_category;
- };
- template <class T>
- struct iterator_traits<T const*>
- {
- typedef T value_type;
- typedef T const& reference;
- typedef T const* pointer;
- typedef std::ptrdiff_t difference_type;
- typedef std::random_access_iterator_tag iterator_category;
- };
- }}
- # else
- # include <boost/type_traits/remove_const.hpp>
- # include <boost/type_traits/detail/yes_no_type.hpp>
- # include <boost/type_traits/is_pointer.hpp>
- # ifdef BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION
- # include <boost/type_traits/is_same.hpp>
- # include <boost/type_traits/remove_pointer.hpp>
- # endif
- # ifdef BOOST_BAD_OUTPUT_ITERATOR_SPECIALIZATION
- # include <boost/type_traits/is_base_and_derived.hpp>
- # endif
- # include <boost/mpl/if.hpp>
- # include <boost/mpl/has_xxx.hpp>
- # include <cstddef>
- # include "boost/type_traits/detail/bool_trait_def.hpp"
- namespace boost { namespace detail {
- BOOST_MPL_HAS_XXX_TRAIT_DEF(value_type)
- BOOST_MPL_HAS_XXX_TRAIT_DEF(reference)
- BOOST_MPL_HAS_XXX_TRAIT_DEF(pointer)
- BOOST_MPL_HAS_XXX_TRAIT_DEF(difference_type)
- BOOST_MPL_HAS_XXX_TRAIT_DEF(iterator_category)
- template <class T>
- type_traits::yes_type is_mutable_iterator_helper(T const*, BOOST_DEDUCED_TYPENAME T::value_type*);
- template <class T> T* mutable_iterator_lvalue_helper(T& x);
- int mutable_iterator_lvalue_helper(...);
- template <class T>
- type_traits::yes_type is_mutable_iterator_helper(T const*, T const*);
- type_traits::no_type is_mutable_iterator_helper(...);
- template <class T>
- struct is_mutable_iterator_impl
- {
- static T t;
-
- BOOST_STATIC_CONSTANT(
- bool, value = sizeof(
- detail::is_mutable_iterator_helper(
- (T*)0
- , mutable_iterator_lvalue_helper(*t)
- ))
- == sizeof(type_traits::yes_type)
- );
- };
- BOOST_TT_AUX_BOOL_TRAIT_DEF1(
- is_mutable_iterator,T,::boost::detail::is_mutable_iterator_impl<T>::value)
- template <class T>
- struct is_full_iterator_traits_impl
- {
- enum { value =
- has_value_type<T>::value
- & has_reference<T>::value
- & has_pointer<T>::value
- & has_difference_type<T>::value
- & has_iterator_category<T>::value
- };
- };
- BOOST_TT_AUX_BOOL_TRAIT_DEF1(
- is_full_iterator_traits,T,::boost::detail::is_full_iterator_traits_impl<T>::value)
- # ifdef BOOST_BAD_CONTAINER_ITERATOR_CATEGORY_TYPEDEF
- BOOST_MPL_HAS_XXX_TRAIT_DEF(_Iterator_category)
-
- template <class T>
- struct is_stlport_40_debug_iterator_impl
- {
- enum { value =
- has_value_type<T>::value
- & has_reference<T>::value
- & has_pointer<T>::value
- & has_difference_type<T>::value
- & has__Iterator_category<T>::value
- };
- };
- BOOST_TT_AUX_BOOL_TRAIT_DEF1(
- is_stlport_40_debug_iterator,T,::boost::detail::is_stlport_40_debug_iterator_impl<T>::value)
- template <class T>
- struct stlport_40_debug_iterator_traits
- {
- typedef typename T::value_type value_type;
- typedef typename T::reference reference;
- typedef typename T::pointer pointer;
- typedef typename T::difference_type difference_type;
- typedef typename T::_Iterator_category iterator_category;
- };
- # endif
- template <class T> struct pointer_iterator_traits;
- # ifndef BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION
- template <class T>
- struct pointer_iterator_traits<T*>
- {
- typedef typename remove_const<T>::type value_type;
- typedef T* pointer;
- typedef T& reference;
- typedef std::random_access_iterator_tag iterator_category;
- typedef std::ptrdiff_t difference_type;
- };
- # else
- template<class P> class please_invoke_BOOST_TT_BROKEN_COMPILER_SPEC_on_cv_unqualified_pointee;
- template<class P>
- struct pointer_value_type
- : mpl::if_<
- is_same<P, typename remove_pointer<P>::type>
- , please_invoke_BOOST_TT_BROKEN_COMPILER_SPEC_on_cv_unqualified_pointee<P>
- , typename remove_const<
- typename remove_pointer<P>::type
- >::type
- >
- {
- };
- template<class P>
- struct pointer_reference
- : mpl::if_<
- is_same<P, typename remove_pointer<P>::type>
- , please_invoke_BOOST_TT_BROKEN_COMPILER_SPEC_on_cv_unqualified_pointee<P>
- , typename remove_pointer<P>::type&
- >
- {
- };
- template <class T>
- struct pointer_iterator_traits
- {
- typedef T pointer;
- typedef std::random_access_iterator_tag iterator_category;
- typedef std::ptrdiff_t difference_type;
- typedef typename pointer_value_type<T>::type value_type;
- typedef typename pointer_reference<T>::type reference;
- };
- # endif
- template <class Iterator>
- struct standard_iterator_traits
- {
- typedef typename Iterator::difference_type difference_type;
- typedef typename Iterator::value_type value_type;
- typedef typename Iterator::pointer pointer;
- typedef typename Iterator::reference reference;
- typedef typename Iterator::iterator_category iterator_category;
- };
- template <class Iterator>
- struct msvc_stdlib_mutable_traits
- : std::iterator_traits<Iterator>
- {
- typedef typename std::iterator_traits<Iterator>::distance_type difference_type;
- typedef typename std::iterator_traits<Iterator>::value_type* pointer;
- typedef typename std::iterator_traits<Iterator>::value_type& reference;
- };
- template <class Iterator>
- struct msvc_stdlib_const_traits
- : std::iterator_traits<Iterator>
- {
- typedef typename std::iterator_traits<Iterator>::distance_type difference_type;
- typedef const typename std::iterator_traits<Iterator>::value_type* pointer;
- typedef const typename std::iterator_traits<Iterator>::value_type& reference;
- };
- # ifdef BOOST_BAD_OUTPUT_ITERATOR_SPECIALIZATION
- template <class Iterator>
- struct is_bad_output_iterator
- : is_base_and_derived<
- std::iterator<std::output_iterator_tag,void,void,void,void>
- , Iterator>
- {
- };
- struct bad_output_iterator_traits
- {
- typedef void value_type;
- typedef void difference_type;
- typedef std::output_iterator_tag iterator_category;
- typedef void pointer;
- typedef void reference;
- };
- # endif
- template <class Iterator>
- struct msvc_stdlib_iterator_traits
- : mpl::if_<
- is_mutable_iterator<Iterator>
- , msvc_stdlib_mutable_traits<Iterator>
- , msvc_stdlib_const_traits<Iterator>
- >::type
- {};
- template <class Iterator>
- struct non_pointer_iterator_traits
- : mpl::if_<
- // if the iterator contains all the right nested types...
- is_full_iterator_traits<Iterator>
-
- , standard_iterator_traits<Iterator>
- # ifdef BOOST_BAD_CONTAINER_ITERATOR_CATEGORY_TYPEDEF
-
- , mpl::if_<
- is_stlport_40_debug_iterator<Iterator>
- , stlport_40_debug_iterator_traits<Iterator>
- # endif
-
- , msvc_stdlib_iterator_traits<Iterator>
- # ifdef BOOST_BAD_CONTAINER_ITERATOR_CATEGORY_TYPEDEF
- >::type
- # endif
- >::type
- {
- };
- template <class Iterator>
- struct iterator_traits_aux
- : mpl::if_<
- is_pointer<Iterator>
- , pointer_iterator_traits<Iterator>
- , non_pointer_iterator_traits<Iterator>
- >::type
- {
- };
- template <class Iterator>
- struct iterator_traits
- {
-
-
- private:
- # ifdef BOOST_BAD_OUTPUT_ITERATOR_SPECIALIZATION
- typedef
- typename mpl::if_<
- is_bad_output_iterator<Iterator>
- , bad_output_iterator_traits
- , iterator_traits_aux<Iterator>
- >::type base;
- # else
- typedef iterator_traits_aux<Iterator> base;
- # endif
- public:
- typedef typename base::value_type value_type;
- typedef typename base::pointer pointer;
- typedef typename base::reference reference;
- typedef typename base::difference_type difference_type;
- typedef typename base::iterator_category iterator_category;
- };
- template <> struct iterator_traits<int>
- {
- typedef int value_type;
- typedef int pointer;
- typedef int reference;
- typedef int difference_type;
- typedef int iterator_category;
- };
- }}
- # endif
- namespace boost { namespace detail {
- namespace iterator_traits_
- {
- template <class Iterator, class Difference>
- struct distance_select
- {
- static Difference execute(Iterator i1, const Iterator i2, ...)
- {
- Difference result = 0;
- while (i1 != i2)
- {
- ++i1;
- ++result;
- }
- return result;
- }
- static Difference execute(Iterator i1, const Iterator i2, std::random_access_iterator_tag*)
- {
- return i2 - i1;
- }
- };
- }
- template <class Iterator>
- inline typename iterator_traits<Iterator>::difference_type
- distance(Iterator first, Iterator last)
- {
- typedef typename iterator_traits<Iterator>::difference_type diff_t;
- typedef typename ::boost::detail::iterator_traits<Iterator>::iterator_category iterator_category;
-
- return iterator_traits_::distance_select<Iterator,diff_t>::execute(
- first, last, (iterator_category*)0);
- }
- }}
- # endif
- # undef BOOST_BAD_CONTAINER_ITERATOR_CATEGORY_TYPEDEF
- # undef BOOST_BAD_OUTPUT_ITERATOR_SPECIALIZATION
- #endif
|