From Jason Turner

[func.wrap.badcall]

Diff to HTML by rtfpessoa

tmp/tmp8rpywljf/{from.md → to.md} RENAMED
@@ -4,21 +4,23 @@ An exception of type `bad_function_call` is thrown by
4
  `function::operator()` ([[func.wrap.func.inv]]) when the function
5
  wrapper object has no target.
6
 
7
  ``` cpp
8
  namespace std {
9
- class bad_function_call : public std::exception {
10
  public:
11
- // [func.wrap.badcall.const], constructor:
12
  bad_function_call() noexcept;
13
  };
14
- } // namespace std
15
  ```
16
 
17
  ##### `bad_function_call` constructor <a id="func.wrap.badcall.const">[[func.wrap.badcall.const]]</a>
18
 
19
  ``` cpp
20
  bad_function_call() noexcept;
21
  ```
22
 
23
- *Effects:* constructs a `bad_function_call` object.
 
 
24
 
 
4
  `function::operator()` ([[func.wrap.func.inv]]) when the function
5
  wrapper object has no target.
6
 
7
  ``` cpp
8
  namespace std {
9
+ class bad_function_call : public exception {
10
  public:
11
+ // [func.wrap.badcall.const], constructor
12
  bad_function_call() noexcept;
13
  };
14
+ }
15
  ```
16
 
17
  ##### `bad_function_call` constructor <a id="func.wrap.badcall.const">[[func.wrap.badcall.const]]</a>
18
 
19
  ``` cpp
20
  bad_function_call() noexcept;
21
  ```
22
 
23
+ *Effects:* Constructs a `bad_function_call` object.
24
+
25
+ *Postconditions:* `what()` returns an *implementation-defined* NTBS.
26