[util.smartptr.atomic.shared] Exposition-only style for p

Author: frederick-vs-ja

source/threads.tex

@@ -6166,7 +6166,7 @@
     constexpr void notify_all() noexcept;
 
   private:
-    shared_ptr<T> p;            // \expos
+    shared_ptr<T> @\exposid{p}@;            // \expos
   };
 }
 \end{codeblock}
@@ -6179,7 +6179,7 @@
 \begin{itemdescr}
 \pnum
 \effects
-Value-initializes \tcode{p}.
+Value-initializes \exposid{p}.
 \end{itemdescr}
 
 \indexlibraryctor{atomic<shared_ptr<T>>}%
@@ -6220,7 +6220,7 @@
 \pnum
 \effects
 Atomically replaces the value pointed to by \keyword{this} with
-the value of \tcode{desired} as if by \tcode{p.swap(desired)}.
+the value of \tcode{desired} as if by \tcode{\exposid{p}.swap(desired)}.
 Memory is affected according to the value of \tcode{order}.
 \end{itemdescr}
 
@@ -6265,7 +6265,7 @@
 
 \pnum
 \returns
-Atomically returns \tcode{p}.
+Atomically returns \exposid{p}.
 \end{itemdescr}
 
 \indexlibrarymember{operator shared_ptr<T>}{atomic<shared_ptr<T>>}%
@@ -6288,14 +6288,14 @@
 \begin{itemdescr}
 \pnum
 \effects
-Atomically replaces \tcode{p} with \tcode{desired}
-as if by \tcode{p.swap(desired)}.
+Atomically replaces \exposid{p} with \tcode{desired}
+as if by \tcode{\exposid{p}.swap(desired)}.
 Memory is affected according to the value of \tcode{order}.
 This is an atomic read-modify-write operation\iref{intro.races}.
 
 \pnum
 \returns
-Atomically returns the value of \tcode{p} immediately before the effects.
+Atomically returns the value of \exposid{p} immediately before the effects.
 \end{itemdescr}
 
 \indexlibrarymember{compare_exchange_weak}{atomic<shared_ptr<T>>}%
@@ -6317,15 +6317,15 @@
 
 \pnum
 \effects
-If \tcode{p} is equivalent to \tcode{expected},
-assigns \tcode{desired} to \tcode{p} and
+If \exposid{p} is equivalent to \tcode{expected},
+assigns \tcode{desired} to \exposid{p} and
 has synchronization semantics corresponding to the value of \tcode{success},
-otherwise assigns \tcode{p} to \tcode{expected} and
+otherwise assigns \exposid{p} to \tcode{expected} and
 has synchronization semantics corresponding to the value of \tcode{failure}.
 
 \pnum
 \returns
-\tcode{true} if \tcode{p} was equivalent to \tcode{expected},
+\tcode{true} if \exposid{p} was equivalent to \tcode{expected},
 \tcode{false} otherwise.
 
 \pnum