Eigen  3.4.90 (git rev 5a9f66fb35d03a4da9ef8976e67a61b30aa16dcf)
 
Loading...
Searching...
No Matches
StlIterators.h
1// This file is part of Eigen, a lightweight C++ template library
2// for linear algebra.
3//
4// Copyright (C) 2018 Gael Guennebaud <[email protected]>
5//
6// This Source Code Form is subject to the terms of the Mozilla
7// Public License v. 2.0. If a copy of the MPL was not distributed
8// with this file, You can obtain one at http://mozilla.org/MPL/2.0/.
9
10#ifndef EIGEN_STLITERATORS_H
11#define EIGEN_STLITERATORS_H
12
13// IWYU pragma: private
14#include "./InternalHeaderCheck.h"
15
16namespace Eigen {
17
18namespace internal {
19
20template <typename IteratorType>
21struct indexed_based_stl_iterator_traits;
22
23template <typename Derived>
24class indexed_based_stl_iterator_base {
25 protected:
26 typedef indexed_based_stl_iterator_traits<Derived> traits;
27 typedef typename traits::XprType XprType;
28 typedef indexed_based_stl_iterator_base<typename traits::non_const_iterator> non_const_iterator;
29 typedef indexed_based_stl_iterator_base<typename traits::const_iterator> const_iterator;
30 typedef std::conditional_t<internal::is_const<XprType>::value, non_const_iterator, const_iterator> other_iterator;
31 // NOTE: in C++03 we cannot declare friend classes through typedefs because we need to write friend class:
32 friend class indexed_based_stl_iterator_base<typename traits::const_iterator>;
33 friend class indexed_based_stl_iterator_base<typename traits::non_const_iterator>;
34
35 public:
36 typedef Index difference_type;
37 typedef std::random_access_iterator_tag iterator_category;
38
39 indexed_based_stl_iterator_base() EIGEN_NO_THROW : mp_xpr(0), m_index(0) {}
40 indexed_based_stl_iterator_base(XprType& xpr, Index index) EIGEN_NO_THROW : mp_xpr(&xpr), m_index(index) {}
41
42 indexed_based_stl_iterator_base(const non_const_iterator& other) EIGEN_NO_THROW : mp_xpr(other.mp_xpr),
43 m_index(other.m_index) {}
44
45 indexed_based_stl_iterator_base& operator=(const non_const_iterator& other) {
46 mp_xpr = other.mp_xpr;
47 m_index = other.m_index;
48 return *this;
49 }
50
51 Derived& operator++() {
52 ++m_index;
53 return derived();
54 }
55 Derived& operator--() {
56 --m_index;
57 return derived();
58 }
59
60 Derived operator++(int) {
61 Derived prev(derived());
62 operator++();
63 return prev;
64 }
65 Derived operator--(int) {
66 Derived prev(derived());
67 operator--();
68 return prev;
69 }
70
71 friend Derived operator+(const indexed_based_stl_iterator_base& a, Index b) {
72 Derived ret(a.derived());
73 ret += b;
74 return ret;
75 }
76 friend Derived operator-(const indexed_based_stl_iterator_base& a, Index b) {
77 Derived ret(a.derived());
78 ret -= b;
79 return ret;
80 }
81 friend Derived operator+(Index a, const indexed_based_stl_iterator_base& b) {
82 Derived ret(b.derived());
83 ret += a;
84 return ret;
85 }
86 friend Derived operator-(Index a, const indexed_based_stl_iterator_base& b) {
87 Derived ret(b.derived());
88 ret -= a;
89 return ret;
90 }
91
92 Derived& operator+=(Index b) {
93 m_index += b;
94 return derived();
95 }
96 Derived& operator-=(Index b) {
97 m_index -= b;
98 return derived();
99 }
100
101 difference_type operator-(const indexed_based_stl_iterator_base& other) const {
102 eigen_assert(mp_xpr == other.mp_xpr);
103 return m_index - other.m_index;
104 }
105
106 difference_type operator-(const other_iterator& other) const {
107 eigen_assert(mp_xpr == other.mp_xpr);
108 return m_index - other.m_index;
109 }
110
111 bool operator==(const indexed_based_stl_iterator_base& other) const {
112 eigen_assert(mp_xpr == other.mp_xpr);
113 return m_index == other.m_index;
114 }
115 bool operator!=(const indexed_based_stl_iterator_base& other) const {
116 eigen_assert(mp_xpr == other.mp_xpr);
117 return m_index != other.m_index;
118 }
119 bool operator<(const indexed_based_stl_iterator_base& other) const {
120 eigen_assert(mp_xpr == other.mp_xpr);
121 return m_index < other.m_index;
122 }
123 bool operator<=(const indexed_based_stl_iterator_base& other) const {
124 eigen_assert(mp_xpr == other.mp_xpr);
125 return m_index <= other.m_index;
126 }
127 bool operator>(const indexed_based_stl_iterator_base& other) const {
128 eigen_assert(mp_xpr == other.mp_xpr);
129 return m_index > other.m_index;
130 }
131 bool operator>=(const indexed_based_stl_iterator_base& other) const {
132 eigen_assert(mp_xpr == other.mp_xpr);
133 return m_index >= other.m_index;
134 }
135
136 bool operator==(const other_iterator& other) const {
137 eigen_assert(mp_xpr == other.mp_xpr);
138 return m_index == other.m_index;
139 }
140 bool operator!=(const other_iterator& other) const {
141 eigen_assert(mp_xpr == other.mp_xpr);
142 return m_index != other.m_index;
143 }
144 bool operator<(const other_iterator& other) const {
145 eigen_assert(mp_xpr == other.mp_xpr);
146 return m_index < other.m_index;
147 }
148 bool operator<=(const other_iterator& other) const {
149 eigen_assert(mp_xpr == other.mp_xpr);
150 return m_index <= other.m_index;
151 }
152 bool operator>(const other_iterator& other) const {
153 eigen_assert(mp_xpr == other.mp_xpr);
154 return m_index > other.m_index;
155 }
156 bool operator>=(const other_iterator& other) const {
157 eigen_assert(mp_xpr == other.mp_xpr);
158 return m_index >= other.m_index;
159 }
160
161 protected:
162 Derived& derived() { return static_cast<Derived&>(*this); }
163 const Derived& derived() const { return static_cast<const Derived&>(*this); }
164
165 XprType* mp_xpr;
166 Index m_index;
167};
168
169template <typename Derived>
170class indexed_based_stl_reverse_iterator_base {
171 protected:
172 typedef indexed_based_stl_iterator_traits<Derived> traits;
173 typedef typename traits::XprType XprType;
174 typedef indexed_based_stl_reverse_iterator_base<typename traits::non_const_iterator> non_const_iterator;
175 typedef indexed_based_stl_reverse_iterator_base<typename traits::const_iterator> const_iterator;
176 typedef std::conditional_t<internal::is_const<XprType>::value, non_const_iterator, const_iterator> other_iterator;
177 // NOTE: in C++03 we cannot declare friend classes through typedefs because we need to write friend class:
178 friend class indexed_based_stl_reverse_iterator_base<typename traits::const_iterator>;
179 friend class indexed_based_stl_reverse_iterator_base<typename traits::non_const_iterator>;
180
181 public:
182 typedef Index difference_type;
183 typedef std::random_access_iterator_tag iterator_category;
184
185 indexed_based_stl_reverse_iterator_base() : mp_xpr(0), m_index(0) {}
186 indexed_based_stl_reverse_iterator_base(XprType& xpr, Index index) : mp_xpr(&xpr), m_index(index) {}
187
188 indexed_based_stl_reverse_iterator_base(const non_const_iterator& other)
189 : mp_xpr(other.mp_xpr), m_index(other.m_index) {}
190
191 indexed_based_stl_reverse_iterator_base& operator=(const non_const_iterator& other) {
192 mp_xpr = other.mp_xpr;
193 m_index = other.m_index;
194 return *this;
195 }
196
197 Derived& operator++() {
198 --m_index;
199 return derived();
200 }
201 Derived& operator--() {
202 ++m_index;
203 return derived();
204 }
205
206 Derived operator++(int) {
207 Derived prev(derived());
208 operator++();
209 return prev;
210 }
211 Derived operator--(int) {
212 Derived prev(derived());
213 operator--();
214 return prev;
215 }
216
217 friend Derived operator+(const indexed_based_stl_reverse_iterator_base& a, Index b) {
218 Derived ret(a.derived());
219 ret += b;
220 return ret;
221 }
222 friend Derived operator-(const indexed_based_stl_reverse_iterator_base& a, Index b) {
223 Derived ret(a.derived());
224 ret -= b;
225 return ret;
226 }
227 friend Derived operator+(Index a, const indexed_based_stl_reverse_iterator_base& b) {
228 Derived ret(b.derived());
229 ret += a;
230 return ret;
231 }
232 friend Derived operator-(Index a, const indexed_based_stl_reverse_iterator_base& b) {
233 Derived ret(b.derived());
234 ret -= a;
235 return ret;
236 }
237
238 Derived& operator+=(Index b) {
239 m_index -= b;
240 return derived();
241 }
242 Derived& operator-=(Index b) {
243 m_index += b;
244 return derived();
245 }
246
247 difference_type operator-(const indexed_based_stl_reverse_iterator_base& other) const {
248 eigen_assert(mp_xpr == other.mp_xpr);
249 return other.m_index - m_index;
250 }
251
252 difference_type operator-(const other_iterator& other) const {
253 eigen_assert(mp_xpr == other.mp_xpr);
254 return other.m_index - m_index;
255 }
256
257 bool operator==(const indexed_based_stl_reverse_iterator_base& other) const {
258 eigen_assert(mp_xpr == other.mp_xpr);
259 return m_index == other.m_index;
260 }
261 bool operator!=(const indexed_based_stl_reverse_iterator_base& other) const {
262 eigen_assert(mp_xpr == other.mp_xpr);
263 return m_index != other.m_index;
264 }
265 bool operator<(const indexed_based_stl_reverse_iterator_base& other) const {
266 eigen_assert(mp_xpr == other.mp_xpr);
267 return m_index > other.m_index;
268 }
269 bool operator<=(const indexed_based_stl_reverse_iterator_base& other) const {
270 eigen_assert(mp_xpr == other.mp_xpr);
271 return m_index >= other.m_index;
272 }
273 bool operator>(const indexed_based_stl_reverse_iterator_base& other) const {
274 eigen_assert(mp_xpr == other.mp_xpr);
275 return m_index < other.m_index;
276 }
277 bool operator>=(const indexed_based_stl_reverse_iterator_base& other) const {
278 eigen_assert(mp_xpr == other.mp_xpr);
279 return m_index <= other.m_index;
280 }
281
282 bool operator==(const other_iterator& other) const {
283 eigen_assert(mp_xpr == other.mp_xpr);
284 return m_index == other.m_index;
285 }
286 bool operator!=(const other_iterator& other) const {
287 eigen_assert(mp_xpr == other.mp_xpr);
288 return m_index != other.m_index;
289 }
290 bool operator<(const other_iterator& other) const {
291 eigen_assert(mp_xpr == other.mp_xpr);
292 return m_index > other.m_index;
293 }
294 bool operator<=(const other_iterator& other) const {
295 eigen_assert(mp_xpr == other.mp_xpr);
296 return m_index >= other.m_index;
297 }
298 bool operator>(const other_iterator& other) const {
299 eigen_assert(mp_xpr == other.mp_xpr);
300 return m_index < other.m_index;
301 }
302 bool operator>=(const other_iterator& other) const {
303 eigen_assert(mp_xpr == other.mp_xpr);
304 return m_index <= other.m_index;
305 }
306
307 protected:
308 Derived& derived() { return static_cast<Derived&>(*this); }
309 const Derived& derived() const { return static_cast<const Derived&>(*this); }
310
311 XprType* mp_xpr;
312 Index m_index;
313};
314
315template <typename XprType>
316class pointer_based_stl_iterator {
317 enum { is_lvalue = internal::is_lvalue<XprType>::value };
318 typedef pointer_based_stl_iterator<std::remove_const_t<XprType>> non_const_iterator;
319 typedef pointer_based_stl_iterator<std::add_const_t<XprType>> const_iterator;
320 typedef std::conditional_t<internal::is_const<XprType>::value, non_const_iterator, const_iterator> other_iterator;
321 // NOTE: in C++03 we cannot declare friend classes through typedefs because we need to write friend class:
322 friend class pointer_based_stl_iterator<std::add_const_t<XprType>>;
323 friend class pointer_based_stl_iterator<std::remove_const_t<XprType>>;
324
325 public:
326 typedef Index difference_type;
327 typedef typename XprType::Scalar value_type;
328 typedef std::random_access_iterator_tag iterator_category;
329 typedef std::conditional_t<bool(is_lvalue), value_type*, const value_type*> pointer;
330 typedef std::conditional_t<bool(is_lvalue), value_type&, const value_type&> reference;
331
332 pointer_based_stl_iterator() EIGEN_NO_THROW : m_ptr(0) {}
333 pointer_based_stl_iterator(XprType& xpr, Index index) EIGEN_NO_THROW : m_incr(xpr.innerStride()) {
334 m_ptr = xpr.data() + index * m_incr.value();
335 }
336
337 pointer_based_stl_iterator(const non_const_iterator& other) EIGEN_NO_THROW : m_ptr(other.m_ptr),
338 m_incr(other.m_incr) {}
339
340 pointer_based_stl_iterator& operator=(const non_const_iterator& other) EIGEN_NO_THROW {
341 m_ptr = other.m_ptr;
342 m_incr.setValue(other.m_incr);
343 return *this;
344 }
345
346 reference operator*() const { return *m_ptr; }
347 reference operator[](Index i) const { return *(m_ptr + i * m_incr.value()); }
348 pointer operator->() const { return m_ptr; }
349
350 pointer_based_stl_iterator& operator++() {
351 m_ptr += m_incr.value();
352 return *this;
353 }
354 pointer_based_stl_iterator& operator--() {
355 m_ptr -= m_incr.value();
356 return *this;
357 }
358
359 pointer_based_stl_iterator operator++(int) {
360 pointer_based_stl_iterator prev(*this);
361 operator++();
362 return prev;
363 }
364 pointer_based_stl_iterator operator--(int) {
365 pointer_based_stl_iterator prev(*this);
366 operator--();
367 return prev;
368 }
369
370 friend pointer_based_stl_iterator operator+(const pointer_based_stl_iterator& a, Index b) {
371 pointer_based_stl_iterator ret(a);
372 ret += b;
373 return ret;
374 }
375 friend pointer_based_stl_iterator operator-(const pointer_based_stl_iterator& a, Index b) {
376 pointer_based_stl_iterator ret(a);
377 ret -= b;
378 return ret;
379 }
380 friend pointer_based_stl_iterator operator+(Index a, const pointer_based_stl_iterator& b) {
381 pointer_based_stl_iterator ret(b);
382 ret += a;
383 return ret;
384 }
385 friend pointer_based_stl_iterator operator-(Index a, const pointer_based_stl_iterator& b) {
386 pointer_based_stl_iterator ret(b);
387 ret -= a;
388 return ret;
389 }
390
391 pointer_based_stl_iterator& operator+=(Index b) {
392 m_ptr += b * m_incr.value();
393 return *this;
394 }
395 pointer_based_stl_iterator& operator-=(Index b) {
396 m_ptr -= b * m_incr.value();
397 return *this;
398 }
399
400 difference_type operator-(const pointer_based_stl_iterator& other) const {
401 return (m_ptr - other.m_ptr) / m_incr.value();
402 }
403
404 difference_type operator-(const other_iterator& other) const { return (m_ptr - other.m_ptr) / m_incr.value(); }
405
406 bool operator==(const pointer_based_stl_iterator& other) const { return m_ptr == other.m_ptr; }
407 bool operator!=(const pointer_based_stl_iterator& other) const { return m_ptr != other.m_ptr; }
408 bool operator<(const pointer_based_stl_iterator& other) const { return m_ptr < other.m_ptr; }
409 bool operator<=(const pointer_based_stl_iterator& other) const { return m_ptr <= other.m_ptr; }
410 bool operator>(const pointer_based_stl_iterator& other) const { return m_ptr > other.m_ptr; }
411 bool operator>=(const pointer_based_stl_iterator& other) const { return m_ptr >= other.m_ptr; }
412
413 bool operator==(const other_iterator& other) const { return m_ptr == other.m_ptr; }
414 bool operator!=(const other_iterator& other) const { return m_ptr != other.m_ptr; }
415 bool operator<(const other_iterator& other) const { return m_ptr < other.m_ptr; }
416 bool operator<=(const other_iterator& other) const { return m_ptr <= other.m_ptr; }
417 bool operator>(const other_iterator& other) const { return m_ptr > other.m_ptr; }
418 bool operator>=(const other_iterator& other) const { return m_ptr >= other.m_ptr; }
419
420 protected:
421 pointer m_ptr;
422 internal::variable_if_dynamic<Index, XprType::InnerStrideAtCompileTime> m_incr;
423};
424
425template <typename XprType_>
426struct indexed_based_stl_iterator_traits<generic_randaccess_stl_iterator<XprType_>> {
427 typedef XprType_ XprType;
428 typedef generic_randaccess_stl_iterator<std::remove_const_t<XprType>> non_const_iterator;
429 typedef generic_randaccess_stl_iterator<std::add_const_t<XprType>> const_iterator;
430};
431
432template <typename XprType>
433class generic_randaccess_stl_iterator
434 : public indexed_based_stl_iterator_base<generic_randaccess_stl_iterator<XprType>> {
435 public:
436 typedef typename XprType::Scalar value_type;
437
438 protected:
439 enum {
440 has_direct_access = (internal::traits<XprType>::Flags & DirectAccessBit) ? 1 : 0,
441 is_lvalue = internal::is_lvalue<XprType>::value
442 };
443
444 typedef indexed_based_stl_iterator_base<generic_randaccess_stl_iterator> Base;
445 using Base::m_index;
446 using Base::mp_xpr;
447
448 // TODO currently const Transpose/Reshape expressions never returns const references,
449 // so lets return by value too.
450 // typedef std::conditional_t<bool(has_direct_access), const value_type&, const value_type> read_only_ref_t;
451 typedef const value_type read_only_ref_t;
452
453 public:
454 typedef std::conditional_t<bool(is_lvalue), value_type*, const value_type*> pointer;
455 typedef std::conditional_t<bool(is_lvalue), value_type&, read_only_ref_t> reference;
456
457 generic_randaccess_stl_iterator() : Base() {}
458 generic_randaccess_stl_iterator(XprType& xpr, Index index) : Base(xpr, index) {}
459 generic_randaccess_stl_iterator(const typename Base::non_const_iterator& other) : Base(other) {}
460 using Base::operator=;
461
462 reference operator*() const { return (*mp_xpr)(m_index); }
463 reference operator[](Index i) const { return (*mp_xpr)(m_index + i); }
464 pointer operator->() const { return &((*mp_xpr)(m_index)); }
465};
466
467template <typename XprType_, DirectionType Direction>
468struct indexed_based_stl_iterator_traits<subvector_stl_iterator<XprType_, Direction>> {
469 typedef XprType_ XprType;
470 typedef subvector_stl_iterator<std::remove_const_t<XprType>, Direction> non_const_iterator;
471 typedef subvector_stl_iterator<std::add_const_t<XprType>, Direction> const_iterator;
472};
473
474template <typename XprType, DirectionType Direction>
475class subvector_stl_iterator : public indexed_based_stl_iterator_base<subvector_stl_iterator<XprType, Direction>> {
476 protected:
477 enum { is_lvalue = internal::is_lvalue<XprType>::value };
478
479 typedef indexed_based_stl_iterator_base<subvector_stl_iterator> Base;
480 using Base::m_index;
481 using Base::mp_xpr;
482
483 typedef std::conditional_t<Direction == Vertical, typename XprType::ColXpr, typename XprType::RowXpr> SubVectorType;
484 typedef std::conditional_t<Direction == Vertical, typename XprType::ConstColXpr, typename XprType::ConstRowXpr>
485 ConstSubVectorType;
486
487 public:
488 typedef std::conditional_t<bool(is_lvalue), SubVectorType, ConstSubVectorType> reference;
489 typedef typename reference::PlainObject value_type;
490
491 private:
492 class subvector_stl_iterator_ptr {
493 public:
494 subvector_stl_iterator_ptr(const reference& subvector) : m_subvector(subvector) {}
495 reference* operator->() { return &m_subvector; }
496
497 private:
498 reference m_subvector;
499 };
500
501 public:
502 typedef subvector_stl_iterator_ptr pointer;
503
504 subvector_stl_iterator() : Base() {}
505 subvector_stl_iterator(XprType& xpr, Index index) : Base(xpr, index) {}
506
507 reference operator*() const { return (*mp_xpr).template subVector<Direction>(m_index); }
508 reference operator[](Index i) const { return (*mp_xpr).template subVector<Direction>(m_index + i); }
509 pointer operator->() const { return (*mp_xpr).template subVector<Direction>(m_index); }
510};
511
512template <typename XprType_, DirectionType Direction>
513struct indexed_based_stl_iterator_traits<subvector_stl_reverse_iterator<XprType_, Direction>> {
514 typedef XprType_ XprType;
515 typedef subvector_stl_reverse_iterator<std::remove_const_t<XprType>, Direction> non_const_iterator;
516 typedef subvector_stl_reverse_iterator<std::add_const_t<XprType>, Direction> const_iterator;
517};
518
519template <typename XprType, DirectionType Direction>
520class subvector_stl_reverse_iterator
521 : public indexed_based_stl_reverse_iterator_base<subvector_stl_reverse_iterator<XprType, Direction>> {
522 protected:
523 enum { is_lvalue = internal::is_lvalue<XprType>::value };
524
525 typedef indexed_based_stl_reverse_iterator_base<subvector_stl_reverse_iterator> Base;
526 using Base::m_index;
527 using Base::mp_xpr;
528
529 typedef std::conditional_t<Direction == Vertical, typename XprType::ColXpr, typename XprType::RowXpr> SubVectorType;
530 typedef std::conditional_t<Direction == Vertical, typename XprType::ConstColXpr, typename XprType::ConstRowXpr>
531 ConstSubVectorType;
532
533 public:
534 typedef std::conditional_t<bool(is_lvalue), SubVectorType, ConstSubVectorType> reference;
535 typedef typename reference::PlainObject value_type;
536
537 private:
538 class subvector_stl_reverse_iterator_ptr {
539 public:
540 subvector_stl_reverse_iterator_ptr(const reference& subvector) : m_subvector(subvector) {}
541 reference* operator->() { return &m_subvector; }
542
543 private:
544 reference m_subvector;
545 };
546
547 public:
548 typedef subvector_stl_reverse_iterator_ptr pointer;
549
550 subvector_stl_reverse_iterator() : Base() {}
551 subvector_stl_reverse_iterator(XprType& xpr, Index index) : Base(xpr, index) {}
552
553 reference operator*() const { return (*mp_xpr).template subVector<Direction>(m_index); }
554 reference operator[](Index i) const { return (*mp_xpr).template subVector<Direction>(m_index + i); }
555 pointer operator->() const { return (*mp_xpr).template subVector<Direction>(m_index); }
556};
557
558} // namespace internal
559
564template <typename Derived>
566 EIGEN_STATIC_ASSERT_VECTOR_ONLY(Derived);
567 return iterator(derived(), 0);
568}
569
571template <typename Derived>
573 return cbegin();
574}
575
580template <typename Derived>
582 EIGEN_STATIC_ASSERT_VECTOR_ONLY(Derived);
583 return const_iterator(derived(), 0);
584}
585
590template <typename Derived>
592 EIGEN_STATIC_ASSERT_VECTOR_ONLY(Derived);
593 return iterator(derived(), size());
597template <typename Derived>
599 return cend();
600}
601
606template <typename Derived>
608 EIGEN_STATIC_ASSERT_VECTOR_ONLY(Derived);
609 return const_iterator(derived(), size());
610}
611
612} // namespace Eigen
613
614#endif // EIGEN_STLITERATORS_H
random_access_iterator_type const_iterator
Definition DenseBase.h:572
iterator begin()
Definition StlIterators.h:565
iterator end()
Definition StlIterators.h:591
const_iterator cbegin() const
Definition StlIterators.h:581
const_iterator cend() const
Definition StlIterators.h:607
random_access_iterator_type iterator
Definition DenseBase.h:570
const unsigned int DirectAccessBit
Definition Constants.h:159
Namespace containing all symbols from the Eigen library.
Definition Core:137