std::destructible
From cppreference.com
C++
Feature test macros (C++20)
Concepts library (C++20)
Metaprogramming library (C++11)
Ranges library (C++20)
Filesystem library (C++17)
Concurrency support library (C++11)
Execution control library (C++26)
Concepts library
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)(C++20)
destructible
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)(C++20)
(C++20)(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
Exposition-only concepts
(C++20)
Defined in header
<concepts>
template< class T >
concept destructible = std::is_nothrow_destructible_v <T>;
(since C++20)
concept destructible = std::is_nothrow_destructible_v <T>;
The concept destructible specifies the concept of all types whose instances can safely be destroyed at the end of their lifetime (including reference types).
[edit] Notes
Unlike the Destructible named requirement, std::destructible requires the destructor to be noexcept(true), not merely non-throwing when invoked, and allows reference types and array types.
[edit] References
- C++23 standard (ISO/IEC 14882:2024):
- 18.4.10 Concept
destructible[concept.destructible]
- 18.4.10 Concept
- C++20 standard (ISO/IEC 14882:2020):
- 18.4.10 Concept
destructible[concept.destructible]
- 18.4.10 Concept