LWG4370 Comparison of optional<T> to T may be ill-formed

Author: eisenwave

source/utilities.tex

@@ -5252,7 +5252,12 @@
 
 \pnum
 \effects
-Equivalent to: \tcode{return x.has_value() ? *x == v : false;}
+Equivalent to:
+\begin{codeblock}
+if (x.has_value())
+  return *x == v;
+return false;
+\end{codeblock}
 \end{itemdescr}
 
 \indexlibrarymember{operator==}{optional}%
@@ -5269,7 +5274,12 @@
 
 \pnum
 \effects
-Equivalent to: \tcode{return x.has_value() ? v == *x : false;}
+Equivalent to:
+\begin{codeblock}
+if (x.has_value())
+  return *x == v;
+return false;
+\end{codeblock}
 \end{itemdescr}
 
 \indexlibrarymember{operator"!=}{optional}%
@@ -5286,7 +5296,12 @@
 
 \pnum
 \effects
-Equivalent to: \tcode{return x.has_value() ? *x != v : true;}
+Equivalent to:
+\begin{codeblock}
+if (x.has_value())
+  return *x != v;
+return true;
+\end{codeblock}
 \end{itemdescr}
 
 \indexlibrarymember{operator"!=}{optional}%
@@ -5303,7 +5318,12 @@
 
 \pnum
 \effects
-Equivalent to: \tcode{return x.has_value() ? v != *x : true;}
+Equivalent to:
+\begin{codeblock}
+if (x.has_value())
+  return *x != v;
+return true;
+\end{codeblock}
 \end{itemdescr}
 
 \indexlibrarymember{operator<}{optional}%
@@ -5320,7 +5340,12 @@
 
 \pnum
 \effects
-Equivalent to: \tcode{return x.has_value() ? *x < v : true;}
+Equivalent to:
+\begin{codeblock}
+if (x.has_value())
+  return *x < v;
+return true;
+\end{codeblock}
 \end{itemdescr}
 
 \indexlibrarymember{operator<}{optional}%
@@ -5337,7 +5362,12 @@
 
 \pnum
 \effects
-Equivalent to: \tcode{return x.has_value() ? v < *x : false;}
+Equivalent to:
+\begin{codeblock}
+if (x.has_value())
+  return v == *x;
+return false;
+\end{codeblock}
 \end{itemdescr}
 
 \indexlibrarymember{operator>}{optional}%
@@ -5354,7 +5384,12 @@
 
 \pnum
 \effects
-Equivalent to: \tcode{return x.has_value() ? *x > v : false;}
+Equivalent to:
+\begin{codeblock}
+if (x.has_value())
+  return *x > v;
+return false;
+\end{codeblock}
 \end{itemdescr}
 
 \indexlibrarymember{operator>}{optional}%
@@ -5371,7 +5406,12 @@
 
 \pnum
 \effects
-Equivalent to: \tcode{return x.has_value() ? v > *x : true;}
+Equivalent to:
+\begin{codeblock}
+if (x.has_value())
+  return v > *x;
+return true;
+\end{codeblock}
 \end{itemdescr}
 
 \indexlibrarymember{operator<=}{optional}%
@@ -5388,7 +5428,12 @@
 
 \pnum
 \effects
-Equivalent to: \tcode{return x.has_value() ? *x <= v : true;}
+Equivalent to:
+\begin{codeblock}
+if (x.has_value())
+  return *x <= v;
+return true;
+\end{codeblock}
 \end{itemdescr}
 
 \indexlibrarymember{operator<=}{optional}%
@@ -5405,7 +5450,12 @@
 
 \pnum
 \effects
-Equivalent to: \tcode{return x.has_value() ? v <= *x : false;}
+Equivalent to:
+\begin{codeblock}
+if (x.has_value())
+  return v <= *x;
+return false;
+\end{codeblock}
 \end{itemdescr}
 
 \indexlibrarymember{operator>=}{optional}%
@@ -5422,7 +5472,12 @@
 
 \pnum
 \effects
-Equivalent to: \tcode{return x.has_value() ? *x >= v : false;}
+Equivalent to:
+\begin{codeblock}
+if (x.has_value())
+  return *x >= v;
+return false;
+\end{codeblock}
 \end{itemdescr}
 
 \indexlibrarymember{operator>=}{optional}%
@@ -5439,7 +5494,12 @@
 
 \pnum
 \effects
-Equivalent to: \tcode{return x.has_value() ? v >= *x : true;}
+Equivalent to:
+\begin{codeblock}
+if (x.has_value())
+  return v >= *x;
+return true;
+\end{codeblock}
 \end{itemdescr}
 
 \indexlibrarymember{operator<=>}{optional}%