Define minimum/maximum return type using a ternary

Note that the decltype() only describes the return type of the operator, so it doesn't actually constrain the implementation of the operator.
Pennycook · Oct 25, 2024 · 0308265 · 0308265
1 parent 5ae4b13
commit 0308265
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/adoc/chapters/programming_interface.adoc b/adoc/chapters/programming_interface.adoc
@@ -21499,7 +21499,7 @@ _Returns_: The smaller value, or [code]#x# if the arguments are equivalent.
 [source,role=synopsis,id=api:minimum-transparent-call-operator]
 ----
 template <class T, class U> constexpr auto operator()(T&& t, U&& u) const
-  -> /* see below */;
+-> decltype(std::forward<U>(u) < std::forward<T>(t) ? std::forward<U>(u) : std::forward<T>(t));
 ----
 
 _Returns_: The smaller value, or [code]#t# if the arguments are equivalent.
@@ -21528,7 +21528,7 @@ _Returns_: The larger value, or [code]#x# if the arguments are equivalent.
 [source,role=synopsis,id=api:maximum-transparent-call-operator]
 ----
 template <class T, class U> constexpr auto operator()(T&& t, U&& u) const
-  -> /* see below */;
+-> decltype(std::forward<T>(t) < std::forward<U>(u) ? std::forward<U>(u) : std::forward<T>(t));
 ----
 
 _Returns_: The larger value, or [code]#t# if the arguments are equivalent.

diff --git a/adoc/headers/functional/maximum.h b/adoc/headers/functional/maximum.h
@@ -9,7 +9,7 @@ template <typename T = void> struct maximum {
 
 template <> struct maximum<void> {
   template <class T, class U> constexpr auto operator()(T&& t, U&& u) const
-  -> /* see below */;
+  -> decltype(std::forward<T>(t) < std::forward<U>(u) ? std::forward<U>(u) : std::forward<T>(t));
 
   using is_transparent = /* unspecified */;
 };

diff --git a/adoc/headers/functional/minimum.h b/adoc/headers/functional/minimum.h
@@ -9,7 +9,7 @@ template <typename T = void> struct minimum {
 
 template <> struct minimum<void> {
   template <class T, class U> constexpr auto operator()(T&& t, U&& u) const
-  -> /* see below */;
+  -> decltype(std::forward<U>(u) < std::forward<T>(t) ? std::forward<U>(u) : std::forward<T>(t));
 
   using is_transparent = /* unspecified */;
 };