tmp/tmpwobq_7k9/{from.md → to.md}
RENAMED
|
@@ -0,0 +1,28 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
#### Optional container requirements <a id="container.opt.reqmts">[[container.opt.reqmts]]</a>
|
| 2 |
+
|
| 3 |
+
The following operations are provided for some types of containers but
|
| 4 |
+
not others. Those containers for which the listed operations are
|
| 5 |
+
provided shall implement the semantics as described unless otherwise
|
| 6 |
+
stated. If the iterators passed to `lexicographical_compare_three_way`
|
| 7 |
+
meet the constexpr iterator requirements
|
| 8 |
+
[[iterator.requirements.general]] then the operations described below
|
| 9 |
+
are implemented by constexpr functions.
|
| 10 |
+
|
| 11 |
+
``` cpp
|
| 12 |
+
a <=> b
|
| 13 |
+
```
|
| 14 |
+
|
| 15 |
+
*Result:* *`synth-three-way-result`*`<X::value_type>`.
|
| 16 |
+
|
| 17 |
+
*Preconditions:* Either `<=>` is defined for values of type (possibly
|
| 18 |
+
const) `T`, or `<` is defined for values of type (possibly const) `T`
|
| 19 |
+
and `<` is a total ordering relationship.
|
| 20 |
+
|
| 21 |
+
*Returns:*
|
| 22 |
+
`lexicographical_compare_three_way(a.begin(), a.end(), b.begin(), b.end(), `*`synth-three-way`*`)`
|
| 23 |
+
|
| 24 |
+
[*Note 1*: The algorithm `lexicographical_compare_three_way` is defined
|
| 25 |
+
in [[algorithms]]. — *end note*]
|
| 26 |
+
|
| 27 |
+
*Complexity:* Linear.
|
| 28 |
+
|