tmp/tmpm622kahw/{from.md → to.md}
RENAMED
|
@@ -16,11 +16,19 @@ within the result [[intro.object]]. Each bit of the value representation
|
|
| 16 |
of the result is equal to the corresponding bit in the object
|
| 17 |
representation of `from`. Padding bits of the result are unspecified.
|
| 18 |
For the result and each object created within it, if there is no value
|
| 19 |
of the object’s type corresponding to the value representation produced,
|
| 20 |
the behavior is undefined. If there are multiple such values, which
|
| 21 |
-
value is produced is unspecified.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 22 |
|
| 23 |
*Remarks:* This function is `constexpr` if and only if `To`, `From`, and
|
| 24 |
the types of all subobjects of `To` and `From` are types `T` such that:
|
| 25 |
|
| 26 |
- `is_union_v<T>` is `false`;
|
|
|
|
| 16 |
of the result is equal to the corresponding bit in the object
|
| 17 |
representation of `from`. Padding bits of the result are unspecified.
|
| 18 |
For the result and each object created within it, if there is no value
|
| 19 |
of the object’s type corresponding to the value representation produced,
|
| 20 |
the behavior is undefined. If there are multiple such values, which
|
| 21 |
+
value is produced is unspecified. A bit in the value representation of
|
| 22 |
+
the result is indeterminate if it does not correspond to a bit in the
|
| 23 |
+
value representation of `from` or corresponds to a bit of an object that
|
| 24 |
+
is not within its lifetime or has an indeterminate
|
| 25 |
+
value [[basic.indet]]. For each bit in the value representation of the
|
| 26 |
+
result that is indeterminate, the smallest object containing that bit
|
| 27 |
+
has an indeterminate value; the behavior is undefined unless that object
|
| 28 |
+
is of unsigned ordinary character type or `std::byte` type. The result
|
| 29 |
+
does not otherwise contain any indeterminate values.
|
| 30 |
|
| 31 |
*Remarks:* This function is `constexpr` if and only if `To`, `From`, and
|
| 32 |
the types of all subobjects of `To` and `From` are types `T` such that:
|
| 33 |
|
| 34 |
- `is_union_v<T>` is `false`;
|