tmp/tmp7tmnkvvc/{from.md → to.md}
RENAMED
|
@@ -7,16 +7,14 @@ template<class... TTypes, tuple-like UTuple>
|
|
| 7 |
constexpr bool operator==(const tuple<TTypes...>& t, const UTuple& u);
|
| 8 |
```
|
| 9 |
|
| 10 |
For the first overload let `UTuple` be `tuple<UTypes...>`.
|
| 11 |
|
| 12 |
-
*
|
| 13 |
-
`get<i>(t) == get<i>(u)` is a valid expression
|
| 14 |
-
|
| 15 |
-
|
| 16 |
-
*Preconditions:* For all `i`, `decltype(get<i>(t) == get<i>(u))` models
|
| 17 |
-
`boolean-testable`.
|
| 18 |
|
| 19 |
*Returns:* `true` if `get<i>(t) == get<i>(u)` for all `i`, otherwise
|
| 20 |
`false`.
|
| 21 |
|
| 22 |
[*Note 1*: If `sizeof...(TTypes)` equals zero, returns
|
|
@@ -60,8 +58,8 @@ lookup [[basic.lookup.argdep]] only.
|
|
| 60 |
|
| 61 |
[*Note 1*: The above definition does not require `tₜₐᵢₗ` (or `uₜₐᵢₗ`)
|
| 62 |
to be constructed. It might not even be possible, as `t` and `u` are not
|
| 63 |
required to be copy constructible. Also, all comparison operator
|
| 64 |
functions are short circuited; they do not perform element accesses
|
| 65 |
-
beyond what is
|
| 66 |
comparison. — *end note*]
|
| 67 |
|
|
|
|
| 7 |
constexpr bool operator==(const tuple<TTypes...>& t, const UTuple& u);
|
| 8 |
```
|
| 9 |
|
| 10 |
For the first overload let `UTuple` be `tuple<UTypes...>`.
|
| 11 |
|
| 12 |
+
*Constraints:* For all `i`, where 0 ≤ `i` < `sizeof...(TTypes)`,
|
| 13 |
+
`get<i>(t) == get<i>(u)` is a valid expression and
|
| 14 |
+
`decltype(get<i>(t) == get<i>(u))` models `boolean-testable`.
|
| 15 |
+
`sizeof...(TTypes)` equals `tuple_size_v<UTuple>`.
|
|
|
|
|
|
|
| 16 |
|
| 17 |
*Returns:* `true` if `get<i>(t) == get<i>(u)` for all `i`, otherwise
|
| 18 |
`false`.
|
| 19 |
|
| 20 |
[*Note 1*: If `sizeof...(TTypes)` equals zero, returns
|
|
|
|
| 58 |
|
| 59 |
[*Note 1*: The above definition does not require `tₜₐᵢₗ` (or `uₜₐᵢₗ`)
|
| 60 |
to be constructed. It might not even be possible, as `t` and `u` are not
|
| 61 |
required to be copy constructible. Also, all comparison operator
|
| 62 |
functions are short circuited; they do not perform element accesses
|
| 63 |
+
beyond what is needed to determine the result of the
|
| 64 |
comparison. — *end note*]
|
| 65 |
|