From Jason Turner

[unique.ptr.single.dtor]

Diff to HTML by rtfpessoa

tmp/tmpx9x5j362/{from.md → to.md} RENAMED
@@ -1,15 +1,14 @@
1
  ##### Destructor <a id="unique.ptr.single.dtor">[[unique.ptr.single.dtor]]</a>
2
 
3
  ``` cpp
4
- ~unique_ptr();
5
  ```
6
 
7
- *Preconditions:* The expression `get_deleter()(get())` is well-formed,
8
- has well-defined behavior, and does not throw exceptions.
9
 
10
  [*Note 3*: The use of `default_delete` requires `T` to be a complete
11
  type. — *end note*]
12
 
13
- *Effects:* If `get() == nullptr` there are no effects. Otherwise
14
- `get_deleter()(get())`.
15
 
 
1
  ##### Destructor <a id="unique.ptr.single.dtor">[[unique.ptr.single.dtor]]</a>
2
 
3
  ``` cpp
4
+ constexpr ~unique_ptr();
5
  ```
6
 
7
+ *Effects:* Equivalent to: `if (get()) get_deleter()(get());`
 
8
 
9
  [*Note 3*: The use of `default_delete` requires `T` to be a complete
10
  type. — *end note*]
11
 
12
+ *Remarks:* The behavior is undefined if the evaluation of
13
+ `get_deleter()(get())` throws an exception.
14