[optional.monadic] Replace value() with **this

Author: jensmaurer

source/utilities.tex

@@ -4154,7 +4154,7 @@
 
 \begin{itemdescr}
 \pnum
-Let \tcode{U} be \tcode{invoke_result_t<F, decltype(value())>}.
+Let \tcode{U} be \tcode{invoke_result_t<F, decltype(**this)>}.
 
 \pnum
 \mandates
@@ -4165,7 +4165,7 @@
 Equivalent to:
 \begin{codeblock}
 if (*this) {
-  return invoke(std::forward<F>(f), value());
+  return invoke(std::forward<F>(f), **this);
 } else {
   return remove_cvref_t<U>();
 }
@@ -4180,7 +4180,7 @@
 
 \begin{itemdescr}
 \pnum
-Let \tcode{U} be \tcode{invoke_result_t<F, decltype(std::move(value()))>}.
+Let \tcode{U} be \tcode{invoke_result_t<F, decltype(std::move(**this))>}.
 
 \pnum
 \mandates
@@ -4191,7 +4191,7 @@
 Equivalent to:
 \begin{codeblock}
 if (*this) {
-  return invoke(std::forward<F>(f), std::move(value()));
+  return invoke(std::forward<F>(f), std::move(**this));
 } else {
   return remove_cvref_t<U>();
 }
@@ -4206,15 +4206,15 @@
 
 \begin{itemdescr}
 \pnum
-Let \tcode{U} be \tcode{remove_cv_t<invoke_result_t<F, decltype(value())>>}.
+Let \tcode{U} be \tcode{remove_cv_t<invoke_result_t<F, decltype(**this)>>}.
 
 \pnum
 \mandates
 \tcode{U} is a non-array object type
 other than \tcode{in_place_t} or \tcode{nullopt_t}.
 The declaration
 \begin{codeblock}
-U u(invoke(std::forward<F>(f), value()));
+U u(invoke(std::forward<F>(f), **this));
 \end{codeblock}
 is well-formed for some invented variable \tcode{u}.
 \begin{note}
@@ -4225,7 +4225,7 @@
 \returns
 If \tcode{*this} contains a value, an \tcode{optional<U>} object
 whose contained value is direct-non-list-initialized with
-\tcode{invoke(std::forward<F>(f), value())};
+\tcode{invoke(std::forward<F>(f), **this)};
 otherwise, \tcode{optional<U>()}.
 \end{itemdescr}
 
@@ -4238,15 +4238,15 @@
 \begin{itemdescr}
 \pnum
 Let \tcode{U} be
-\tcode{remove_cv_t<invoke_result_t<F, decltype(std::move(value()))>>}.
+\tcode{remove_cv_t<invoke_result_t<F, decltype(std::move(**this))>>}.
 
 \pnum
 \mandates
 \tcode{U} is a non-array object type
 other than \tcode{in_place_t} or \tcode{nullopt_t}.
 The declaration
 \begin{codeblock}
-U u(invoke(std::forward<F>(f), std::move(value())));
+U u(invoke(std::forward<F>(f), std::move(**this)));
 \end{codeblock}
 is well-formed for some invented variable \tcode{u}.
 \begin{note}
@@ -4257,7 +4257,7 @@
 \returns
 If \tcode{*this} contains a value, an \tcode{optional<U>} object
 whose contained value is direct-non-list-initialized with
-\tcode{invoke(std::forward<F>(f), std::move(value()))};
+\tcode{invoke(std::forward<F>(f), std::move(**this))};
 otherwise, \tcode{optional<U>()}.
 \end{itemdescr}