tmp/tmpw215qe62/{from.md → to.md}
RENAMED
|
@@ -1,6 +1,6 @@
|
|
| 1 |
-
### Class template `owner_less` <a id="util.smartptr.ownerless">[[util.smartptr.ownerless]]</a>
|
| 2 |
|
| 3 |
The class template `owner_less` allows ownership-based mixed comparisons
|
| 4 |
of shared and weak pointers.
|
| 5 |
|
| 6 |
``` cpp
|
|
@@ -40,12 +40,12 @@ namespace std {
|
|
| 40 |
|
| 41 |
Note that
|
| 42 |
|
| 43 |
- `operator()` defines a strict weak ordering as defined in
|
| 44 |
[[alg.sorting]];
|
| 45 |
-
-
|
| 46 |
-
|
| 47 |
-
`
|
| 48 |
ownership or are both empty.
|
| 49 |
|
| 50 |
— *end note*]
|
| 51 |
|
|
|
|
| 1 |
+
#### Class template `owner_less` <a id="util.smartptr.ownerless">[[util.smartptr.ownerless]]</a>
|
| 2 |
|
| 3 |
The class template `owner_less` allows ownership-based mixed comparisons
|
| 4 |
of shared and weak pointers.
|
| 5 |
|
| 6 |
``` cpp
|
|
|
|
| 40 |
|
| 41 |
Note that
|
| 42 |
|
| 43 |
- `operator()` defines a strict weak ordering as defined in
|
| 44 |
[[alg.sorting]];
|
| 45 |
+
- two `shared_ptr` or `weak_ptr` instances are equivalent under the
|
| 46 |
+
equivalence relation defined by `operator()`,
|
| 47 |
+
`!operator()(a, b) && !operator()(b, a)`, if and only if they share
|
| 48 |
ownership or are both empty.
|
| 49 |
|
| 50 |
— *end note*]
|
| 51 |
|