King_DuckZ/Sprout
1
0
Fork 0
mirror of https://github.com/bolero-MURAKAMI/Sprout synced 2025-08-03 12:49:50 +00:00
Code Issues Releases Wiki Activity

add pointer_cast

Browse source
This commit is contained in:
bolero-MURAKAMI 2014-11-28 16:19:07 +09:00
parent 897d1e25b6
commit fbb95d9068
36 changed files with 553 additions and 72 deletions
Download patch file Download diff file Expand all files Collapse all files

55
sprout/utility/reinter_cast.hpp Normal file
View file

@ -0,0 +1,55 @@
/*=============================================================================
Copyright (c) 2011-2014 Bolero MURAKAMI
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
: public sprout::integral_constant<
bool,
(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