[move.iterators] Exposition-only style for current and last

Author: frederick-vs-ja

source/iterators.tex

@@ -4828,14 +4828,14 @@
         operator-(const move_iterator& x, const move_sentinel<S>& y);
     friend constexpr iter_rvalue_reference_t<Iterator>
       iter_move(const move_iterator& i)
-        noexcept(noexcept(ranges::iter_move(i.current)));
+        noexcept(noexcept(ranges::iter_move(i.@\exposid{current}@)));
     template<@\libconcept{indirectly_swappable}@<Iterator> Iterator2>
       friend constexpr void
         iter_swap(const move_iterator& x, const move_iterator<Iterator2>& y)
-          noexcept(noexcept(ranges::iter_swap(x.current, y.current)));
+          noexcept(noexcept(ranges::iter_swap(x.@\exposid{current}@, y.@\exposid{current}@)));
 
   private:
-    Iterator current;   // \expos
+    Iterator @\exposid{current}@;   // \expos
   };
 }
 \end{codeblock}
@@ -4899,7 +4899,7 @@
 \begin{itemdescr}
 \pnum
 \effects
-Value-initializes \tcode{current}.
+Value-initializes \exposid{current}.
 \end{itemdescr}
 
 
@@ -4911,7 +4911,7 @@
 \begin{itemdescr}
 \pnum
 \effects
-Initializes \tcode{current} with \tcode{std::move(i)}.
+Initializes \exposid{current} with \tcode{std::move(i)}.
 \end{itemdescr}
 
 
@@ -4928,7 +4928,7 @@
 
 \pnum
 \effects
-Initializes \tcode{current} with \tcode{u.current}.
+Initializes \exposid{current} with \tcode{u.\exposid{current}}.
 \end{itemdescr}
 
 \indexlibrarymember{operator=}{move_iterator}%
@@ -4945,8 +4945,8 @@
 
 \pnum
 \effects
-Assigns \tcode{u.current} to
-\tcode{current}.
+Assigns \tcode{u.\exposid{current}} to
+\exposid{current}.
 
 \pnum
 \returns
@@ -4963,7 +4963,7 @@
 \begin{itemdescr}
 \pnum
 \returns
-\tcode{current}.
+\exposid{current}.
 \end{itemdescr}
 
 \indexlibrarymember{base}{move_iterator}%
@@ -4974,7 +4974,7 @@
 \begin{itemdescr}
 \pnum
 \returns
-\tcode{std::move(current)}.
+\tcode{std::move(\exposid{current})}.
 \end{itemdescr}
 
 \rSec3[move.iter.elem]{Element access}
@@ -4987,7 +4987,7 @@
 \begin{itemdescr}
 \pnum
 \effects
-Equivalent to: \tcode{return ranges::iter_move(current);}
+Equivalent to: \tcode{return ranges::iter_move(\exposid{current});}
 \end{itemdescr}
 
 \indexlibrarymember{operator[]}{move_iterator}%
@@ -4998,7 +4998,7 @@
 \begin{itemdescr}
 \pnum
 \effects
-Equivalent to: \tcode{return ranges::iter_move(current + n);}
+Equivalent to: \tcode{return ranges::iter_move(\exposid{current} + n);}
 \end{itemdescr}
 
 \rSec3[move.iter.nav]{Navigation}
@@ -5011,7 +5011,7 @@
 \begin{itemdescr}
 \pnum
 \effects
-As if by \tcode{++current}.
+As if by \tcode{++\exposid{current}}.
 
 \pnum
 \returns
@@ -5029,10 +5029,10 @@
 If \tcode{Iterator} models \libconcept{forward_iterator}, equivalent to:
 \begin{codeblock}
 move_iterator tmp = *this;
-++current;
+++@\exposid{current}@;
 return tmp;
 \end{codeblock}
-Otherwise, equivalent to \tcode{++current}.
+Otherwise, equivalent to \tcode{++\exposid{current}}.
 \end{itemdescr}
 
 \indexlibrarymember{operator--}{move_iterator}%
@@ -5043,7 +5043,7 @@
 \begin{itemdescr}
 \pnum
 \effects
-As if by \tcode{--current}.
+As if by \tcode{--\exposid{current}}.
 
 \pnum
 \returns
@@ -5061,7 +5061,7 @@
 As if by:
 \begin{codeblock}
 move_iterator tmp = *this;
---current;
+--@\exposid{current}@;
 return tmp;
 \end{codeblock}
 \end{itemdescr}
@@ -5074,7 +5074,7 @@
 \begin{itemdescr}
 \pnum
 \returns
-\tcode{move_iterator(current + n)}.
+\tcode{move_iterator(\exposid{current} + n)}.
 \end{itemdescr}
 
 \indexlibrarymember{operator+=}{move_iterator}%
@@ -5085,7 +5085,7 @@
 \begin{itemdescr}
 \pnum
 \effects
-As if by: \tcode{current += n;}
+As if by: \tcode{\exposid{current} += n;}
 
 \pnum
 \returns
@@ -5100,7 +5100,7 @@
 \begin{itemdescr}
 \pnum
 \returns
-\tcode{move_iterator(current - n)}.
+\tcode{move_iterator(\exposid{current} - n)}.
 \end{itemdescr}
 
 \indexlibrarymember{operator-=}{move_iterator}%
@@ -5111,7 +5111,7 @@
 \begin{itemdescr}
 \pnum
 \effects
-As if by: \tcode{current -= n;}
+As if by: \tcode{\exposid{current} -= n;}
 
 \pnum
 \returns
@@ -5266,27 +5266,27 @@
 \begin{itemdecl}
 friend constexpr iter_rvalue_reference_t<Iterator>
   iter_move(const move_iterator& i)
-    noexcept(noexcept(ranges::iter_move(i.current)));
+    noexcept(noexcept(ranges::iter_move(i.@\exposid{current}@)));
 \end{itemdecl}
 
 \begin{itemdescr}
 \pnum
 \effects
-Equivalent to: \tcode{return ranges::iter_move(i.current);}
+Equivalent to: \tcode{return ranges::iter_move(i.\exposid{current});}
 \end{itemdescr}
 
 \indexlibrarymember{iter_swap}{move_iterator}%
 \begin{itemdecl}
 template<@\libconcept{indirectly_swappable}@<Iterator> Iterator2>
   friend constexpr void
     iter_swap(const move_iterator& x, const move_iterator<Iterator2>& y)
-      noexcept(noexcept(ranges::iter_swap(x.current, y.current)));
+      noexcept(noexcept(ranges::iter_swap(x.@\exposid{current}@, y.@\exposid{current}@)));
 \end{itemdecl}
 
 \begin{itemdescr}
 \pnum
 \effects
-Equivalent to: \tcode{ranges::iter_swap(x.current, y.current)}.
+Equivalent to: \tcode{ranges::iter_swap(x.\exposid{current}, y.\exposid{current})}.
 \end{itemdescr}
 
 \indexlibraryglobal{make_move_iterator}%
@@ -5343,7 +5343,7 @@
     constexpr S base() const;
 
   private:
-    S last;     // \expos
+    S @\exposid{last}@;     // \expos
   };
 }
 \end{codeblock}
@@ -5358,7 +5358,7 @@
 \begin{itemdescr}
 \pnum
 \effects
-Value-initializes \tcode{last}.
+Value-initializes \exposid{last}.
 If \tcode{is_trivially_default_constructible_v<S>} is \tcode{true},
 then this constructor is a \keyword{constexpr} constructor.
 \end{itemdescr}
@@ -5371,7 +5371,7 @@
 \begin{itemdescr}
 \pnum
 \effects
-Initializes \tcode{last} with \tcode{std::move(s)}.
+Initializes \exposid{last} with \tcode{std::move(s)}.
 \end{itemdescr}
 
 \indexlibraryctor{move_sentinel}%
@@ -5384,7 +5384,7 @@
 \begin{itemdescr}
 \pnum
 \effects
-Initializes \tcode{last} with \tcode{s.last}.
+Initializes \exposid{last} with \tcode{s.\exposid{last}}.
 \end{itemdescr}
 
 \indexlibrarymember{operator=}{move_sentinel}%
@@ -5398,7 +5398,7 @@
 \begin{itemdescr}
 \pnum
 \effects
-Equivalent to: \tcode{last = s.last; return *this;}
+Equivalent to: \tcode{\exposid{last} = s.\exposid{last}; return *this;}
 \end{itemdescr}
 
 \indexlibrarymember{base}{move_sentinel}%
@@ -5409,7 +5409,7 @@
 \begin{itemdescr}
 \pnum
 \returns
-\tcode{last}.
+\exposid{last}.
 \end{itemdescr}
 
 \rSec2[iterators.common]{Common iterators}