tmp/tmpu3rf3c92/{from.md → to.md}
RENAMED
|
@@ -0,0 +1,16 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
### Concept <a id="concept.destructible">[[concept.destructible]]</a>
|
| 2 |
+
|
| 3 |
+
The `destructible` concept specifies properties of all types, instances
|
| 4 |
+
of which can be destroyed at the end of their lifetime, or reference
|
| 5 |
+
types.
|
| 6 |
+
|
| 7 |
+
``` cpp
|
| 8 |
+
template<class T>
|
| 9 |
+
concept destructible = is_nothrow_destructible_v<T>;
|
| 10 |
+
```
|
| 11 |
+
|
| 12 |
+
[*Note 1*: Unlike the *Cpp17Destructible*
|
| 13 |
+
requirements ([[cpp17.destructible]]), this concept forbids destructors
|
| 14 |
+
that are potentially throwing, even if a particular invocation of the
|
| 15 |
+
destructor does not actually throw. — *end note*]
|
| 16 |
+
|