2014-11-28 07:19:07 +00:00
|
|
|
/*=============================================================================
|
2015-01-10 10:13:57 +00:00
|
|
|
Copyright (c) 2011-2015 Bolero MURAKAMI
|
2014-11-28 07:19:07 +00:00
|
|
|
https://github.com/bolero-MURAKAMI/Sprout
|
|
|
|
|
|
|
|
|
|
Distributed under the Boost Software License, Version 1.0. (See accompanying
|
|
|
|
|
file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
|
|
|
|
|
=============================================================================*/
|
|
|
|
|
#ifndef SPROUT_UTILITY_REINTER_CAST_HPP
|
|
|
|
|
#define SPROUT_UTILITY_REINTER_CAST_HPP
|
|
|
|
|
|
|
|
|
|
#include <sprout/config.hpp>
|
|
|
|
|
#include <sprout/type_traits/integral_constant.hpp>
|
|
|
|
|
#include <sprout/type_traits/std_type_traits.hpp>
|
|
|
|
|
#include <sprout/type_traits/enabler_if.hpp>
|
|
|
|
|
#include <sprout/utility/forward.hpp>
|
|
|
|
|
|
|
|
|
|
namespace sprout {
|
|
|
|
|
namespace detail {
|
|
|
|
|
template<typename From, typename To>
|
|
|
|
|
struct is_same_reinterpret_cast
|
2014-12-10 10:54:12 +00:00
|
|
|
: public sprout::bool_constant<
|
2014-11-28 07:19:07 +00:00
|
|
|
(sprout::is_reference<To>::value
|
|
|
|
|
&& sprout::is_same<typename sprout::decay<From>::type, typename sprout::decay<To>::type>::value
|
|
|
|
|
&& sprout::is_convertible<From, To>::value
|
|
|
|
|
)
|
|
|
|
|
|| ((sprout::is_integral<To>::type || sprout::is_enum<To>::type || sprout::is_pointer<To>::type)
|
|
|
|
|
&& sprout::is_same<typename sprout::decay<From>::type, To>::value
|
|
|
|
|
)
|
|
|
|
|
|
|
|
|
|
>
|
|
|
|
|
{};
|
|
|
|
|
} // namespace detail
|
|
|
|
|
//
|
|
|
|
|
// reinter_cast
|
|
|
|
|
//
|
|
|
|
|
template<
|
|
|
|
|
typename T, typename U,
|
|
|
|
|
typename sprout::enabler_if<sprout::detail::is_same_reinterpret_cast<U&&, T>::value>::type = sprout::enabler
|
|
|
|
|
>
|
|
|
|
|
inline SPROUT_CONSTEXPR T
|
|
|
|
|
reinter_cast(U&& x) {
|
|
|
|
|
return SPROUT_FORWARD(U, x);
|
|
|
|
|
}
|
|
|
|
|
template<
|
|
|
|
|
typename T, typename U,
|
|
|
|
|
typename sprout::enabler_if<!sprout::detail::is_same_reinterpret_cast<U&&, T>::value>::type = sprout::enabler
|
|
|
|
|
>
|
|
|
|
|
inline SPROUT_NON_CONSTEXPR T
|
|
|
|
|
reinter_cast(U&& x) {
|
|
|
|
|
return reinterpret_cast<T>(SPROUT_FORWARD(U, x));
|
|
|
|
|
}
|
|
|
|
|
} // namespace sprout
|
|
|
|
|
|
|
|
|
|
#endif // #ifndef SPROUT_UTILITY_REINTER_CAST_HPP
|
