mirror/Sprout
1
0
Fork 0
mirror of https://github.com/bolero-MURAKAMI/Sprout.git synced 2024-12-23 21:25:49 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

change addressof traits

Browse source
This commit is contained in:
bolero-MURAKAMI 2016-04-14 23:16:21 +09:00
parent b3ce7296da
commit e5637554d1
3 changed files with 56 additions and 61 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
sprout/functional/hash/to_hash.hpp
View file

@ -8,6 +8,7 @@
#ifndef SPROUT_FUNCTIONAL_HASH_TO_HASH_HPP
#define SPROUT_FUNCTIONAL_HASH_TO_HASH_HPP
#include <type_traits>
#include <sprout/config.hpp>
#include <sprout/workaround/std/cstddef.hpp>
#include <sprout/functional/hash/hash_fwd.hpp>
@ -17,7 +18,7 @@ namespace sprout {
// to_hash
//
// effect:
// sprout::hash_value_traits<T>::hash_value(v)
// sprout::hash_value_traits<typename std::remove_reference<T>::type>::hash_value(v)
// [default]
// ADL callable hash_value(v) -> hash_value(v)
// [default]
@ -27,7 +28,7 @@ namespace sprout {
template<typename T>
inline SPROUT_CONSTEXPR std::size_t
to_hash(T&& v) {
return sprout::hash_value_traits<T>::hash_value(v);
return sprout::hash_value_traits<typename std::remove_reference<T>::type>::hash_value(v);
}
} // namespace sprout

90
sprout/memory/addressof.hpp
View file

@ -16,6 +16,10 @@
#include <sprout/type_traits/integral_constant.hpp>
#include <sprout/adl/not_found.hpp>
namespace sprout_adl {
sprout::not_found_via_adl get_addressof(...);
} // namespace sprout_adl
namespace sprout {
namespace detail {
struct address_op_helper {};
@ -72,35 +76,48 @@ namespace sprout {
>
{};
template<typename T, bool IsOverloaded = sprout::detail::has_address_op<T>::value>
struct addressof_traits_default;
template<typename T>
struct addressof_traits_default<T, true> {
public:
template<typename U>
static U*
get_addressof(U& t) SPROUT_NOEXCEPT {
return std::addressof(t);
}
};
inline SPROUT_CONSTEXPR typename std::enable_if<
sprout::detail::has_address_op<T>::value,
T*
>::type
get_addressof_impl(T& t) SPROUT_NOEXCEPT {
return std::addressof(t);
}
template<typename T>
struct addressof_traits_default<T, false> {
public:
template<typename U>
static SPROUT_CONSTEXPR U*
get_addressof(U& t) SPROUT_NOEXCEPT {
return &t;
}
};
inline SPROUT_CONSTEXPR typename std::enable_if<
!sprout::detail::has_address_op<T>::value,
T*
>::type
get_addressof_impl(T& t) SPROUT_NOEXCEPT {
return &t;
}
} // namespace detail
} // namespace sprout
namespace sprout_addressof_detail {
template<typename T>
inline SPROUT_CONSTEXPR T*
get_addressof(T& t) SPROUT_NOEXCEPT {
return sprout::detail::get_addressof_impl(t);
}
} // namespace sprout_addressof_detail
namespace sprout {
//
// address_traits
//
template<typename T>
struct address_traits
: public sprout::detail::addressof_traits_default<T>
{};
struct address_traits {
public:
template<typename U>
static SPROUT_CONSTEXPR U*
get_addressof(U& t) SPROUT_NOEXCEPT {
using sprout_addressof_detail::get_addressof;
using sprout_adl::get_addressof;
return get_addressof(t);
}
};
template<typename T>
struct address_traits<T const>
: public sprout::address_traits<T>
@ -115,41 +132,22 @@ namespace sprout {
{};
} // namespace sprout
namespace sprout_adl {
sprout::not_found_via_adl get_addressof(...);
} // namespace sprout_adl
namespace sprout_addressof_detail {
template<typename T>
inline SPROUT_CONSTEXPR T*
get_addressof(T& t) SPROUT_NOEXCEPT {
return sprout::address_traits<T>::get_addressof(t);
}
template<typename T>
inline SPROUT_CONSTEXPR T*
call_get_addressof(T& t) SPROUT_NOEXCEPT {
using sprout_adl::get_addressof;
using sprout_addressof_detail::get_addressof;
return get_addressof(t);
}
} // namespace sprout_addressof_detail
namespace sprout {
//
// addressof
//
// effect:
// ADL callable get_addressof(t) -> get_addressof(t)
// otherwise -> sprout::address_traits<T>::get_addressof(t)
// sprout::address_traits<T>::get_addressof(t)
// [default]
// no overloaded operator&() -> &t
// otherwise -> std::addressof(t)
// ADL callable get_addressof(t) -> get_addressof(t)
// [default]
// no overloaded operator&() -> &t
// otherwise -> std::addressof(t)
//
template<typename T>
inline SPROUT_CONSTEXPR T*
addressof(T& t) SPROUT_NOEXCEPT {
return sprout_addressof_detail::call_get_addressof(t);
return sprout::address_traits<T>::get_addressof(t);
}
} // namespace sprout

22
sprout/tuple/tuple/tuple_access_traits.hpp
View file

@ -24,8 +24,6 @@ namespace sprout_adl {
} // namespace sprout_adl
namespace sprout_tuple_detail {
using sprout_adl::tuple_get;
template<std::size_t I, typename T>
inline SPROUT_CONSTEXPR decltype(std::get<I>(std::declval<T&>()))
tuple_get(T& t)
@ -50,14 +48,6 @@ namespace sprout_tuple_detail {
{
return std::get<I>(t);
}
template<std::size_t I, typename T>
inline SPROUT_CONSTEXPR decltype(tuple_get<I>(std::declval<T>()))
call_tuple_get(T&& t)
SPROUT_NOEXCEPT_IF_EXPR(tuple_get<I>(std::declval<T>()))
{
return tuple_get<I>(SPROUT_FORWARD(T, t));
}
} // namespace sprout_tuple_detail
namespace sprout {
@ -71,17 +61,23 @@ namespace sprout {
template<std::size_t I>
static SPROUT_CONSTEXPR typename sprout::tuples::tuple_traits<Tuple>::template lvalue_reference<I>::type
tuple_get(Tuple& t) SPROUT_NOEXCEPT {
return sprout_tuple_detail::call_tuple_get<I>(t);
using sprout_tuple_detail::tuple_get;
using sprout_adl::tuple_get;
return tuple_get<I>(t);
}
template<std::size_t I>
static SPROUT_CONSTEXPR typename sprout::tuples::tuple_traits<Tuple>::template rvalue_reference<I>::type
tuple_get(Tuple&& t) SPROUT_NOEXCEPT {
return sprout_tuple_detail::call_tuple_get<I>(sprout::move(t));
using sprout_tuple_detail::tuple_get;
using sprout_adl::tuple_get;
return tuple_get<I>(sprout::move(t));
}
template<std::size_t I>
static SPROUT_CONSTEXPR typename sprout::tuples::tuple_traits<Tuple const>::template lvalue_reference<I>::type
tuple_get(Tuple const& t) SPROUT_NOEXCEPT {
return sprout_tuple_detail::call_tuple_get<I>(t);
using sprout_tuple_detail::tuple_get;
using sprout_adl::tuple_get;
return tuple_get<I>(t);
}
};
template<typename Tuple>