std::destructible
Определён в заголовочном файле <concepts> | ||
|---|---|---|
template< class T > concept destructible = std::is_nothrow_destructible_v<T>; | (начиная с C++20) |
Концепт destructible описывает все типы, экземпляры которых можно безопасно уничтожить в конце их времени жизни (включая ссылочные типы).
Примечания
В отличие от именованного требования Destructible, std::destructible требует, чтобы деструктор был noexcept(true), а не просто не выбрасывал исключения при вызове; кроме того, этот концепт допускает ссылочные типы и типы массивов.
Ссылки
- Стандарт C++23 (ISO/IEC 14882:2024):
- 18.4.10 Концепт
destructible[concept.destructible] - Стандарт C++20 (ISO/IEC 14882:2020):
- 18.4.10 Концепт
destructible[concept.destructible]
См. также
|
(C++11)(C++11)(C++11) | проверяет, есть ли у типа неудалённый деструктор (шаблон класса) |
|
(C++26)(C++26)(C++26) | проверяет, есть ли у отражённого типа неудалённый деструктор (функция) |
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/concepts/destructible
