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
|