BlackMATov/invoke.hpp
1
0
Fork 0
mirror of https://github.com/BlackMATov/invoke.hpp.git synced 2025-12-13 05:56:31 +07:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #9 from smay1613/master

Browse Source 
C++11 implementation
This commit is contained in:
Matvey Cherevko
2020-05-19 21:23:38 +07:00
committed by GitHub
parent 88a0d59e18 4ca21a07a6
commit 1a4f6b851a
1 changed files with 52 additions and 23 deletions
Download Patch File Download Diff File Expand all files Collapse all files

75
headers/invoke.hpp/invoke.hpp
View File

@@ -54,7 +54,7 @@ namespace invoke_hpp
template < typename T > template < typename T >
struct is_reference_wrapper struct is_reference_wrapper
: impl::is_reference_wrapper_impl<std::remove_cv_t<T>> {}; : impl::is_reference_wrapper_impl<typename std::remove_cv<T>::type> {};
} }
// //
@@ -72,7 +72,7 @@ namespace invoke_hpp
template template
< <
typename Base, typename F, typename Derived, typename Base, typename F, typename Derived,
typename std::enable_if_t<std::is_base_of<Base, std::decay_t<Derived>>::value, int> = 0 typename std::enable_if<std::is_base_of<Base, typename std::decay<Derived>::type>::value, int>::type = 0
> >
constexpr auto invoke_member_object_impl(F Base::* f, Derived&& ref) constexpr auto invoke_member_object_impl(F Base::* f, Derived&& ref)
INVOKE_HPP_NOEXCEPT_DECLTYPE_RETURN( INVOKE_HPP_NOEXCEPT_DECLTYPE_RETURN(
@@ -81,7 +81,7 @@ namespace invoke_hpp
template template
< <
typename Base, typename F, typename RefWrap, typename Base, typename F, typename RefWrap,
typename std::enable_if_t<is_reference_wrapper<std::decay_t<RefWrap>>::value, int> = 0 typename std::enable_if<is_reference_wrapper<typename std::decay<RefWrap>::type>::value, int>::type = 0
> >
constexpr auto invoke_member_object_impl(F Base::* f, RefWrap&& ref) constexpr auto invoke_member_object_impl(F Base::* f, RefWrap&& ref)
INVOKE_HPP_NOEXCEPT_DECLTYPE_RETURN( INVOKE_HPP_NOEXCEPT_DECLTYPE_RETURN(
@@ -90,10 +90,10 @@ namespace invoke_hpp
template template
< <
typename Base, typename F, typename Pointer, typename Base, typename F, typename Pointer,
typename std::enable_if_t< typename std::enable_if<
!std::is_base_of<Base, std::decay_t<Pointer>>::value && !std::is_base_of<Base, typename std::decay<Pointer>::type>::value &&
!is_reference_wrapper<std::decay_t<Pointer>>::value !is_reference_wrapper<typename std::decay<Pointer>::type>::value
, int> = 0 , int>::type = 0
> >
constexpr auto invoke_member_object_impl(F Base::* f, Pointer&& ptr) constexpr auto invoke_member_object_impl(F Base::* f, Pointer&& ptr)
INVOKE_HPP_NOEXCEPT_DECLTYPE_RETURN( INVOKE_HPP_NOEXCEPT_DECLTYPE_RETURN(
@@ -106,7 +106,7 @@ namespace invoke_hpp
template template
< <
typename Base, typename F, typename Derived, typename... Args, typename Base, typename F, typename Derived, typename... Args,
typename std::enable_if_t<std::is_base_of<Base, std::decay_t<Derived>>::value, int> = 0 typename std::enable_if<std::is_base_of<Base, typename std::decay<Derived>::type>::value, int>::type = 0
> >
constexpr auto invoke_member_function_impl(F Base::* f, Derived&& ref, Args&&... args) constexpr auto invoke_member_function_impl(F Base::* f, Derived&& ref, Args&&... args)
INVOKE_HPP_NOEXCEPT_DECLTYPE_RETURN( INVOKE_HPP_NOEXCEPT_DECLTYPE_RETURN(
@@ -115,7 +115,7 @@ namespace invoke_hpp
template template
< <
typename Base, typename F, typename RefWrap, typename... Args, typename Base, typename F, typename RefWrap, typename... Args,
typename std::enable_if_t<is_reference_wrapper<std::decay_t<RefWrap>>::value, int> = 0 typename std::enable_if<is_reference_wrapper<typename std::decay<RefWrap>::type>::value, int>::type = 0
> >
constexpr auto invoke_member_function_impl(F Base::* f, RefWrap&& ref, Args&&... args) constexpr auto invoke_member_function_impl(F Base::* f, RefWrap&& ref, Args&&... args)
INVOKE_HPP_NOEXCEPT_DECLTYPE_RETURN( INVOKE_HPP_NOEXCEPT_DECLTYPE_RETURN(
@@ -124,10 +124,10 @@ namespace invoke_hpp
template template
< <
typename Base, typename F, typename Pointer, typename... Args, typename Base, typename F, typename Pointer, typename... Args,
typename std::enable_if_t< typename std::enable_if<
!std::is_base_of<Base, std::decay_t<Pointer>>::value && !std::is_base_of<Base, typename std::decay<Pointer>::type>::value &&
!is_reference_wrapper<std::decay_t<Pointer>>::value !is_reference_wrapper<typename std::decay<Pointer>::type>::value
, int> = 0 , int>::type = 0
> >
constexpr auto invoke_member_function_impl(F Base::* f, Pointer&& ptr, Args&&... args) constexpr auto invoke_member_function_impl(F Base::* f, Pointer&& ptr, Args&&... args)
INVOKE_HPP_NOEXCEPT_DECLTYPE_RETURN( INVOKE_HPP_NOEXCEPT_DECLTYPE_RETURN(
@@ -137,7 +137,7 @@ namespace invoke_hpp
template template
< <
typename F, typename... Args, typename F, typename... Args,
typename std::enable_if_t<!std::is_member_pointer<std::decay_t<F>>::value, int> = 0 typename std::enable_if<!std::is_member_pointer<typename std::decay<F>::type>::value, int>::type = 0
> >
constexpr auto invoke(F&& f, Args&&... args) constexpr auto invoke(F&& f, Args&&... args)
INVOKE_HPP_NOEXCEPT_DECLTYPE_RETURN( INVOKE_HPP_NOEXCEPT_DECLTYPE_RETURN(
@@ -146,7 +146,7 @@ namespace invoke_hpp
template template
< <
typename F, typename T, typename F, typename T,
typename std::enable_if_t<std::is_member_object_pointer<std::decay_t<F>>::value, int> = 0 typename std::enable_if<std::is_member_object_pointer<typename std::decay<F>::type>::value, int>::type = 0
> >
constexpr auto invoke(F&& f, T&& t) constexpr auto invoke(F&& f, T&& t)
INVOKE_HPP_NOEXCEPT_DECLTYPE_RETURN( INVOKE_HPP_NOEXCEPT_DECLTYPE_RETURN(
@@ -155,7 +155,7 @@ namespace invoke_hpp
template template
< <
typename F, typename... Args, typename F, typename... Args,
typename std::enable_if_t<std::is_member_function_pointer<std::decay_t<F>>::value, int> = 0 typename std::enable_if<std::is_member_function_pointer<typename std::decay<F>::type>::value, int>::type = 0
> >
constexpr auto invoke(F&& f, Args&&... args) constexpr auto invoke(F&& f, Args&&... args)
INVOKE_HPP_NOEXCEPT_DECLTYPE_RETURN( INVOKE_HPP_NOEXCEPT_DECLTYPE_RETURN(
@@ -205,10 +205,10 @@ namespace invoke_hpp
template < typename R, typename F, typename... Args > template < typename R, typename F, typename... Args >
struct is_invocable_r_impl<void_t<is_invocable_r_impl_tag, invoke_result_t<F, Args...>>, R, F, Args...> struct is_invocable_r_impl<void_t<is_invocable_r_impl_tag, invoke_result_t<F, Args...>>, R, F, Args...>
: std::conditional_t< : std::conditional<
std::is_void<R>::value, std::is_void<R>::value,
std::true_type, std::true_type,
std::is_convertible<invoke_result_t<F, Args...>, R>> {}; std::is_convertible<invoke_result_t<F, Args...>, R>>::type {};
} }
template < typename R, typename F, typename... Args > template < typename R, typename F, typename... Args >
@@ -223,26 +223,55 @@ namespace invoke_hpp
// apply // apply
// //
namespace invoke_hpp
{
namespace impl
{
template<typename T, T... Ints>
struct integer_sequence
{
typedef T value_type;
static constexpr std::size_t size() { return sizeof...(Ints); }
};
template<std::size_t... Ints>
using index_sequence = integer_sequence<std::size_t, Ints...>;
template<typename T, std::size_t N, T... Is>
struct make_integer_sequence : make_integer_sequence<T, N-1, N-1, Is...> {};
template<typename T, T... Is>
struct make_integer_sequence<T, 0, Is...> : integer_sequence<T, Is...> {};
template<std::size_t N>
using make_index_sequence = make_integer_sequence<std::size_t, N>;
template<typename... T>
using index_sequence_for = make_index_sequence<sizeof...(T)>;
}
}
namespace invoke_hpp namespace invoke_hpp
{ {
namespace impl namespace impl
{ {
template < typename F, typename Tuple, std::size_t... I > template < typename F, typename Tuple, std::size_t... I >
constexpr decltype(auto) apply_impl(F&& f, Tuple&& args, std::index_sequence<I...>) constexpr auto apply_impl(F&& f, Tuple&& args, impl::index_sequence<I...>)
INVOKE_HPP_NOEXCEPT_RETURN( INVOKE_HPP_NOEXCEPT_DECLTYPE_RETURN(
invoke_hpp::invoke( invoke_hpp::invoke(
std::forward<F>(f), std::forward<F>(f),
std::get<I>(std::forward<Tuple>(args))...)) std::get<I>(std::forward<Tuple>(args))...))
} }
template < typename F, typename Tuple > template < typename F, typename Tuple >
constexpr decltype(auto) apply(F&& f, Tuple&& args) constexpr auto apply(F&& f, Tuple&& args)
INVOKE_HPP_NOEXCEPT_RETURN( INVOKE_HPP_NOEXCEPT_DECLTYPE_RETURN(
impl::apply_impl( impl::apply_impl(
std::forward<F>(f), std::forward<F>(f),
std::forward<Tuple>(args), std::forward<Tuple>(args),
std::make_index_sequence<std::tuple_size<std::decay_t<Tuple>>::value>())) impl::make_index_sequence<std::tuple_size<typename std::decay<Tuple>::type>::value>()))
} }
#undef INVOKE_HPP_NOEXCEPT_RETURN #undef INVOKE_HPP_NOEXCEPT_RETURN
#undef INVOKE_HPP_NOEXCEPT_DECLTYPE_RETURN #undef INVOKE_HPP_NOEXCEPT_DECLTYPE_RETURN