annotate DEPENDENCIES/generic/include/boost/python/object/iterator.hpp @ 133:4acb5d8d80b6 tip

Don't fail environmental check if README.md exists (but .txt and no-suffix don't)
author Chris Cannam
date Tue, 30 Jul 2019 12:25:44 +0100
parents 2665513ce2d3
children
rev   line source
Chris@16 1 // Copyright David Abrahams 2002.
Chris@16 2 // Distributed under the Boost Software License, Version 1.0. (See
Chris@16 3 // accompanying file LICENSE_1_0.txt or copy at
Chris@16 4 // http://www.boost.org/LICENSE_1_0.txt)
Chris@16 5 #ifndef ITERATOR_DWA2002510_HPP
Chris@16 6 # define ITERATOR_DWA2002510_HPP
Chris@16 7
Chris@16 8 # include <boost/python/detail/prefix.hpp>
Chris@16 9
Chris@16 10 # include <boost/python/class.hpp>
Chris@16 11 # include <boost/python/return_value_policy.hpp>
Chris@16 12 # include <boost/python/return_by_value.hpp>
Chris@16 13 # include <boost/python/handle.hpp>
Chris@16 14 # include <boost/python/make_function.hpp>
Chris@16 15
Chris@16 16 # include <boost/python/object/iterator_core.hpp>
Chris@16 17 # include <boost/python/object/class_detail.hpp>
Chris@16 18 # include <boost/python/object/function_object.hpp>
Chris@16 19
Chris@16 20 # include <boost/mpl/vector/vector10.hpp>
Chris@16 21 # include <boost/mpl/if.hpp>
Chris@16 22
Chris@16 23 # include <boost/python/detail/raw_pyobject.hpp>
Chris@16 24
Chris@16 25 # include <boost/type.hpp>
Chris@16 26
Chris@16 27 # include <boost/type_traits/is_same.hpp>
Chris@16 28 # include <boost/type_traits/add_reference.hpp>
Chris@16 29 # include <boost/type_traits/add_const.hpp>
Chris@16 30
Chris@16 31 # include <boost/detail/iterator.hpp>
Chris@16 32
Chris@16 33 namespace boost { namespace python { namespace objects {
Chris@16 34
Chris@16 35 // CallPolicies for the next() method of iterators. We don't want
Chris@16 36 // users to have to explicitly specify that the references returned by
Chris@16 37 // iterators are copied, so we just replace the result_converter from
Chris@16 38 // the default_iterator_call_policies with a permissive one which
Chris@16 39 // always copies the result.
Chris@16 40 typedef return_value_policy<return_by_value> default_iterator_call_policies;
Chris@16 41
Chris@16 42 // Instantiations of these are wrapped to produce Python iterators.
Chris@16 43 template <class NextPolicies, class Iterator>
Chris@16 44 struct iterator_range
Chris@16 45 {
Chris@16 46 iterator_range(object sequence, Iterator start, Iterator finish);
Chris@16 47
Chris@16 48 typedef boost::detail::iterator_traits<Iterator> traits_t;
Chris@16 49
Chris@16 50 struct next
Chris@16 51 {
Chris@16 52 typedef typename mpl::if_<
Chris@16 53 is_reference<
Chris@16 54 typename traits_t::reference
Chris@16 55 >
Chris@16 56 , typename traits_t::reference
Chris@16 57 , typename traits_t::value_type
Chris@16 58 >::type result_type;
Chris@16 59
Chris@16 60 result_type
Chris@16 61 operator()(iterator_range<NextPolicies,Iterator>& self)
Chris@16 62 {
Chris@16 63 if (self.m_start == self.m_finish)
Chris@16 64 stop_iteration_error();
Chris@16 65 return *self.m_start++;
Chris@16 66 }
Chris@16 67
Chris@16 68 # if BOOST_WORKAROUND(__MWERKS__, BOOST_TESTED_AT(0x3003))
Chris@16 69 // CWPro8 has a codegen problem when this is an empty class
Chris@16 70 int garbage;
Chris@16 71 # endif
Chris@16 72 };
Chris@16 73
Chris@16 74 # ifdef BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION
Chris@16 75 // for compilers which can't deduce the value_type of pointers, we
Chris@16 76 // have a special implementation of next. This takes advantage of
Chris@16 77 // the fact that T* results are treated like T& results by
Chris@16 78 // Boost.Python's function wrappers.
Chris@16 79 struct next_ptr
Chris@16 80 {
Chris@16 81 typedef Iterator result_type;
Chris@16 82
Chris@16 83 result_type
Chris@16 84 operator()(iterator_range<NextPolicies,Iterator>& self)
Chris@16 85 {
Chris@16 86 if (self.m_start == self.m_finish)
Chris@16 87 stop_iteration_error();
Chris@16 88 return self.m_start++;
Chris@16 89 }
Chris@16 90 };
Chris@16 91
Chris@16 92 typedef mpl::if_<
Chris@16 93 is_same<
Chris@16 94 boost::detail::please_invoke_BOOST_TT_BROKEN_COMPILER_SPEC_on_cv_unqualified_pointee<Iterator>
Chris@16 95 , typename traits_t::value_type
Chris@16 96 >
Chris@16 97 , next_ptr
Chris@16 98 , next
Chris@16 99 >::type next_fn;
Chris@16 100 # else
Chris@16 101 typedef next next_fn;
Chris@16 102 # endif
Chris@16 103
Chris@16 104 object m_sequence; // Keeps the sequence alive while iterating.
Chris@16 105 Iterator m_start;
Chris@16 106 Iterator m_finish;
Chris@16 107 };
Chris@16 108
Chris@16 109 namespace detail
Chris@16 110 {
Chris@16 111 // Get a Python class which contains the given iterator and
Chris@16 112 // policies, creating it if necessary. Requires: NextPolicies is
Chris@16 113 // default-constructible.
Chris@16 114 template <class Iterator, class NextPolicies>
Chris@16 115 object demand_iterator_class(char const* name, Iterator* = 0, NextPolicies const& policies = NextPolicies())
Chris@16 116 {
Chris@16 117 typedef iterator_range<NextPolicies,Iterator> range_;
Chris@16 118
Chris@16 119 // Check the registry. If one is already registered, return it.
Chris@16 120 handle<> class_obj(
Chris@16 121 objects::registered_class_object(python::type_id<range_>()));
Chris@16 122
Chris@16 123 if (class_obj.get() != 0)
Chris@16 124 return object(class_obj);
Chris@16 125
Chris@16 126 typedef typename range_::next_fn next_fn;
Chris@16 127 typedef typename next_fn::result_type result_type;
Chris@16 128
Chris@16 129 return class_<range_>(name, no_init)
Chris@16 130 .def("__iter__", identity_function())
Chris@16 131 .def(
Chris@16 132 #if PY_VERSION_HEX >= 0x03000000
Chris@16 133 "__next__"
Chris@16 134 #else
Chris@16 135 "next"
Chris@16 136 #endif
Chris@16 137 , make_function(
Chris@16 138 next_fn()
Chris@16 139 , policies
Chris@16 140 , mpl::vector2<result_type,range_&>()
Chris@16 141 ));
Chris@16 142 }
Chris@16 143
Chris@16 144 // A function object which builds an iterator_range.
Chris@16 145 template <
Chris@16 146 class Target
Chris@16 147 , class Iterator
Chris@16 148 , class Accessor1
Chris@16 149 , class Accessor2
Chris@16 150 , class NextPolicies
Chris@16 151 >
Chris@16 152 struct py_iter_
Chris@16 153 {
Chris@16 154 py_iter_(Accessor1 const& get_start, Accessor2 const& get_finish)
Chris@16 155 : m_get_start(get_start)
Chris@16 156 , m_get_finish(get_finish)
Chris@16 157 {}
Chris@16 158
Chris@16 159 // Extract an object x of the Target type from the first Python
Chris@16 160 // argument, and invoke get_start(x)/get_finish(x) to produce
Chris@16 161 // iterators, which are used to construct a new iterator_range<>
Chris@16 162 // object that gets wrapped into a Python iterator.
Chris@16 163 iterator_range<NextPolicies,Iterator>
Chris@16 164 operator()(back_reference<Target&> x) const
Chris@16 165 {
Chris@16 166 // Make sure the Python class is instantiated.
Chris@16 167 detail::demand_iterator_class("iterator", (Iterator*)0, NextPolicies());
Chris@16 168
Chris@16 169 return iterator_range<NextPolicies,Iterator>(
Chris@16 170 x.source()
Chris@16 171 , m_get_start(x.get())
Chris@16 172 , m_get_finish(x.get())
Chris@16 173 );
Chris@16 174 }
Chris@16 175 private:
Chris@16 176 Accessor1 m_get_start;
Chris@16 177 Accessor2 m_get_finish;
Chris@16 178 };
Chris@16 179
Chris@16 180 template <class Target, class Iterator, class NextPolicies, class Accessor1, class Accessor2>
Chris@16 181 inline object make_iterator_function(
Chris@16 182 Accessor1 const& get_start
Chris@16 183 , Accessor2 const& get_finish
Chris@16 184 , NextPolicies const& /*next_policies*/
Chris@16 185 , Iterator const& (*)()
Chris@16 186 , boost::type<Target>*
Chris@16 187 , int
Chris@16 188 )
Chris@16 189 {
Chris@16 190 return make_function(
Chris@16 191 py_iter_<Target,Iterator,Accessor1,Accessor2,NextPolicies>(get_start, get_finish)
Chris@16 192 , default_call_policies()
Chris@16 193 , mpl::vector2<iterator_range<NextPolicies,Iterator>, back_reference<Target&> >()
Chris@16 194 );
Chris@16 195 }
Chris@16 196
Chris@16 197 template <class Target, class Iterator, class NextPolicies, class Accessor1, class Accessor2>
Chris@16 198 inline object make_iterator_function(
Chris@16 199 Accessor1 const& get_start
Chris@16 200 , Accessor2 const& get_finish
Chris@16 201 , NextPolicies const& next_policies
Chris@16 202 , Iterator& (*)()
Chris@16 203 , boost::type<Target>*
Chris@16 204 , ...)
Chris@16 205 {
Chris@16 206 return make_iterator_function(
Chris@16 207 get_start
Chris@16 208 , get_finish
Chris@16 209 , next_policies
Chris@16 210 , (Iterator const&(*)())0
Chris@16 211 , (boost::type<Target>*)0
Chris@16 212 , 0
Chris@16 213 );
Chris@16 214 }
Chris@16 215
Chris@16 216 }
Chris@16 217
Chris@16 218 // Create a Python callable object which accepts a single argument
Chris@16 219 // convertible to the C++ Target type and returns a Python
Chris@16 220 // iterator. The Python iterator uses get_start(x) and get_finish(x)
Chris@16 221 // (where x is an instance of Target) to produce begin and end
Chris@16 222 // iterators for the range, and an instance of NextPolicies is used as
Chris@16 223 // CallPolicies for the Python iterator's next() function.
Chris@16 224 template <class Target, class NextPolicies, class Accessor1, class Accessor2>
Chris@16 225 inline object make_iterator_function(
Chris@16 226 Accessor1 const& get_start
Chris@16 227 , Accessor2 const& get_finish
Chris@16 228 , NextPolicies const& next_policies
Chris@16 229 , boost::type<Target>* = 0
Chris@16 230 )
Chris@16 231 {
Chris@16 232 typedef typename Accessor1::result_type iterator;
Chris@16 233 typedef typename add_const<iterator>::type iterator_const;
Chris@16 234 typedef typename add_reference<iterator_const>::type iterator_cref;
Chris@16 235
Chris@16 236 return detail::make_iterator_function(
Chris@16 237 get_start
Chris@16 238 , get_finish
Chris@16 239 , next_policies
Chris@16 240 , (iterator_cref(*)())0
Chris@16 241 , (boost::type<Target>*)0
Chris@16 242 , 0
Chris@16 243 );
Chris@16 244 }
Chris@16 245
Chris@16 246 //
Chris@16 247 // implementation
Chris@16 248 //
Chris@16 249 template <class NextPolicies, class Iterator>
Chris@16 250 inline iterator_range<NextPolicies,Iterator>::iterator_range(
Chris@16 251 object sequence, Iterator start, Iterator finish)
Chris@16 252 : m_sequence(sequence), m_start(start), m_finish(finish)
Chris@16 253 {
Chris@16 254 }
Chris@16 255
Chris@16 256 }}} // namespace boost::python::objects
Chris@16 257
Chris@16 258 #endif // ITERATOR_DWA2002510_HPP