bitwise_cast.hpp 2.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384
  1. /*
  2. * Distributed under the Boost Software License, Version 1.0.
  3. * (See accompanying file LICENSE_1_0.txt or copy at
  4. * http://www.boost.org/LICENSE_1_0.txt)
  5. *
  6. * Copyright (c) 2009 Helge Bahmann
  7. * Copyright (c) 2012 Tim Blechmann
  8. * Copyright (c) 2013 - 2018, 2020 Andrey Semashev
  9. */
  10. /*!
  11. * \file atomic/detail/bitwise_cast.hpp
  12. *
  13. * This header defines \c bitwise_cast used to convert between storage and value types
  14. */
  15. #ifndef BOOST_ATOMIC_DETAIL_BITWISE_CAST_HPP_INCLUDED_
  16. #define BOOST_ATOMIC_DETAIL_BITWISE_CAST_HPP_INCLUDED_
  17. #include <cstddef>
  18. #include <boost/atomic/detail/config.hpp>
  19. #include <boost/atomic/detail/addressof.hpp>
  20. #include <boost/atomic/detail/string_ops.hpp>
  21. #include <boost/atomic/detail/type_traits/integral_constant.hpp>
  22. #ifdef BOOST_HAS_PRAGMA_ONCE
  23. #pragma once
  24. #endif
  25. #if defined(BOOST_GCC) && BOOST_GCC >= 80000
  26. #pragma GCC diagnostic push
  27. // copying an object of non-trivial type X from an array of Y. This is benign because we use memcpy to copy trivially copyable objects.
  28. #pragma GCC diagnostic ignored "-Wclass-memaccess"
  29. #endif
  30. namespace boost {
  31. namespace atomics {
  32. namespace detail {
  33. template< std::size_t FromSize, typename To >
  34. BOOST_FORCEINLINE void clear_tail_padding_bits(To& to, atomics::detail::true_type) BOOST_NOEXCEPT
  35. {
  36. BOOST_ATOMIC_DETAIL_MEMSET(reinterpret_cast< unsigned char* >(atomics::detail::addressof(to)) + FromSize, 0, sizeof(To) - FromSize);
  37. }
  38. template< std::size_t FromSize, typename To >
  39. BOOST_FORCEINLINE void clear_tail_padding_bits(To&, atomics::detail::false_type) BOOST_NOEXCEPT
  40. {
  41. }
  42. template< std::size_t FromSize, typename To >
  43. BOOST_FORCEINLINE void clear_tail_padding_bits(To& to) BOOST_NOEXCEPT
  44. {
  45. atomics::detail::clear_tail_padding_bits< FromSize >(to, atomics::detail::integral_constant< bool, FromSize < sizeof(To) >());
  46. }
  47. template< typename To, std::size_t FromSize, typename From >
  48. BOOST_FORCEINLINE To bitwise_cast(From const& from) BOOST_NOEXCEPT
  49. {
  50. To to;
  51. BOOST_ATOMIC_DETAIL_MEMCPY
  52. (
  53. atomics::detail::addressof(to),
  54. atomics::detail::addressof(from),
  55. (FromSize < sizeof(To) ? FromSize : sizeof(To))
  56. );
  57. atomics::detail::clear_tail_padding_bits< FromSize >(to);
  58. return to;
  59. }
  60. template< typename To, typename From >
  61. BOOST_FORCEINLINE To bitwise_cast(From const& from) BOOST_NOEXCEPT
  62. {
  63. return atomics::detail::bitwise_cast< To, sizeof(From) >(from);
  64. }
  65. } // namespace detail
  66. } // namespace atomics
  67. } // namespace boost
  68. #if defined(BOOST_GCC) && BOOST_GCC >= 80000
  69. #pragma GCC diagnostic pop
  70. #endif
  71. #endif // BOOST_ATOMIC_DETAIL_BITWISE_CAST_HPP_INCLUDED_