std::is_destructible_detail Namespace Reference

Typedef Documentation

raw_type_t

template<typename Type>

using std::is_destructible_detail::raw_type_t = remove_all_extents_t<remove_reference_t<Type>>

Helper alias for the non-array non-reference "raw" type for a given type.

Template Parameters

Type	the type to get the raw type for

Enumeration Type Documentation

is_destructible_result

enum class std::is_destructible_detail::is_destructible_result : uint8_t

strong

The result of the "destructible" check: is the type not destructible, destructible but throwing, or nothrow-destructible?

Enumerator
not_destructible
destructible
nothrow_destructible

Function Documentation

try_destroy()

template<class T>

auto std::is_destructible_detail::try_destroy ( ) & ->

constexprnoexcept

Helper function for checking if a type is destructible.

Template Parameters

T	The type to check

Returns

Nothing

Variable Documentation

destructible_result_v< Type, enable_if_t< !is_array_of_unknown_bound_v< Type > &&!is_reference_v< Type >, void_t< > > >

template<typename Type>

auto std::is_destructible_detail::destructible_result_v< Type, enable_if_t< !is_array_of_unknown_bound_v< Type > &&!is_reference_v< Type >, void_t< > > >

externconstexpr

Initial value:

=
    noexcept(try_destroy<raw_type_t<Type>>()) ? is_destructible_result::nothrow_destructible
                                              : is_destructible_result::destructible

Type trait to check whether a type is destructible, and if so, if it is no-throw destructible.

Template Parameters

Type	The type to check

destructible_result_v

template<typename Type, typename = void>

auto std::is_destructible_detail::destructible_result_v = is_destructible_result::not_destructible

externconstexpr

Type trait to check whether a type is destructible, and if so, if it is no-throw destructible.

Template Parameters

Type	The type to check

destructible_result_v< Type, enable_if_t< is_array_of_unknown_bound_v< Type > > >

template<typename Type>

auto std::is_destructible_detail::destructible_result_v< Type, enable_if_t< is_array_of_unknown_bound_v< Type > > >

externconstexpr

Initial value:

=
    is_destructible_result::not_destructible

Type trait to check whether a type is destructible, and if so, if it is no-throw destructible.

Template Parameters

Type	The type to check

destructible_result_v< Type, enable_if_t< is_reference_v< Type > > >

template<typename Type>

auto std::is_destructible_detail::destructible_result_v< Type, enable_if_t< is_reference_v< Type > > >

externconstexpr

Initial value:

=
    is_destructible_result::nothrow_destructible

Type trait to check whether a type is destructible, and if so, if it is no-throw destructible.

Template Parameters

Type	The type to check

is_array_of_unknown_bound_v

template<typename Type>

bool std::is_destructible_detail::is_array_of_unknown_bound_v = false

externconstexpr

Type trait to detect if a type is an array of unknown bound.

Template Parameters

Type	The type to check

is_array_of_unknown_bound_v< Type[]>

template<typename Type>

bool std::is_destructible_detail::is_array_of_unknown_bound_v< Type[]> = true

externconstexpr

Type trait to detect if a type is an array of unknown bound.

Template Parameters

Type	The type to check