erasure_cast.hpp File Reference

#include "bit_cast.hpp"

Namespaces
namespace	quickcpplib
	The QuickCppLib namespace.
namespace	quickcpplib::_xxx
	Per commit unique namespace to prevent different git submodule versions clashing.
namespace	quickcpplib::_xxx::erasure_cast
namespace	quickcpplib::_xxx::erasure_cast::detail

Typedefs
template<class To , class From >
using	quickcpplib::_xxx::erasure_cast::detail::is_erasure_castable = std::integral_constant< bool, traits::is_move_relocating< To >::value &&traits::is_move_relocating< From >::value >
template<class OfSize , class OfSign >
using	quickcpplib::_xxx::erasure_cast::detail::erasure_integer_type = typename std::conditional< std::is_signed< typename identity_or_underlying_type< OfSign >::type >::value, typename std::make_signed< typename identity_or_underlying_type< OfSize >::type >::type, typename std::make_unsigned< typename identity_or_underlying_type< OfSize >::type >::type >::type

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	quickcpplib::_xxx::erasure_cast::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	quickcpplib::_xxx::erasure_cast::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	quickcpplib::_xxx::erasure_cast::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	quickcpplib::_xxx::erasure_cast::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	quickcpplib::_xxx::erasure_cast::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.