12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091 |
- /*
- *
- * Copyright (c) 2002
- * John Maddock
- *
- * Use, modification and distribution are 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)
- *
- */
- /*
- * LOCATION: see http://www.boost.org for most recent version.
- * FILE regex_match.hpp
- * VERSION see <boost/version.hpp>
- * DESCRIPTION: Iterator traits for selecting an iterator type as
- * an integral constant expression.
- */
- #ifndef BOOST_REGEX_ITERATOR_CATEGORY_HPP
- #define BOOST_REGEX_ITERATOR_CATEGORY_HPP
- #include <iterator>
- #include <boost/type_traits/is_convertible.hpp>
- #include <boost/type_traits/is_pointer.hpp>
- namespace boost{
- namespace detail{
- template <class I>
- struct is_random_imp
- {
- #ifndef BOOST_NO_STD_ITERATOR_TRAITS
- private:
- typedef typename std::iterator_traits<I>::iterator_category cat;
- public:
- BOOST_STATIC_CONSTANT(bool, value = (::boost::is_convertible<cat*, std::random_access_iterator_tag*>::value));
- #else
- BOOST_STATIC_CONSTANT(bool, value = false);
- #endif
- };
- template <class I>
- struct is_random_pointer_imp
- {
- BOOST_STATIC_CONSTANT(bool, value = true);
- };
- template <bool is_pointer_type>
- struct is_random_imp_selector
- {
- template <class I>
- struct rebind
- {
- typedef is_random_imp<I> type;
- };
- };
- template <>
- struct is_random_imp_selector<true>
- {
- template <class I>
- struct rebind
- {
- typedef is_random_pointer_imp<I> type;
- };
- };
- }
- template <class I>
- struct is_random_access_iterator
- {
- private:
- typedef detail::is_random_imp_selector< ::boost::is_pointer<I>::value> selector;
- typedef typename selector::template rebind<I> bound_type;
- typedef typename bound_type::type answer;
- public:
- BOOST_STATIC_CONSTANT(bool, value = answer::value);
- };
- #ifndef BOOST_NO_INCLASS_MEMBER_INITIALIZATION
- template <class I>
- const bool is_random_access_iterator<I>::value;
- #endif
- }
- #endif
|