tmp/tmph5lz2th3/{from.md → to.md}
RENAMED
|
@@ -37,12 +37,12 @@ returned value.
|
|
| 37 |
``` cpp
|
| 38 |
[[noreturn]] void rethrow_nested() const;
|
| 39 |
```
|
| 40 |
|
| 41 |
*Effects:* If `nested_ptr()` returns a null pointer, the function calls
|
| 42 |
-
`std::terminate
|
| 43 |
-
by `*this`.
|
| 44 |
|
| 45 |
``` cpp
|
| 46 |
exception_ptr nested_ptr() const noexcept;
|
| 47 |
```
|
| 48 |
|
|
@@ -53,11 +53,11 @@ object.
|
|
| 53 |
template<class T> [[noreturn]] void throw_with_nested(T&& t);
|
| 54 |
```
|
| 55 |
|
| 56 |
Let `U` be `decay_t<T>`.
|
| 57 |
|
| 58 |
-
*
|
| 59 |
|
| 60 |
*Throws:* If
|
| 61 |
`is_class_v<U> && !is_final_v<U> && !is_base_of_v<nested_exception, U>`
|
| 62 |
is `true`, an exception of unspecified type that is publicly derived
|
| 63 |
from both `U` and `nested_exception` and constructed from
|
|
|
|
| 37 |
``` cpp
|
| 38 |
[[noreturn]] void rethrow_nested() const;
|
| 39 |
```
|
| 40 |
|
| 41 |
*Effects:* If `nested_ptr()` returns a null pointer, the function calls
|
| 42 |
+
the function `std::terminate`. Otherwise, it throws the stored exception
|
| 43 |
+
captured by `*this`.
|
| 44 |
|
| 45 |
``` cpp
|
| 46 |
exception_ptr nested_ptr() const noexcept;
|
| 47 |
```
|
| 48 |
|
|
|
|
| 53 |
template<class T> [[noreturn]] void throw_with_nested(T&& t);
|
| 54 |
```
|
| 55 |
|
| 56 |
Let `U` be `decay_t<T>`.
|
| 57 |
|
| 58 |
+
*Preconditions:* `U` meets the *Cpp17CopyConstructible* requirements.
|
| 59 |
|
| 60 |
*Throws:* If
|
| 61 |
`is_class_v<U> && !is_final_v<U> && !is_base_of_v<nested_exception, U>`
|
| 62 |
is `true`, an exception of unspecified type that is publicly derived
|
| 63 |
from both `U` and `nested_exception` and constructed from
|