From Jason Turner

[unexpected.handler]

Diff to HTML by rtfpessoa

Files changed (1) hide show
  1. tmp/tmpt2obdeei/{from.md → to.md} +0 -16
tmp/tmpt2obdeei/{from.md → to.md} RENAMED
@@ -1,16 +0,0 @@
1
- ### Type `unexpected_handler` <a id="unexpected.handler">[[unexpected.handler]]</a>
2
-
3
- ``` cpp
4
- typedef void (*unexpected_handler)();
5
- ```
6
-
7
- The type of a *handler function* to be called by `unexpected()` when a
8
- function attempts to throw an exception not listed in its
9
- *dynamic-exception-specification*.
10
-
11
- *Required behavior:* An `unexpected_handler` shall not return. See
12
- also  [[except.unexpected]].
13
-
14
- *Default behavior:* The implementation’s default `unexpected_handler`
15
- calls `std::terminate()`.
16
-