38 #ifndef LIBPMEMOBJ_CPP_ARRAY_ITERATOR_HPP
39 #define LIBPMEMOBJ_CPP_ARRAY_ITERATOR_HPP
53 namespace experimental
60 template <
typename Iterator,
typename Reference,
typename Po
inter>
91 static_cast<Iterator *
>(
this)->
change_by(1);
92 return *
static_cast<Iterator *
>(
this);
101 Iterator tmp(*static_cast<Iterator *>(
this));
102 static_cast<Iterator *
>(
this)->
change_by(1);
112 static_cast<Iterator *
>(
this)->
change_by(-1);
113 return *
static_cast<Iterator *
>(
this);
122 Iterator tmp(*static_cast<Iterator *>(
this));
123 static_cast<Iterator *
>(
this)->
change_by(-1);
133 static_cast<Iterator *
>(
this)->
change_by(n);
134 return *
static_cast<Iterator *
>(
this);
143 static_cast<Iterator *
>(
this)->
change_by(-n);
144 return *
static_cast<Iterator *
>(
this);
153 Iterator tmp(*static_cast<Iterator *>(
this));
164 Iterator tmp(*static_cast<Iterator *>(
this));
172 friend std::ptrdiff_t
175 return lhs.ptr - rhs.ptr;
207 template <
typename T>
215 template <
typename T>
224 return lhs.get_ptr() == rhs.get_ptr();
234 return !(lhs == rhs);
241 operator<(const const_contiguous_iterator<T> &lhs,
244 return lhs.get_ptr() < rhs.get_ptr();
254 return lhs.get_ptr() > rhs.get_ptr();
261 operator<=(const const_contiguous_iterator<T> &lhs,
293 template <
typename T>
297 using iterator_category = std::random_access_iterator_tag;
298 using value_type = T;
299 using difference_type = std::ptrdiff_t;
300 using reference = T &;
310 pointer data =
nullptr,
311 std::size_t size = 0,
312 std::size_t snapshot_size = 1)
316 snapshot_size(snapshot_size)
330 detail::conditional_add_to_tx(&this->ptr[n]);
340 std::swap(lhs.ptr, rhs.ptr);
341 std::swap(lhs.data, rhs.data);
342 std::swap(lhs.size, rhs.size);
343 std::swap(lhs.snapshot_size, rhs.snapshot_size);
346 template <
typename Iterator,
typename Reference,
typename Po
inter>
351 change_by(std::ptrdiff_t n)
353 conditional_snapshot_range(this->ptr, n);
363 conditional_snapshot_range(pointer ptr, difference_type diff)
365 auto new_ptr = ptr + diff;
368 if (new_ptr < data || new_ptr >= data + size)
372 if (static_cast<std::size_t>(ptr - data) / snapshot_size ==
373 static_cast<std::size_t>(new_ptr - data) / snapshot_size)
376 snapshot_range(new_ptr);
380 snapshot_range(pointer ptr)
384 ptr -
static_cast<uint64_t
>(ptr - data) % snapshot_size;
385 auto range_size = snapshot_size;
387 if (range_begin + range_size > data + size)
388 range_size =
static_cast<uint64_t
>(data + size -
391 verify_range(range_begin, range_size);
394 detail::conditional_add_to_tx(range_begin, range_size);
399 verify_range(pointer range_begin, uint64_t range_size)
401 auto range_offset =
static_cast<uint64_t
>(range_begin - data);
403 assert(range_begin >= data);
404 assert(range_offset % snapshot_size == 0);
405 assert((range_offset + range_size) % snapshot_size == 0 ||
406 range_begin + range_size == data + size);
412 std::size_t snapshot_size;
419 template <
typename T>
423 using iterator_category = std::random_access_iterator_tag;
424 using value_type = T;
425 using difference_type = std::ptrdiff_t;
426 using reference = T &;
445 detail::conditional_add_to_tx(this->ptr);
455 detail::conditional_add_to_tx(this->ptr);
466 detail::conditional_add_to_tx(&this->ptr[n]);
476 std::swap(lhs.ptr, rhs.ptr);
483 template <
typename T>
484 struct const_contiguous_iterator
485 :
public contiguous_iterator<const_contiguous_iterator<T>, const T &,
487 public operator_base<T> {
488 using iterator_category = std::random_access_iterator_tag;
489 using value_type = T;
490 using difference_type = std::ptrdiff_t;
491 using reference =
const T &;
492 using pointer =
const T *;
493 using base_type = contiguous_iterator<const_contiguous_iterator<T>,
525 std::swap(lhs.ptr, rhs.ptr);
Non-const iterator which adds elements to a transaction in a bulk.
Definition: contiguous_iterator.hpp:294
Iterator & operator+=(std::ptrdiff_t n)
Addition assignment operator.
Definition: contiguous_iterator.hpp:131
friend bool operator>(const const_contiguous_iterator< T > &lhs, const const_contiguous_iterator< T > &rhs)
Non-member greater than operator.
Definition: contiguous_iterator.hpp:251
Default non-const iterator which adds element to a transaction on every access.
Definition: contiguous_iterator.hpp:420
friend bool operator>=(const const_contiguous_iterator< T > &lhs, const const_contiguous_iterator< T > &rhs)
Non-member greater or equal operator.
Definition: contiguous_iterator.hpp:271
reference operator*() const
Dereference operator which adds dereferenced element to a transaction.
Definition: contiguous_iterator.hpp:443
range_snapshotting_iterator(pointer ptr=nullptr, pointer data=nullptr, std::size_t size=0, std::size_t snapshot_size=1)
Constructor taking pointer to data, pointer to the beginning of the array and snapshot_size.
Definition: contiguous_iterator.hpp:309
Iterator operator--(int)
Postfix decrement operator.
Definition: contiguous_iterator.hpp:120
friend bool operator!=(const const_contiguous_iterator< T > &lhs, const const_contiguous_iterator< T > &rhs)
Non-member not equal operator.
Definition: contiguous_iterator.hpp:231
friend void swap(range_snapshotting_iterator &lhs, range_snapshotting_iterator &rhs)
Non-member swap function.
Definition: contiguous_iterator.hpp:338
Iterator & operator++()
Prefix increment operator.
Definition: contiguous_iterator.hpp:89
const_contiguous_iterator(pointer ptr=nullptr)
Constructor taking pointer as argument.
Definition: contiguous_iterator.hpp:499
const_contiguous_iterator(const range_snapshotting_iterator< T > &other)
Conversion operator from non-const iterator.
Definition: contiguous_iterator.hpp:514
friend std::ptrdiff_t operator-(const Iterator &lhs, const Iterator &rhs)
Subtraction operator overload Iterator type.
Definition: contiguous_iterator.hpp:173
void change_by(std::ptrdiff_t n)
Function for changing underlying pointer.
Definition: contiguous_iterator.hpp:199
Commonly used functionality.
friend void swap(basic_contiguous_iterator &lhs, basic_contiguous_iterator &rhs)
Non-member swap function.
Definition: contiguous_iterator.hpp:474
friend bool operator==(const const_contiguous_iterator< T > &lhs, const const_contiguous_iterator< T > &rhs)
Non-member equal operator.
Definition: contiguous_iterator.hpp:221
Iterator & operator-=(std::ptrdiff_t n)
Subtraction assignment operator.
Definition: contiguous_iterator.hpp:141
Iterator operator+(std::ptrdiff_t n)
Addition operator.
Definition: contiguous_iterator.hpp:151
Reference operator*() const
Dereference operator.
Definition: contiguous_iterator.hpp:72
Pointer operator->() const
Arrow operator.
Definition: contiguous_iterator.hpp:80
basic_contiguous_iterator(pointer ptr=nullptr)
Constructor taking pointer and snapshotting function as arguments.
Definition: contiguous_iterator.hpp:435
This struct provides comparison operators between const_contigous_iterator for specified type (as all...
Definition: contiguous_iterator.hpp:216
Base class for iterators which satisfies RandomAccessIterator and operate on contiguous memory...
Definition: contiguous_iterator.hpp:61
constexpr contiguous_iterator(Pointer begin)
Constructor taking a pointer.
Definition: contiguous_iterator.hpp:65
friend void swap(const_contiguous_iterator &lhs, const_contiguous_iterator &rhs)
Non-member swap function.
Definition: contiguous_iterator.hpp:523
Const iterator.
Definition: contiguous_iterator.hpp:208
Iterator & operator--()
Prefix decrement operator.
Definition: contiguous_iterator.hpp:110
Reference operator[](std::size_t n)
Element access operator.
Definition: contiguous_iterator.hpp:181
Iterator operator++(int)
Postfix increment operator.
Definition: contiguous_iterator.hpp:99
reference operator[](std::size_t n)
Element access operator.
Definition: contiguous_iterator.hpp:464
Iterator operator-(std::ptrdiff_t n)
Subtraction operator overload for integral type.
Definition: contiguous_iterator.hpp:162
pointer operator->() const
Arrow operator which adds underlying element to a transactions.
Definition: contiguous_iterator.hpp:453
reference operator[](std::size_t n)
Element access operator.
Definition: contiguous_iterator.hpp:328
const_contiguous_iterator(const basic_contiguous_iterator< T > &other)
Conversion operator from non-const iterator.
Definition: contiguous_iterator.hpp:506