Description:

This concept is for internal use. It is satisfied if the given type T fits into the placeholder, is copy-constructible and trivially destructible.

Template Parameters

T	The type to test.
TVal	Decayed version of T. Deduced by the compiler, must not be given.

Definition at line 299 of file boxingtraits.hpp.

#include <boxingtraits.hpp>

Concept definition

template<typename T, typename TVal= ALIB_TVALUE(T)>
concept IsStdPH =        sizeof(std::conditional_t<std::same_as<void, TVal>, void*, TVal>)
                     <= sizeof(Placeholder)
                 &&  std::is_copy_constructible    <TVal>::value
                 &&  std::is_trivially_destructible<TVal>::value