tmp/tmpb1viqkcx/{from.md → to.md}
RENAMED
|
@@ -2,5 +2,12 @@
|
|
| 2 |
|
| 3 |
Subclause [[concepts.compare]] describes concepts that establish
|
| 4 |
relationships and orderings on values of possibly differing object
|
| 5 |
types.
|
| 6 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 2 |
|
| 3 |
Subclause [[concepts.compare]] describes concepts that establish
|
| 4 |
relationships and orderings on values of possibly differing object
|
| 5 |
types.
|
| 6 |
|
| 7 |
+
Given an expression `E` and a type `C`, let `CONVERT_TO_LVALUE<C>(E)`
|
| 8 |
+
be:
|
| 9 |
+
|
| 10 |
+
- `static_cast<const C&>(as_const(E))` if that is a valid expression,
|
| 11 |
+
and
|
| 12 |
+
- `static_cast<const C&>(std::move(E))` otherwise.
|
| 13 |
+
|