libpqxx
The C++ client library for PostgreSQL
result_iterator.hxx
Go to the documentation of this file.
1 /* Definitions for the pqxx::result class and support classes.
2  *
3  * pqxx::result represents the set of result rows from a database query.
4  *
5  * DO NOT INCLUDE THIS FILE DIRECTLY; include pqxx/result instead.
6  *
7  * Copyright (c) 2000-2025, Jeroen T. Vermeulen.
8  *
9  * See COPYING for copyright license. If you did not receive a file called
10  * COPYING with this source code, please notify the distributor of this
11  * mistake, or contact the author.
12  */
13 #ifndef PQXX_H_RESULT_ITERATOR
14 #define PQXX_H_RESULT_ITERATOR
15 
16 #include "pqxx/row.hxx"
17 
18 
19 /* Result iterator.
20  *
21  * Don't include this header from your own application; it is included for you
22  * by other libpqxx headers.
23  */
24 
25 namespace pqxx
26 {
28 
33 {
34 public:
35  // TODO: Change operator[] so this becomes a proper random_access_iterator.
36  using iterator_category = std::bidirectional_iterator_tag;
37  using value_type = row const;
38  using pointer = row const *;
39  using reference = row;
42 
45  const_result_iterator() noexcept = default;
47  const_result_iterator(const_result_iterator const &) noexcept = default;
49  const_result_iterator(const_result_iterator &&) noexcept = default;
50 
52  const_result_iterator(row const &t) noexcept : row{t} {}
54 
69  [[nodiscard]] pointer operator->() const { return this; }
71 
74  [[nodiscard]] reference operator*() const { return *this; }
77 
82  using row::back;
83  using row::front;
84  // TODO: Replace with standard operator[]: i[n] == *(i + n).
85  using row::operator[];
86  using row::at;
87  using row::rownumber;
89 
95  {
97  row::operator=(rhs);
99  return *this;
100  }
101 
103  {
105  row::operator=(std::move(rhs));
107  return *this;
108  }
109 
110  const_result_iterator operator++(int) &;
112  {
113  ++m_index;
114  return *this;
115  }
116  const_result_iterator operator--(int) &;
118  {
119  --m_index;
120  return *this;
121  }
122 
124  {
125  m_index += i;
126  return *this;
127  }
129  {
130  m_index -= i;
131  return *this;
132  }
133 
135  void swap(const_result_iterator &other) noexcept
136  {
138  row::swap(other);
140  }
142 
147  [[nodiscard]] bool operator==(const_result_iterator const &i) const
148  {
149  return m_index == i.m_index;
150  }
151  [[nodiscard]] bool operator!=(const_result_iterator const &i) const
152  {
153  return m_index != i.m_index;
154  }
155  [[nodiscard]] bool operator<(const_result_iterator const &i) const
156  {
157  return m_index < i.m_index;
158  }
159  [[nodiscard]] bool operator<=(const_result_iterator const &i) const
160  {
161  return m_index <= i.m_index;
162  }
163  [[nodiscard]] bool operator>(const_result_iterator const &i) const
164  {
165  return m_index > i.m_index;
166  }
167  [[nodiscard]] bool operator>=(const_result_iterator const &i) const
168  {
169  return m_index >= i.m_index;
170  }
172 
177  [[nodiscard]] inline const_result_iterator operator+(difference_type) const;
178  friend const_result_iterator
179  operator+(difference_type, const_result_iterator const &);
180  [[nodiscard]] inline const_result_iterator operator-(difference_type) const;
181  [[nodiscard]] inline difference_type
182  operator-(const_result_iterator const &) const;
184 
185 private:
186  friend class pqxx::result;
187  const_result_iterator(pqxx::result const *r, result_size_type i) noexcept :
188  row{*r, i, r->columns()}
189  {}
190 };
191 
192 
195  : private const_result_iterator
196 {
197 public:
205 
207  const_reverse_result_iterator() = default;
210  default;
214  {
215  super::operator--();
216  }
217 
220  const_result_iterator{std::move(rhs)}
221  {
222  super::operator--();
223  }
224 
226  [[nodiscard]] PQXX_PURE const_result_iterator base() const noexcept;
227 
232  using const_result_iterator::operator->;
235  using const_result_iterator::operator*;
237 
242  using const_result_iterator::back;
243  using const_result_iterator::front;
244  // TODO: Replace with standard operator[]: i[n] == *(i + n).
245  using const_result_iterator::operator[];
246  using const_result_iterator::at;
247  using const_result_iterator::rownumber;
249 
254  const_reverse_result_iterator &
255  operator=(const_reverse_result_iterator const &r)
256  {
257  iterator_type::operator=(r);
258  return *this;
259  }
261  {
262  iterator_type::operator=(std::move(r));
263  return *this;
264  }
266  {
267  iterator_type::operator--();
268  return *this;
269  }
270  const_reverse_result_iterator operator++(int) &;
272  {
273  iterator_type::operator++();
274  return *this;
275  }
276  const_reverse_result_iterator operator--(int) &;
278  {
279  iterator_type::operator-=(i);
280  return *this;
281  }
283  {
284  iterator_type::operator+=(i);
285  return *this;
286  }
287 
288  void swap(const_reverse_result_iterator &other) noexcept
289  {
291  }
293 
298  [[nodiscard]] const_reverse_result_iterator
300  {
301  return const_reverse_result_iterator(base() - i);
302  }
304  {
305  return const_reverse_result_iterator(base() + i);
306  }
307  [[nodiscard]] difference_type
309  {
310  return rhs.const_result_iterator::operator-(*this);
311  }
313 
318  [[nodiscard]] bool
319  operator==(const_reverse_result_iterator const &rhs) const noexcept
320  {
321  return iterator_type::operator==(rhs);
322  }
323  [[nodiscard]] bool
324  operator!=(const_reverse_result_iterator const &rhs) const noexcept
325  {
326  return not operator==(rhs);
327  }
328 
329  [[nodiscard]] bool operator<(const_reverse_result_iterator const &rhs) const
330  {
331  return iterator_type::operator>(rhs);
332  }
333  [[nodiscard]] bool operator<=(const_reverse_result_iterator const &rhs) const
334  {
335  return iterator_type::operator>=(rhs);
336  }
337  [[nodiscard]] bool operator>(const_reverse_result_iterator const &rhs) const
338  {
339  return iterator_type::operator<(rhs);
340  }
341  [[nodiscard]] bool operator>=(const_reverse_result_iterator const &rhs) const
342  {
343  return iterator_type::operator<=(rhs);
344  }
346 };
347 
348 
349 inline const_result_iterator
351 {
353 }
354 
357 {
358  return i + o;
359 }
360 
361 inline const_result_iterator
363 {
365 }
366 
369 {
370  return result::difference_type(num() - i.num());
371 }
372 
373 inline const_result_iterator result::end() const noexcept
374 {
375  return {this, size()};
376 }
377 
378 
379 inline const_result_iterator result::cend() const noexcept
380 {
381  return end();
382 }
383 
384 
387 {
388  return const_reverse_result_iterator{i.base() - n};
389 }
390 
391 } // namespace pqxx
392 #endif
bool operator!=(const_reverse_result_iterator const &rhs) const noexcept
Definition: result_iterator.hxx:324
difference_type operator-(const_reverse_result_iterator const &rhs) const
Definition: result_iterator.hxx:308
bool operator>=(const_result_iterator const &i) const
Definition: result_iterator.hxx:167
#define PQXX_PURE
Declare function "pure": no side effects, only reads globals and its args.
Definition: header-pre.hxx:77
PQXX_PURE size_type size() const noexcept
Definition: result.cxx:114
const_reverse_result_iterator & operator--()
Definition: result_iterator.hxx:271
const_result_iterator operator+(result::difference_type o, const_result_iterator const &i)
Definition: result_iterator.hxx:356
const_reverse_result_iterator operator-(difference_type i)
Definition: result_iterator.hxx:303
const_result_iterator operator-(difference_type) const
Definition: result_iterator.hxx:362
bool operator==(stream_query_end_iterator, stream_query_input_iterator< TYPE... > const &i)
Definition: stream_query_impl.hxx:135
constexpr result::size_type num() const noexcept
Definition: row.hxx:159
Reference to one row in a result.
Definition: row.hxx:46
bool operator==(const_reverse_result_iterator const &rhs) const noexcept
Definition: result_iterator.hxx:319
bool operator>=(const_reverse_result_iterator const &rhs) const
Definition: result_iterator.hxx:341
void swap(const_reverse_result_iterator &other) noexcept
Definition: result_iterator.hxx:288
constexpr result::size_type rownumber() const noexcept
Row number, assuming this is a real row and not end()/rend().
Definition: row.hxx:112
const_result_iterator & operator-=(difference_type i)
Definition: result_iterator.hxx:128
const_reverse_result_iterator & operator=(const_reverse_result_iterator &&r)
Definition: result_iterator.hxx:260
Result set containing data returned by a query or command.
Definition: result.hxx:91
result_size_type size_type
Definition: result_iterator.hxx:40
int result_size_type
Number of rows in a result set.
Definition: types.hxx:40
const_reverse_result_iterator & operator++()
Definition: result_iterator.hxx:265
const_result_iterator & operator=(const_result_iterator const &rhs)
Definition: result_iterator.hxx:94
const_iterator end() const noexcept
Definition: result_iterator.hxx:373
result_difference_type difference_type
Definition: result_iterator.hxx:41
reference operator*() const
Dereference the iterator.
Definition: result_iterator.hxx:74
reference at(size_type) const
Definition: row.cxx:142
int result_difference_type
Difference between result sizes.
Definition: types.hxx:43
const_reverse_result_iterator(const_result_iterator const &&rhs)
Move a regular iterator into a reverse iterator.
Definition: result_iterator.hxx:219
const_result_iterator operator+(difference_type) const
Definition: result_iterator.hxx:350
void swap(row &) noexcept
Definition: row.cxx:121
#define PQXX_LIBEXPORT
Definition: header-pre.hxx:157
bool operator<=(const_result_iterator const &i) const
Definition: result_iterator.hxx:159
bool operator<(const_reverse_result_iterator const &rhs) const
Definition: result_iterator.hxx:329
result m_result
Result set of which this is one row.
Definition: row.hxx:253
row & operator=(row const &) noexcept=default
The home of all libpqxx classes, functions, templates, etc.
Definition: array.cxx:26
std::bidirectional_iterator_tag iterator_category
Definition: result_iterator.hxx:36
result_difference_type difference_type
Definition: result.hxx:95
PQXX_PURE const_result_iterator base() const noexcept
Return the underlying "regular" iterator (as per standard library).
Definition: result.cxx:609
const_result_iterator & operator++()
Definition: result_iterator.hxx:111
bool operator<(const_result_iterator const &i) const
Definition: result_iterator.hxx:155
reference back() const noexcept
Definition: row.cxx:65
const_reverse_result_iterator(const_result_iterator const &rhs)
Copy a reverse iterator from a regular iterator.
Definition: result_iterator.hxx:212
Iterator for rows in a result. Use as result::const_iterator.
Definition: result_iterator.hxx:32
const_result_iterator & operator=(const_result_iterator &&rhs)
Definition: result_iterator.hxx:102
const_reverse_result_iterator operator+(difference_type i) const
Definition: result_iterator.hxx:299
const_result_iterator & operator--()
Definition: result_iterator.hxx:117
strip_t< decltype(*std::begin(std::declval< CONTAINER >()))> value_type
The type of a container's elements.
Definition: types.hxx:108
bool operator<=(const_reverse_result_iterator const &rhs) const
Definition: result_iterator.hxx:333
const_reverse_result_iterator & operator-=(difference_type i)
Definition: result_iterator.hxx:282
const_iterator cend() const noexcept
Definition: result_iterator.hxx:379
Reverse iterator for result. Use as result::const_reverse_iterator.
Definition: result_iterator.hxx:194
reference front() const noexcept
Definition: row.cxx:59
const_result_iterator & operator+=(difference_type i)
Definition: result_iterator.hxx:123
const_reverse_result_iterator & operator+=(difference_type i)
Definition: result_iterator.hxx:277
row const value_type
Definition: result_iterator.hxx:37
bool operator>(const_reverse_result_iterator const &rhs) const
Definition: result_iterator.hxx:337
bool operator!=(const_result_iterator const &i) const
Definition: result_iterator.hxx:151
void swap(const_result_iterator &other) noexcept
Interchange two iterators in an exception-safe manner.
Definition: result_iterator.hxx:135
bool operator==(const_result_iterator const &i) const
Definition: result_iterator.hxx:147
row const * pointer
Definition: result_iterator.hxx:38
result::size_type m_index
Row number.
Definition: row.hxx:260
bool operator>(const_result_iterator const &i) const
Definition: result_iterator.hxx:163