quickcpplib::_xxx::erasure_cast Namespace Reference

Namespaces
namespace	detail

Functions
template<class To , class From , typename std::enable_if<(detail::is_erasure_castable< To, From >::value &&(sizeof(To)==sizeof(From))), bool >::type = true>
constexpr To	erasure_cast (const From &from, detail::bit_cast_equivalence_overload={}) noexcept
	Erasure cast implementation chosen if types are move relocating or trivally copyable, have identical size, and are bit castable. Constexpr. Forwards to bit_cast() directly.
template<class To , class From , typename std::enable_if<(detail::is_erasure_castable< To, From >::value &&detail::is_static_castable< To, From >::value &&(sizeof(To)< sizeof(From))), bool >::type = true>
constexpr To	erasure_cast (const From &from, detail::static_cast_dest_smaller_overload={}) noexcept
	Erasure cast implementation chosen if types are move relocating or trivally copyable, are statically castable, and destination type is smaller than source type. Constexpr.
template<class To , class From , typename std::enable_if<(detail::is_erasure_castable< To, From >::value &&detail::is_static_castable< To, From >::value &&(sizeof(To) > sizeof(From))), bool >::type = true>
constexpr To	erasure_cast (const From &from, detail::static_cast_dest_larger_overload={}) noexcept
	Erasure cast implementation chosen if types are move relocating or trivally copyable, are statically castable, and destination type is larger than source type. Constexpr.
template<class To , class From , typename std::enable_if<(detail::is_erasure_castable< To, From >::value &&!detail::is_static_castable< To, From >::value &&(sizeof(To)< sizeof(From))), bool >::type = true>
constexpr To	erasure_cast (const From &from, detail::union_cast_dest_smaller_overload={}) noexcept
	Erasure cast implementation chosen if types are move relocating or trivally copyable, are union castable, and destination type is smaller than source type. May be constexpr if underlying bit cast is constexpr.
template<class To , class From , typename std::enable_if<(detail::is_erasure_castable< To, From >::value &&!detail::is_static_castable< To, From >::value &&(sizeof(To) > sizeof(From))), bool >::type = true>
constexpr To	erasure_cast (const From &from, detail::union_cast_dest_larger_overload={}) noexcept
	Erasure cast implementation chosen if types are move relocating or trivally copyable, are union castable, and destination type is larger than source type. May be constexpr if underlying bit cast is constexpr.

Function Documentation

erasure_cast() [1/5]

template<class To , class From , typename std::enable_if<(detail::is_erasure_castable< To, From >::value &&(sizeof(To)==sizeof(From))), bool >::type = true>

constexpr To quickcpplib::_xxx::erasure_cast::erasure_cast ( const From &  from, detail::bit_cast_equivalence_overload  = {}  )

inlineconstexprnoexcept

Erasure cast implementation chosen if types are move relocating or trivally copyable, have identical size, and are bit castable. Constexpr. Forwards to bit_cast() directly.

{}) noexcept { return bit_cast<To>(from); }

erasure_cast() [2/5]

template<class To , class From , typename std::enable_if<(detail::is_erasure_castable< To, From >::value &&detail::is_static_castable< To, From >::value &&(sizeof(To)< sizeof(From))), bool >::type = true>

constexpr To quickcpplib::_xxx::erasure_cast::erasure_cast ( const From &  from, detail::static_cast_dest_smaller_overload  = {}  )

inlineconstexprnoexcept

Erasure cast implementation chosen if types are move relocating or trivally copyable, are statically castable, and destination type is smaller than source type. Constexpr.

{}) noexcept { return static_cast<To>(bit_cast<detail::erasure_integer_type<From, To>>(from)); }

erasure_cast() [3/5]

template<class To , class From , typename std::enable_if<(detail::is_erasure_castable< To, From >::value &&detail::is_static_castable< To, From >::value &&(sizeof(To) > sizeof(From))), bool >::type = true>

constexpr To quickcpplib::_xxx::erasure_cast::erasure_cast ( const From &  from, detail::static_cast_dest_larger_overload  = {}  )

inlineconstexprnoexcept

Erasure cast implementation chosen if types are move relocating or trivally copyable, are statically castable, and destination type is larger than source type. Constexpr.

{}) noexcept { return bit_cast<To>(static_cast<detail::erasure_integer_type<To, From>>(from)); }

erasure_cast() [4/5]

template<class To , class From , typename std::enable_if<(detail::is_erasure_castable< To, From >::value &&!detail::is_static_castable< To, From >::value &&(sizeof(To)< sizeof(From))), bool >::type = true>

constexpr To quickcpplib::_xxx::erasure_cast::erasure_cast ( const From &  from, detail::union_cast_dest_smaller_overload  = {}  )

inlineconstexprnoexcept

Erasure cast implementation chosen if types are move relocating or trivally copyable, are union castable, and destination type is smaller than source type. May be constexpr if underlying bit cast is constexpr.

{}) noexcept { return bit_cast<detail::padded_erasure_object<To, sizeof(From) - sizeof(To)>>(from).value; }

erasure_cast() [5/5]

template<class To , class From , typename std::enable_if<(detail::is_erasure_castable< To, From >::value &&!detail::is_static_castable< To, From >::value &&(sizeof(To) > sizeof(From))), bool >::type = true>

constexpr To quickcpplib::_xxx::erasure_cast::erasure_cast ( const From &  from, detail::union_cast_dest_larger_overload  = {}  )

inlineconstexprnoexcept

Erasure cast implementation chosen if types are move relocating or trivally copyable, are union castable, and destination type is larger than source type. May be constexpr if underlying bit cast is constexpr.

{}) noexcept { return bit_cast<To>(detail::padded_erasure_object<From, sizeof(To) - sizeof(From)>{from}); }