boostorg/unordered
1
0
Fork 1
mirror of https://github.com/boostorg/unordered.git synced 2025-07-30 03:17:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

refactored value_from and insert overloads

Browse Source
This commit is contained in:
joaquintides
2022-10-20 19:48:17 +02:00
parent c1d5902911
commit d93875a65e
1 changed files with 40 additions and 54 deletions
Download Patch File Download Diff File Expand all files Collapse all files

94
include/boost/unordered/detail/foa.hpp
View File

@ -1084,6 +1084,43 @@ private:
static constexpr bool has_mutable_iterator=
!std::is_same<key_type,value_type>::value;
template<
typename T,
typename RawT=typename std::remove_cv<
typename std::remove_reference<T>::type>::type
>
using value_from_return_type=typename std::conditional<
std::is_same<RawT,init_type>::value||std::is_same<RawT,value_type>::value,
T,
typename std::conditional<
std::is_convertible<T,init_type&&>::value,
const init_type,
typename std::conditional<
std::is_convertible<T,value_type&&>::value,
const value_type,
typename std::conditional<
std::is_convertible<T,const init_type&>::value,
const init_type&,
typename std::conditional<
std::is_convertible<T,const value_type&>::value,
const value_type&,
void
>::type
>::type
>::type
>::type
>::type;
template<
typename T,
typename std::enable_if<
!std::is_void<value_from_return_type<T&&>>::value>::type* =nullptr
>
static inline value_from_return_type<T&&> value_from(T&& x)
{
return std::forward<T>(x);
}
public:
using hasher=Hash;
using key_equal=Pred;
@ -1269,12 +1306,9 @@ public:
std::forward_as_tuple(std::forward<Args>(args)...));
}
template<
typename T,
typename std::enable_if<
std::is_constructible<value_type,T&&>::value>* =nullptr
>
BOOST_FORCEINLINE std::pair<iterator,bool> insert(T&& x)
template<typename T>
BOOST_FORCEINLINE auto insert(T&& x)
->decltype(value_from(std::forward<T>(x)),std::pair<iterator,bool>())
{
return emplace_impl(value_from(std::forward<T>(x)));
}
@ -1475,54 +1509,6 @@ private:
}
}
template<typename T>
using is_init_or_value_type=std::integral_constant<
bool,
std::is_same<
init_type,
typename std::remove_cv<typename std::remove_reference<T>::type>::type
>::value||
std::is_same<
value_type,
typename std::remove_cv<typename std::remove_reference<T>::type>::type
>::value
>;
template<
typename T,
typename std::enable_if<is_init_or_value_type<T>::value>::type* =nullptr
>
static inline T&& value_from(T&& x)
{
return std::forward<T>(x);
}
template<
typename T,
typename Ty=typename std::decay<T>::type,
typename std::enable_if<
!is_init_or_value_type<T>::value&&
std::is_convertible<Ty,init_type>::value
>::type* =nullptr
>
static inline init_type value_from(T&& x)
{
return std::forward<T>(x);
}
template<
typename T,
typename Ty=typename std::decay<T>::type,
typename std::enable_if<
!is_init_or_value_type<T>::value&&
!std::is_convertible<Ty,init_type>::value
>::type* =nullptr
>
static inline value_type value_from(T&& x)
{
return std::forward<T>(x);
}
template<typename T>
static inline auto key_from(const T& x)
->decltype(type_policy::extract(x))