ceph/src/boost/libs/iterator/test/concept_tests.cpp

   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 struct new_random_access
  11   : std::random_access_iterator_tag
  12   , boost::random_access_traversal_tag
  13 {};
  14
  15 struct new_iterator
  16   : public boost::iterator< new_random_access, int >
  17 {
  18   int& operator*() const { return *m_x; }
  19   new_iterator& operator++() { return *this; }
  20   new_iterator operator++(int) { return *this; }
  21   new_iterator& operator--() { return *this; }
  22   new_iterator operator--(int) { return *this; }
  23   new_iterator& operator+=(std::ptrdiff_t) { return *this; }
  24   new_iterator operator+(std::ptrdiff_t) { return *this; }
  25   new_iterator& operator-=(std::ptrdiff_t) { return *this; }
  26   std::ptrdiff_t operator-(const new_iterator&) const { return 0; }
  27   new_iterator operator-(std::ptrdiff_t) const { return *this; }
  28   bool operator==(const new_iterator&) const { return false; }
  29   bool operator!=(const new_iterator&) const { return false; }
  30   bool operator<(const new_iterator&) const { return false; }
  31   int* m_x;
  32 };
  33 new_iterator operator+(std::ptrdiff_t, new_iterator x) { return x; }
  34
  35 struct old_iterator
  36   : public boost::iterator<std::random_access_iterator_tag, int>
  37 {
  38   int& operator*() const { return *m_x; }
  39   old_iterator& operator++() { return *this; }
  40   old_iterator operator++(int) { return *this; }
  41   old_iterator& operator--() { return *this; }
  42   old_iterator operator--(int) { return *this; }
  43   old_iterator& operator+=(std::ptrdiff_t) { return *this; }
  44   old_iterator operator+(std::ptrdiff_t) { return *this; }
  45   old_iterator& operator-=(std::ptrdiff_t) { return *this; }
  46   old_iterator operator-(std::ptrdiff_t) const { return *this; }
  47   std::ptrdiff_t operator-(const old_iterator&) const { return 0; }
  48   bool operator==(const old_iterator&) const { return false; }
  49   bool operator!=(const old_iterator&) const { return false; }
  50   bool operator<(const old_iterator&) const { return false; }
  51   int* m_x;
  52 };
  53 old_iterator operator+(std::ptrdiff_t, old_iterator x) { return x; }
  54
  55 int
  56 main()
  57 {
  58   boost::iterator_traversal<new_iterator>::type tc;
  59   boost::random_access_traversal_tag derived = tc;
  60   (void)derived;
  61
  62   boost::function_requires<
  63     boost_concepts::WritableIteratorConcept<int*> >();
  64   boost::function_requires<
  65     boost_concepts::LvalueIteratorConcept<int*> >();
  66   boost::function_requires<
  67     boost_concepts::RandomAccessTraversalConcept<int*> >();
  68
  69   boost::function_requires<
  70     boost_concepts::ReadableIteratorConcept<const int*> >();
  71   boost::function_requires<
  72     boost_concepts::LvalueIteratorConcept<const int*> >();
  73   boost::function_requires<
  74     boost_concepts::RandomAccessTraversalConcept<const int*> >();
  75
  76   boost::function_requires<
  77     boost_concepts::WritableIteratorConcept<new_iterator> >();
  78   boost::function_requires<
  79     boost_concepts::LvalueIteratorConcept<new_iterator> >();
  80   boost::function_requires<
  81     boost_concepts::RandomAccessTraversalConcept<new_iterator> >();
  82
  83   boost::function_requires<
  84     boost_concepts::WritableIteratorConcept<old_iterator> >();
  85   boost::function_requires<
  86     boost_concepts::LvalueIteratorConcept<old_iterator> >();
  87   boost::function_requires<
  88     boost_concepts::RandomAccessTraversalConcept<old_iterator> >();
  89
  90   boost::function_requires<
  91     boost_concepts::InteroperableIteratorConcept<int*, int const*> >();
  92
  93   return 0;
  94 }