tmp/tmpdfkbg4jk/{from.md → to.md}
RENAMED
|
@@ -13,11 +13,11 @@ expression `strong_order(E, F)` is expression-equivalent
|
|
| 13 |
[[basic.lookup.argdep]].
|
| 14 |
- Otherwise, if the decayed type `T` of `E` is a floating-point type,
|
| 15 |
yields a value of type `strong_ordering` that is consistent with the
|
| 16 |
ordering observed by `T`’s comparison operators, and if
|
| 17 |
`numeric_limits<T>::is_iec559` is `true`, is additionally consistent
|
| 18 |
-
with the `totalOrder` operation as specified in ISO/IEC
|
| 19 |
- Otherwise, `strong_ordering(compare_three_way()(E, F))` if it is a
|
| 20 |
well-formed expression.
|
| 21 |
- Otherwise, `strong_order(E, F)` is ill-formed.
|
| 22 |
|
| 23 |
[*Note 1*: Ill-formed cases above result in substitution failure when
|
|
@@ -135,12 +135,12 @@ expression-equivalent [[defns.expression.equivalent]] to:
|
|
| 135 |
|
| 136 |
- If the decayed types of `E` and `F` differ,
|
| 137 |
`compare_partial_order_fallback(E, F)` is ill-formed.
|
| 138 |
- Otherwise, `partial_order(E, F)` if it is a well-formed expression.
|
| 139 |
- Otherwise, if the expressions `E == F`, `E < F`, and `F < E` are all
|
| 140 |
-
well-formed and each of `decltype(E == F)`
|
| 141 |
-
models `boolean-testable`,
|
| 142 |
``` cpp
|
| 143 |
E == F ? partial_ordering::equivalent :
|
| 144 |
E < F ? partial_ordering::less :
|
| 145 |
F < E ? partial_ordering::greater :
|
| 146 |
partial_ordering::unordered
|
|
|
|
| 13 |
[[basic.lookup.argdep]].
|
| 14 |
- Otherwise, if the decayed type `T` of `E` is a floating-point type,
|
| 15 |
yields a value of type `strong_ordering` that is consistent with the
|
| 16 |
ordering observed by `T`’s comparison operators, and if
|
| 17 |
`numeric_limits<T>::is_iec559` is `true`, is additionally consistent
|
| 18 |
+
with the `totalOrder` operation as specified in ISO/IEC 60559.
|
| 19 |
- Otherwise, `strong_ordering(compare_three_way()(E, F))` if it is a
|
| 20 |
well-formed expression.
|
| 21 |
- Otherwise, `strong_order(E, F)` is ill-formed.
|
| 22 |
|
| 23 |
[*Note 1*: Ill-formed cases above result in substitution failure when
|
|
|
|
| 135 |
|
| 136 |
- If the decayed types of `E` and `F` differ,
|
| 137 |
`compare_partial_order_fallback(E, F)` is ill-formed.
|
| 138 |
- Otherwise, `partial_order(E, F)` if it is a well-formed expression.
|
| 139 |
- Otherwise, if the expressions `E == F`, `E < F`, and `F < E` are all
|
| 140 |
+
well-formed and each of `decltype(E == F)`, `decltype(E < F)`, and
|
| 141 |
+
`decltype(F < E)` models `boolean-testable`,
|
| 142 |
``` cpp
|
| 143 |
E == F ? partial_ordering::equivalent :
|
| 144 |
E < F ? partial_ordering::less :
|
| 145 |
F < E ? partial_ordering::greater :
|
| 146 |
partial_ordering::unordered
|