|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
#pragma once |
|
|
|
#include <memory> |
|
#include <tuple> |
|
#include <type_traits> |
|
|
|
#include "arrow/result.h" |
|
#include "arrow/util/macros.h" |
|
|
|
namespace arrow { |
|
namespace internal { |
|
|
|
struct Empty { |
|
static Result<Empty> ToResult(Status s) { |
|
if (ARROW_PREDICT_TRUE(s.ok())) { |
|
return Empty{}; |
|
} |
|
return s; |
|
} |
|
}; |
|
|
|
|
|
|
|
struct call_traits { |
|
public: |
|
template <typename R, typename... A> |
|
static std::false_type is_overloaded_impl(R(A...)); |
|
|
|
template <typename F> |
|
static std::false_type is_overloaded_impl(decltype(&F::operator())*); |
|
|
|
template <typename F> |
|
static std::true_type is_overloaded_impl(...); |
|
|
|
template <typename F, typename R, typename... A> |
|
static R return_type_impl(R (F::*)(A...)); |
|
|
|
template <typename F, typename R, typename... A> |
|
static R return_type_impl(R (F::*)(A...) const); |
|
|
|
template <std::size_t I, typename F, typename R, typename... A> |
|
static typename std::tuple_element<I, std::tuple<A...>>::type argument_type_impl( |
|
R (F::*)(A...)); |
|
|
|
template <std::size_t I, typename F, typename R, typename... A> |
|
static typename std::tuple_element<I, std::tuple<A...>>::type argument_type_impl( |
|
R (F::*)(A...) const); |
|
|
|
template <std::size_t I, typename F, typename R, typename... A> |
|
static typename std::tuple_element<I, std::tuple<A...>>::type argument_type_impl( |
|
R (F::*)(A...) &&); |
|
|
|
template <typename F, typename R, typename... A> |
|
static std::integral_constant<int, sizeof...(A)> argument_count_impl(R (F::*)(A...)); |
|
|
|
template <typename F, typename R, typename... A> |
|
static std::integral_constant<int, sizeof...(A)> argument_count_impl(R (F::*)(A...) |
|
const); |
|
|
|
template <typename F, typename R, typename... A> |
|
static std::integral_constant<int, sizeof...(A)> argument_count_impl(R (F::*)(A...) &&); |
|
|
|
|
|
|
|
|
|
template <typename F> |
|
using is_overloaded = |
|
decltype(is_overloaded_impl<typename std::decay<F>::type>(NULLPTR)); |
|
|
|
template <typename F, typename T = void> |
|
using enable_if_overloaded = typename std::enable_if<is_overloaded<F>::value, T>::type; |
|
|
|
template <typename F, typename T = void> |
|
using disable_if_overloaded = |
|
typename std::enable_if<!is_overloaded<F>::value, T>::type; |
|
|
|
|
|
|
|
template <std::size_t I, typename F> |
|
using argument_type = decltype(argument_type_impl<I>(&std::decay<F>::type::operator())); |
|
|
|
template <typename F> |
|
using argument_count = decltype(argument_count_impl(&std::decay<F>::type::operator())); |
|
|
|
template <typename F> |
|
using return_type = decltype(return_type_impl(&std::decay<F>::type::operator())); |
|
|
|
template <typename F, typename T, typename RT = T> |
|
using enable_if_return = |
|
typename std::enable_if<std::is_same<return_type<F>, T>::value, RT>; |
|
|
|
template <typename T, typename R = void> |
|
using enable_if_empty = typename std::enable_if<std::is_same<T, Empty>::value, R>::type; |
|
|
|
template <typename T, typename R = void> |
|
using enable_if_not_empty = |
|
typename std::enable_if<!std::is_same<T, Empty>::value, R>::type; |
|
}; |
|
|
|
|
|
|
|
|
|
|
|
|
|
template <typename Signature> |
|
class FnOnce; |
|
|
|
template <typename R, typename... A> |
|
class FnOnce<R(A...)> { |
|
public: |
|
FnOnce() = default; |
|
|
|
template <typename Fn, |
|
typename = typename std::enable_if<std::is_convertible< |
|
decltype(std::declval<Fn&&>()(std::declval<A>()...)), R>::value>::type> |
|
FnOnce(Fn fn) : impl_(new FnImpl<Fn>(std::move(fn))) { |
|
} |
|
|
|
explicit operator bool() const { return impl_ != NULLPTR; } |
|
|
|
R operator()(A... a) && { |
|
auto bye = std::move(impl_); |
|
return bye->invoke(std::forward<A&&>(a)...); |
|
} |
|
|
|
private: |
|
struct Impl { |
|
virtual ~Impl() = default; |
|
virtual R invoke(A&&... a) = 0; |
|
}; |
|
|
|
template <typename Fn> |
|
struct FnImpl : Impl { |
|
explicit FnImpl(Fn fn) : fn_(std::move(fn)) {} |
|
R invoke(A&&... a) override { return std::move(fn_)(std::forward<A&&>(a)...); } |
|
Fn fn_; |
|
}; |
|
|
|
std::unique_ptr<Impl> impl_; |
|
}; |
|
|
|
} |
|
} |
|
|