tmp/tmpvxx06zda/{from.md → to.md}
RENAMED
|
@@ -0,0 +1,16 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
#### Destructor <a id="optional.dtor">[[optional.dtor]]</a>
|
| 2 |
+
|
| 3 |
+
``` cpp
|
| 4 |
+
~optional();
|
| 5 |
+
```
|
| 6 |
+
|
| 7 |
+
*Effects:* If `is_trivially_destructible_v<T> != true` and `*this`
|
| 8 |
+
contains a value, calls
|
| 9 |
+
|
| 10 |
+
``` cpp
|
| 11 |
+
val->T::~T()
|
| 12 |
+
```
|
| 13 |
+
|
| 14 |
+
*Remarks:* If `is_trivially_destructible_v<T> == true` then this
|
| 15 |
+
destructor shall be a trivial destructor.
|
| 16 |
+
|