1 // (C) Copyright Jeremy Siek 2002. 2 // Distributed under the Boost Software License, Version 1.0. (See 3 // accompanying file LICENSE_1_0.txt or copy at 4 // http://www.boost.org/LICENSE_1_0.txt) 5 6 #include <boost/iterator/iterator_concepts.hpp> 7 #include <boost/iterator/iterator_categories.hpp> 8 #include <boost/operators.hpp> 9 10 #include <iterator> 11 #include <cstddef> 12 13 struct new_random_access 14 : std::random_access_iterator_tag 15 , boost::random_access_traversal_tag 16 {}; 17 18 struct new_iterator 19 { 20 typedef new_random_access iterator_category; 21 typedef int value_type; 22 typedef std::ptrdiff_t difference_type; 23 typedef int* pointer; 24 typedef int& reference; 25 operator *new_iterator26 int& operator*() const { return *m_x; } operator ++new_iterator27 new_iterator& operator++() { return *this; } operator ++new_iterator28 new_iterator operator++(int) { return *this; } operator --new_iterator29 new_iterator& operator--() { return *this; } operator --new_iterator30 new_iterator operator--(int) { return *this; } operator +=new_iterator31 new_iterator& operator+=(std::ptrdiff_t) { return *this; } operator +new_iterator32 new_iterator operator+(std::ptrdiff_t) { return *this; } operator -=new_iterator33 new_iterator& operator-=(std::ptrdiff_t) { return *this; } operator -new_iterator34 std::ptrdiff_t operator-(const new_iterator&) const { return 0; } operator -new_iterator35 new_iterator operator-(std::ptrdiff_t) const { return *this; } operator ==new_iterator36 bool operator==(const new_iterator&) const { return false; } operator !=new_iterator37 bool operator!=(const new_iterator&) const { return false; } operator <new_iterator38 bool operator<(const new_iterator&) const { return false; } 39 int* m_x; 40 }; operator +(std::ptrdiff_t,new_iterator x)41new_iterator operator+(std::ptrdiff_t, new_iterator x) { return x; } 42 43 struct old_iterator 44 { 45 typedef std::random_access_iterator_tag iterator_category; 46 typedef int value_type; 47 typedef std::ptrdiff_t difference_type; 48 typedef int* pointer; 49 typedef int& reference; 50 operator *old_iterator51 int& operator*() const { return *m_x; } operator ++old_iterator52 old_iterator& operator++() { return *this; } operator ++old_iterator53 old_iterator operator++(int) { return *this; } operator --old_iterator54 old_iterator& operator--() { return *this; } operator --old_iterator55 old_iterator operator--(int) { return *this; } operator +=old_iterator56 old_iterator& operator+=(std::ptrdiff_t) { return *this; } operator +old_iterator57 old_iterator operator+(std::ptrdiff_t) { return *this; } operator -=old_iterator58 old_iterator& operator-=(std::ptrdiff_t) { return *this; } operator -old_iterator59 old_iterator operator-(std::ptrdiff_t) const { return *this; } operator -old_iterator60 std::ptrdiff_t operator-(const old_iterator&) const { return 0; } operator ==old_iterator61 bool operator==(const old_iterator&) const { return false; } operator !=old_iterator62 bool operator!=(const old_iterator&) const { return false; } operator <old_iterator63 bool operator<(const old_iterator&) const { return false; } 64 int* m_x; 65 }; operator +(std::ptrdiff_t,old_iterator x)66old_iterator operator+(std::ptrdiff_t, old_iterator x) { return x; } 67 68 int main()69main() 70 { 71 boost::iterator_traversal<new_iterator>::type tc; 72 boost::random_access_traversal_tag derived = tc; 73 (void)derived; 74 75 boost::function_requires< 76 boost_concepts::WritableIteratorConcept<int*> >(); 77 boost::function_requires< 78 boost_concepts::LvalueIteratorConcept<int*> >(); 79 boost::function_requires< 80 boost_concepts::RandomAccessTraversalConcept<int*> >(); 81 82 boost::function_requires< 83 boost_concepts::ReadableIteratorConcept<const int*> >(); 84 boost::function_requires< 85 boost_concepts::LvalueIteratorConcept<const int*> >(); 86 boost::function_requires< 87 boost_concepts::RandomAccessTraversalConcept<const int*> >(); 88 89 boost::function_requires< 90 boost_concepts::WritableIteratorConcept<new_iterator> >(); 91 boost::function_requires< 92 boost_concepts::LvalueIteratorConcept<new_iterator> >(); 93 boost::function_requires< 94 boost_concepts::RandomAccessTraversalConcept<new_iterator> >(); 95 96 boost::function_requires< 97 boost_concepts::WritableIteratorConcept<old_iterator> >(); 98 boost::function_requires< 99 boost_concepts::LvalueIteratorConcept<old_iterator> >(); 100 boost::function_requires< 101 boost_concepts::RandomAccessTraversalConcept<old_iterator> >(); 102 103 boost::function_requires< 104 boost_concepts::InteroperableIteratorConcept<int*, int const*> >(); 105 106 return 0; 107 } 108