basic_facade_builder::support_destruction
template <constraint_level CL>
using support_destruction = basic_facade_builder</* see below */>;
The alias template support_destruction of basic_facade_builder<Cs, Rs, MaxSize, MaxAlign, Copyability, Relocatability, Destructibility> adds destruction support to the template parameters. After the operation, Destructibility becomes std::max(Destructibility, CL).
Notes
If no destructibility support is applied before specifying build, the default value of build::destructibility is pro::constraint_level::nothrow.
Example
#include <type_traits>
#include <proxy/proxy.h>
struct Movable : pro::facade_builder::build {};
struct NonriviallyDestructible
: pro::facade_builder //
::support_relocation<pro::constraint_level::nontrivial> //
::support_destruction<pro::constraint_level::nontrivial> //
::build {};
int main() {
static_assert(std::is_nothrow_destructible_v<pro::proxy<Movable>>);
static_assert(
!std::is_nothrow_destructible_v<pro::proxy<NonriviallyDestructible>>);
}