bit.hpp

#ifndef HALCHECK_LIB_BIT_HPP
#define HALCHECK_LIB_BIT_HPP
 
#include <halcheck/lib/type_traits.hpp>
 
#include <cstring>
 
namespace halcheck { namespace lib {
 
template<
    typename T,
    typename U,
    HALCHECK_REQUIRE(sizeof(T) == sizeof(U)),
    HALCHECK_REQUIRE(std::is_trivially_copyable<T>()),
    HALCHECK_REQUIRE(std::is_trivially_copyable<U>()),
    HALCHECK_REQUIRE(std::is_trivially_constructible<T>())>
T bit_cast(const U &src) noexcept {
  T dest;
  std::memcpy(&dest, &src, sizeof(U));
  return dest;
}
 
}} // namespace halcheck::lib
 
#endif