tmp/tmp2zcfjq7v/{from.md → to.md}
RENAMED
|
@@ -32,15 +32,15 @@ attempts to use it as a *Cpp17Hash* will be ill-formed. — *end note*]
|
|
| 32 |
An enabled specialization `hash<Key>` will:
|
| 33 |
|
| 34 |
- meet the *Cpp17Hash* requirements ([[cpp17.hash]]), with `Key` as the
|
| 35 |
function call argument type, the *Cpp17DefaultConstructible*
|
| 36 |
requirements ([[cpp17.defaultconstructible]]), the
|
| 37 |
-
*Cpp17CopyAssignable* requirements ([[cpp17.copyassignable]]),
|
| 38 |
-
|
| 39 |
- meet the requirement that if `k1 == k2` is `true`, `h(k1) == h(k2)` is
|
| 40 |
also `true`, where `h` is an object of type `hash<Key>` and `k1` and
|
| 41 |
`k2` are objects of type `Key`;
|
| 42 |
- meet the requirement that the expression `h(k)`, where `h` is an
|
| 43 |
object of type `hash<Key>` and `k` is an object of type `Key`, shall
|
| 44 |
not throw an exception unless `hash<Key>` is a program-defined
|
| 45 |
-
specialization
|
| 46 |
|
|
|
|
| 32 |
An enabled specialization `hash<Key>` will:
|
| 33 |
|
| 34 |
- meet the *Cpp17Hash* requirements ([[cpp17.hash]]), with `Key` as the
|
| 35 |
function call argument type, the *Cpp17DefaultConstructible*
|
| 36 |
requirements ([[cpp17.defaultconstructible]]), the
|
| 37 |
+
*Cpp17CopyAssignable* requirements ([[cpp17.copyassignable]]), the
|
| 38 |
+
*Cpp17Swappable* requirements [[swappable.requirements]],
|
| 39 |
- meet the requirement that if `k1 == k2` is `true`, `h(k1) == h(k2)` is
|
| 40 |
also `true`, where `h` is an object of type `hash<Key>` and `k1` and
|
| 41 |
`k2` are objects of type `Key`;
|
| 42 |
- meet the requirement that the expression `h(k)`, where `h` is an
|
| 43 |
object of type `hash<Key>` and `k` is an object of type `Key`, shall
|
| 44 |
not throw an exception unless `hash<Key>` is a program-defined
|
| 45 |
+
specialization.
|
| 46 |
|