38 #ifndef LIBPMEMOBJ_CPP_CONTIGUOUS_ITERATOR_HPP
39 #define LIBPMEMOBJ_CPP_CONTIGUOUS_ITERATOR_HPP
57 template <
typename Iterator,
typename Reference,
typename Po
inter>
88 static_cast<Iterator *>(
this)->change_by(1);
89 return *static_cast<Iterator *>(
this);
98 Iterator tmp(*static_cast<Iterator *>(
this));
99 static_cast<Iterator *>(
this)->change_by(1);
109 static_cast<Iterator *>(
this)->change_by(-1);
110 return *static_cast<Iterator *>(
this);
119 Iterator tmp(*static_cast<Iterator *>(
this));
120 static_cast<Iterator *>(
this)->change_by(-1);
130 static_cast<Iterator *>(
this)->change_by(n);
131 return *static_cast<Iterator *>(
this);
140 static_cast<Iterator *>(
this)->change_by(-n);
141 return *static_cast<Iterator *>(
this);
150 Iterator tmp(*static_cast<const Iterator *>(
this));
161 Iterator tmp(*static_cast<const Iterator *>(
this));
169 friend std::ptrdiff_t
172 return lhs.ptr - rhs.ptr;
219 template <
typename T>
222 using iterator_category = std::random_access_iterator_tag;
223 using value_type = T;
224 using difference_type = std::ptrdiff_t;
225 using reference = T &;
235 pointer data =
nullptr,
236 std::size_t size = 0,
237 std::size_t snapshot_size = 1)
241 snapshot_size(snapshot_size)
245 if (snapshot_size > 0)
252 operator const T *()
const
264 detail::conditional_add_to_tx(&this->ptr[n], 1,
265 POBJ_XADD_ASSUME_INITIALIZED);
275 std::swap(lhs.ptr, rhs.ptr);
276 std::swap(lhs.data, rhs.data);
277 std::swap(lhs.size, rhs.size);
278 std::swap(lhs.snapshot_size, rhs.snapshot_size);
281 template <
typename Iterator,
typename Reference,
typename Po
inter>
286 change_by(std::ptrdiff_t n)
288 conditional_snapshot_range(this->ptr, n);
298 conditional_snapshot_range(pointer ptr, difference_type diff)
300 if (snapshot_size == 0)
303 auto new_ptr = ptr + diff;
306 if (new_ptr < data || new_ptr >= data + size)
310 if (static_cast<std::size_t>(ptr - data) / snapshot_size ==
311 static_cast<std::size_t>(new_ptr - data) / snapshot_size)
314 snapshot_range(new_ptr);
318 snapshot_range(pointer ptr)
322 ptr - static_cast<uint64_t>(ptr - data) % snapshot_size;
323 auto range_size = snapshot_size;
325 if (range_begin + range_size > data + size)
326 range_size = static_cast<uint64_t>(data + size -
329 verify_range(range_begin, range_size);
332 detail::conditional_add_to_tx(range_begin, range_size,
333 POBJ_XADD_ASSUME_INITIALIZED);
338 verify_range(pointer range_begin, uint64_t range_size)
340 auto range_offset = static_cast<uint64_t>(range_begin - data);
342 assert(range_begin >= data);
343 assert(range_offset % snapshot_size == 0);
344 assert((range_offset + range_size) % snapshot_size == 0 ||
345 range_begin + range_size == data + size);
351 std::size_t snapshot_size;
358 template <
typename T>
361 using iterator_category = std::random_access_iterator_tag;
362 using value_type = T;
363 using difference_type = std::ptrdiff_t;
364 using reference = T &;
380 operator const T *()
const
391 detail::conditional_add_to_tx(this->ptr, 1,
392 POBJ_XADD_ASSUME_INITIALIZED);
402 detail::conditional_add_to_tx(this->ptr, 1,
403 POBJ_XADD_ASSUME_INITIALIZED);
414 detail::conditional_add_to_tx(&this->ptr[n], 1,
415 POBJ_XADD_ASSUME_INITIALIZED);
425 std::swap(lhs.ptr, rhs.ptr);