cppdraft_translate/cppdraft/range/cache/latest/iterator.md

[range.cache.latest.iterator]

25 Ranges library [ranges]

25.7 Range adaptors [range.adaptors]

25.7.34 Cache latest view [range.cache.latest]

25.7.34.3 Class cache_latest_view​::​iterator [range.cache.latest.iterator]

🔗

namespace std::ranges {template<input_range V>requires viewclass cache_latest_view::iterator { cache_latest_view* parent_; // exposition only iterator_t current_; // exposition onlyconstexpr explicit iterator(cache_latest_view& parent); // exposition onlypublic:using difference_type = range_difference_t; using value_type = range_value_t; using iterator_concept = input_iterator_tag; iterator(iterator&&) = default; iterator& operator=(iterator&&) = default; constexpr iterator_t base() &&; constexpr const iterator_t& base() const & noexcept; constexpr range_reference_t& operator*() const; constexpr iterator& operator++(); constexpr void operator++(int); friend constexpr range_rvalue_reference_t iter_move(const iterator& i)noexcept(noexcept(ranges::iter_move(i.current_))); friend constexpr void iter_swap(const iterator& x, const iterator& y)noexcept(noexcept(ranges::iter_swap(x.current_, y.current_)))requires indirectly_swappable<iterator_t>; };}

🔗

constexpr explicit iterator(cache_latest_view& parent);

1

#

Effects: Initializes current_ withranges​::​begin(parent.base_) and parent_ with addressof(parent).

🔗

constexpr iterator_t<V> base() &&;

2

#

Returns: std​::​move(current_).

🔗

constexpr const iterator_t<V>& base() const & noexcept;

3

#

Returns: current_.

🔗

constexpr iterator& operator++();

4

#

Effects: Equivalent to:parent_->cache_.reset();++current_;return *this;

🔗

constexpr void operator++(int);

5

#

Effects: Equivalent to: ++*this.

🔗

constexpr range_reference_t<V>& operator*() const;

6

#

Effects: Equivalent to:if constexpr (is_reference_v<range_reference_t>) {if (!parent_->cache_) {parent_->cache_ = addressof(as-lvalue(**current_)); }return parent_->cache_;} else {if (!parent_->cache_) {parent_->cache_.emplace-deref(current_); }return **parent_->cache_;}

[Note 1:

Evaluations of operator* on the same iterator object can conflict ([intro.races]).

— end note]

🔗

friend constexpr range_rvalue_reference_t<V> iter_move(const iterator& i) noexcept(noexcept(ranges::iter_move(i.current_)));

7

#

Effects: Equivalent to: return ranges​::​iter_move(i.current_);

🔗

friend constexpr void iter_swap(const iterator& x, const iterator& y) noexcept(noexcept(ranges::iter_swap(x.current_, y.current_))) requires [indirectly_swappable](alg.req.ind.swap#concept:indirectly_swappable "24.3.7.4 Concept indirectly_­swappable [alg.req.ind.swap]")<iterator_t<V>>;

8

#

Effects: Equivalent toranges​::​iter_swap(x.current_, y.current_).