1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
|
/*
* This program is free software; you can redistribute it and/or
* modify it under the terms of the GNU General Public License
* as published by the Free Software Foundation; either version 2
* of the License, or (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program; if not, write to the Free Software Foundation,
* Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
*/
#ifndef __BLI_INDEX_RANGE_HH__
#define __BLI_INDEX_RANGE_HH__
/** \file
* \ingroup bli
*
* A `blender::IndexRange` wraps an interval of non-negative integers. It can be used to reference
* consecutive elements in an array. Furthermore, it can make for loops more convenient and less
* error prone, especially when using nested loops.
*
* I'd argue that the second loop is more readable and less error prone than the first one. That is
* not necessarily always the case, but often it is.
*
* for (uint i = 0; i < 10; i++) {
* for (uint j = 0; j < 20; j++) {
* for (uint k = 0; k < 30; k++) {
*
* for (uint i : IndexRange(10)) {
* for (uint j : IndexRange(20)) {
* for (uint k : IndexRange(30)) {
*
* Some containers like blender::Vector have an index_range() method. This will return the
* IndexRange that contains all indices that can be used to access the container. This is
* particularly useful when you want to iterate over the indices and the elements (much like
* Python's enumerate(), just worse). Again, I think the second example here is better:
*
* for (uint i = 0; i < my_vector_with_a_long_name.size(); i++) {
* do_something(i, my_vector_with_a_long_name[i]);
*
* for (uint i : my_vector_with_a_long_name.index_range()) {
* do_something(i, my_vector_with_a_long_name[i]);
*
* Ideally this could be could be even closer to Python's enumerate(). We might get that in the
* future with newer C++ versions.
*
* One other important feature is the as_array_ref method. This method returns an ArrayRef<uint>
* that contains the interval as individual numbers.
*/
#include <algorithm>
#include <cmath>
#include <iostream>
#include "BLI_utildefines.h"
/* Forward declare tbb::blocked_range for conversion operations. */
namespace tbb {
template<typename Value> class blocked_range;
}
namespace blender {
template<typename T> class ArrayRef;
class IndexRange {
private:
uint m_start = 0;
uint m_size = 0;
public:
IndexRange() = default;
explicit IndexRange(uint size) : m_start(0), m_size(size)
{
}
IndexRange(uint start, uint size) : m_start(start), m_size(size)
{
}
template<typename T>
IndexRange(const tbb::blocked_range<T> &range) : m_start(range.begin()), m_size(range.size())
{
}
class Iterator {
private:
uint m_current;
public:
Iterator(uint current) : m_current(current)
{
}
Iterator &operator++()
{
m_current++;
return *this;
}
bool operator!=(const Iterator &iterator) const
{
return m_current != iterator.m_current;
}
uint operator*() const
{
return m_current;
}
};
Iterator begin() const
{
return Iterator(m_start);
}
Iterator end() const
{
return Iterator(m_start + m_size);
}
/**
* Access an element in the range.
*/
uint operator[](uint index) const
{
BLI_assert(index < this->size());
return m_start + index;
}
/**
* Two ranges compare equal when they contain the same numbers.
*/
friend bool operator==(IndexRange a, IndexRange b)
{
return (a.m_size == b.m_size) && (a.m_start == b.m_start || a.m_size == 0);
}
/**
* Get the amount of numbers in the range.
*/
uint size() const
{
return m_size;
}
/**
* Create a new range starting at the end of the current one.
*/
IndexRange after(uint n) const
{
return IndexRange(m_start + m_size, n);
}
/**
* Create a new range that ends at the start of the current one.
*/
IndexRange before(uint n) const
{
return IndexRange(m_start - n, n);
}
/**
* Get the first element in the range.
* Asserts when the range is empty.
*/
uint first() const
{
BLI_assert(this->size() > 0);
return m_start;
}
/**
* Get the last element in the range.
* Asserts when the range is empty.
*/
uint last() const
{
BLI_assert(this->size() > 0);
return m_start + m_size - 1;
}
/**
* Get the element one after the end. The returned value is undefined when the range is empty.
*/
uint one_after_last() const
{
return m_start + m_size;
}
/**
* Get the first element in the range. The returned value is undefined when the range is empty.
*/
uint start() const
{
return m_start;
}
/**
* Returns true when the range contains a certain number, otherwise false.
*/
bool contains(uint value) const
{
return value >= m_start && value < m_start + m_size;
}
/**
* Returns a new range, that contains a subinterval of the current one.
*/
IndexRange slice(uint start, uint size) const
{
uint new_start = m_start + start;
BLI_assert(new_start + size <= m_start + m_size || size == 0);
return IndexRange(new_start, size);
}
IndexRange slice(IndexRange range) const
{
return this->slice(range.start(), range.size());
}
/**
* Get read-only access to a memory buffer that contains the range as actual numbers.
*/
ArrayRef<uint> as_array_ref() const;
friend std::ostream &operator<<(std::ostream &stream, IndexRange range)
{
stream << "[" << range.start() << ", " << range.one_after_last() << ")";
return stream;
}
};
} // namespace blender
#endif /* __BLI_INDEX_RANGE_HH__ */
|