feat update invoke_result
Some checks failed
linux-x64-gcc / linux-gcc (Release) (push) Failing after 3m3s
linux-mips64-gcc / linux-gcc-mips64el (Release) (push) Failing after 3m22s
linux-arm-gcc / linux-gcc-armhf (push) Failing after 4m11s
linux-mips64-gcc / linux-gcc-mips64el (Debug) (push) Failing after 4m51s
linux-x64-gcc / linux-gcc (Debug) (push) Failing after 5m36s
linux-aarch64-cpu-gcc / linux-gcc-aarch64 (push) Failing after 5m44s
Some checks failed
linux-x64-gcc / linux-gcc (Release) (push) Failing after 3m3s
linux-mips64-gcc / linux-gcc-mips64el (Release) (push) Failing after 3m22s
linux-arm-gcc / linux-gcc-armhf (push) Failing after 4m11s
linux-mips64-gcc / linux-gcc-mips64el (Debug) (push) Failing after 4m51s
linux-x64-gcc / linux-gcc (Debug) (push) Failing after 5m36s
linux-aarch64-cpu-gcc / linux-gcc-aarch64 (push) Failing after 5m44s
This commit is contained in:
tqcq
parent
778d24b8de
commit
5f299117fe
@ -18,160 +18,170 @@ namespace detail {
|
||||
#define EGGS_FWD(...) static_cast<decltype(__VA_ARGS__) &&>(__VA_ARGS__)
|
||||
|
||||
///////////////////////////////////////////////////////////////////////////
|
||||
template<typename C, typename T, bool Ref, bool RefWrapper, bool IsFunction = std::is_function<T>::value>
|
||||
template <typename C, typename T, bool Ref, bool RefWrapper,
|
||||
bool IsFunction = std::is_function<T>::value>
|
||||
struct invoke_mem_ptr;
|
||||
|
||||
// when `pm` is a pointer to member of a class `C` and
|
||||
// `is_base_of_v<C, remove_reference_t<T>>` is `true`;
|
||||
template<typename C, typename T>
|
||||
struct invoke_mem_ptr<C, T, /*Ref=*/true, /*RefWrapper=*/false, /*IsFunction=*/false> {
|
||||
template <typename C, typename T>
|
||||
struct invoke_mem_ptr<C, T, /*Ref=*/true, /*RefWrapper=*/false,
|
||||
/*IsFunction=*/false> {
|
||||
T C::*pm;
|
||||
|
||||
#if !__cpp_aggregate_paren_init
|
||||
constexpr invoke_mem_ptr(T C::*pm) noexcept : pm(pm) {}
|
||||
#endif
|
||||
|
||||
template<typename T1>
|
||||
constexpr auto operator()(T1 &&t1) const noexcept(noexcept(EGGS_FWD(t1).*pm)) -> decltype(EGGS_FWD(t1).*pm)
|
||||
{
|
||||
template <typename T1>
|
||||
constexpr auto operator()(T1 &&t1) const
|
||||
noexcept(noexcept(EGGS_FWD(t1).*pm)) -> decltype(EGGS_FWD(t1).*pm) {
|
||||
return EGGS_FWD(t1).*pm;
|
||||
}
|
||||
};
|
||||
|
||||
template<typename C, typename T>
|
||||
struct invoke_mem_ptr<C, T, /*Ref=*/true, /*RefWrapper=*/false, /*IsFunction=*/true> {
|
||||
template <typename C, typename T>
|
||||
struct invoke_mem_ptr<C, T, /*Ref=*/true, /*RefWrapper=*/false,
|
||||
/*IsFunction=*/true> {
|
||||
T C::*pm;
|
||||
|
||||
#if !__cpp_aggregate_paren_init
|
||||
constexpr invoke_mem_ptr(T C::*pm) noexcept : pm(pm) {}
|
||||
#endif
|
||||
|
||||
template<typename T1, typename... Tn>
|
||||
constexpr auto operator()(T1 &&t1, Tn &&...tn) const noexcept(noexcept((EGGS_FWD(t1).*pm)(EGGS_FWD(tn)...)))
|
||||
-> decltype((EGGS_FWD(t1).*pm)(EGGS_FWD(tn)...))
|
||||
{
|
||||
template <typename T1, typename... Tn>
|
||||
constexpr auto operator()(T1 &&t1, Tn &&...tn) const
|
||||
noexcept(noexcept((EGGS_FWD(t1).*pm)(EGGS_FWD(tn)...)))
|
||||
-> decltype((EGGS_FWD(t1).*pm)(EGGS_FWD(tn)...)) {
|
||||
return (EGGS_FWD(t1).*pm)(EGGS_FWD(tn)...);
|
||||
}
|
||||
};
|
||||
|
||||
// when `pm` is a pointer to member of a class `C` and
|
||||
// `remove_cvref_t<T>` is a specialization of `reference_wrapper`;
|
||||
template<typename C, typename T>
|
||||
struct invoke_mem_ptr<C, T, /*Ref=*/false, /*RefWrapper=*/true, /*IsFunction=*/false> {
|
||||
template <typename C, typename T>
|
||||
struct invoke_mem_ptr<C, T, /*Ref=*/false, /*RefWrapper=*/true,
|
||||
/*IsFunction=*/false> {
|
||||
T C::*pm;
|
||||
|
||||
#if !__cpp_aggregate_paren_init
|
||||
constexpr invoke_mem_ptr(T C::*pm) noexcept : pm(pm) {}
|
||||
#endif
|
||||
|
||||
template<typename T1>
|
||||
constexpr auto operator()(T1 &&t1) const noexcept(noexcept(t1.get().*pm)) -> decltype(t1.get().*pm)
|
||||
{
|
||||
template <typename T1>
|
||||
constexpr auto operator()(T1 &&t1) const
|
||||
noexcept(noexcept(t1.get().*pm)) -> decltype(t1.get().*pm) {
|
||||
return t1.get().*pm;
|
||||
}
|
||||
};
|
||||
|
||||
template<typename C, typename T>
|
||||
struct invoke_mem_ptr<C, T, /*Ref=*/false, /*RefWrapper=*/true, /*IsFunction=*/true> {
|
||||
template <typename C, typename T>
|
||||
struct invoke_mem_ptr<C, T, /*Ref=*/false, /*RefWrapper=*/true,
|
||||
/*IsFunction=*/true> {
|
||||
T C::*pm;
|
||||
|
||||
#if !__cpp_aggregate_paren_init
|
||||
constexpr invoke_mem_ptr(T C::*pm) noexcept : pm(pm) {}
|
||||
#endif
|
||||
|
||||
template<typename T1, typename... Tn>
|
||||
constexpr auto operator()(T1 &&t1, Tn &&...tn) const noexcept(noexcept((t1.get().*pm)(EGGS_FWD(tn)...)))
|
||||
-> decltype((t1.get().*pm)(EGGS_FWD(tn)...))
|
||||
{
|
||||
template <typename T1, typename... Tn>
|
||||
constexpr auto operator()(T1 &&t1, Tn &&...tn) const
|
||||
noexcept(noexcept((t1.get().*pm)(EGGS_FWD(tn)...)))
|
||||
-> decltype((t1.get().*pm)(EGGS_FWD(tn)...)) {
|
||||
return (t1.get().*pm)(EGGS_FWD(tn)...);
|
||||
}
|
||||
};
|
||||
|
||||
// when `pm` is a pointer to member of a class `C` and `T` does not
|
||||
// satisfy the previous two items;
|
||||
template<typename C, typename T>
|
||||
struct invoke_mem_ptr<C, T, /*Ref=*/false, /*RefWrapper=*/false, /*IsFunction=*/false> {
|
||||
template <typename C, typename T>
|
||||
struct invoke_mem_ptr<C, T, /*Ref=*/false, /*RefWrapper=*/false,
|
||||
/*IsFunction=*/false> {
|
||||
T C::*pm;
|
||||
|
||||
#if !__cpp_aggregate_paren_init
|
||||
constexpr invoke_mem_ptr(T C::*pm) noexcept : pm(pm) {}
|
||||
#endif
|
||||
|
||||
template<typename T1>
|
||||
constexpr auto operator()(T1 &&t1) const noexcept(noexcept((*EGGS_FWD(t1)).*pm)) -> decltype((*EGGS_FWD(t1)).*pm)
|
||||
{
|
||||
template <typename T1>
|
||||
constexpr auto operator()(T1 &&t1) const
|
||||
noexcept(noexcept((*EGGS_FWD(t1)).*pm)) -> decltype((*EGGS_FWD(t1)).*pm) {
|
||||
return (*EGGS_FWD(t1)).*pm;
|
||||
}
|
||||
};
|
||||
|
||||
template<typename C, typename T>
|
||||
struct invoke_mem_ptr<C, T, /*Ref=*/false, /*RefWrapper=*/false, /*IsFunction=*/true> {
|
||||
template <typename C, typename T>
|
||||
struct invoke_mem_ptr<C, T, /*Ref=*/false, /*RefWrapper=*/false,
|
||||
/*IsFunction=*/true> {
|
||||
T C::*pm;
|
||||
|
||||
#if !__cpp_aggregate_paren_init
|
||||
constexpr invoke_mem_ptr(T C::*pm) noexcept : pm(pm) {}
|
||||
#endif
|
||||
|
||||
template<typename T1, typename... Tn>
|
||||
constexpr auto operator()(T1 &&t1, Tn &&...tn) const noexcept(noexcept(((*EGGS_FWD(t1)).*pm)(EGGS_FWD(tn)...)))
|
||||
-> decltype(((*EGGS_FWD(t1)).*pm)(EGGS_FWD(tn)...))
|
||||
{
|
||||
template <typename T1, typename... Tn>
|
||||
constexpr auto operator()(T1 &&t1, Tn &&...tn) const
|
||||
noexcept(noexcept(((*EGGS_FWD(t1)).*pm)(EGGS_FWD(tn)...)))
|
||||
-> decltype(((*EGGS_FWD(t1)).*pm)(EGGS_FWD(tn)...)) {
|
||||
return ((*EGGS_FWD(t1)).*pm)(EGGS_FWD(tn)...);
|
||||
}
|
||||
};
|
||||
|
||||
///////////////////////////////////////////////////////////////////////////
|
||||
template<typename F>
|
||||
auto invoke(F &&, ...) -> F &&;
|
||||
template <typename F> auto invoke(F &&, ...) -> F &&;
|
||||
|
||||
template<typename T, typename C, typename T1>
|
||||
auto invoke(T C::*, T1 const &, ...) -> invoke_mem_ptr<C,
|
||||
T,
|
||||
template <typename T, typename C, typename T1>
|
||||
auto invoke(T C::*, T1 const &,
|
||||
...) -> invoke_mem_ptr<C, T,
|
||||
/*Ref=*/std::is_base_of<C, T1>::value,
|
||||
/*RefWrapper=*/false>;
|
||||
|
||||
template<typename T, typename C, typename X>
|
||||
auto invoke(T C::*, std::reference_wrapper<X>, ...) -> invoke_mem_ptr<C,
|
||||
T,
|
||||
template <typename T, typename C, typename X>
|
||||
auto invoke(T C::*, std::reference_wrapper<X>,
|
||||
...) -> invoke_mem_ptr<C, T,
|
||||
/*Ref=*/false,
|
||||
/*RefWrapper=*/true>;
|
||||
|
||||
//! EGGS_INVOKE(F, ...)
|
||||
//!
|
||||
//! - _Returns_: `INVOKE(F __VA_OPT__(,) __VA_ARGS__)`.
|
||||
#if __cplusplus > 201703L// C++20: P0306
|
||||
#if __cplusplus > 201703L // C++20: P0306
|
||||
#define EGGS_INVOKE(F, ...) \
|
||||
(static_cast<decltype(::eggs::detail::invoke(F __VA_OPT__(, ) __VA_ARGS__))>(F)(__VA_ARGS__))
|
||||
(static_cast<decltype(::eggs::detail::invoke( \
|
||||
F __VA_OPT__(, ) __VA_ARGS__))>(F)(__VA_ARGS__))
|
||||
#elif _MSVC_TRADITIONAL
|
||||
#define EGGS_INVOKE(F, ...) (static_cast<decltype(::eggs::detail::invoke(F, __VA_ARGS__))>(F)(__VA_ARGS__))
|
||||
#define EGGS_INVOKE(F, ...) \
|
||||
(static_cast<decltype(::eggs::detail::invoke(F, __VA_ARGS__))>(F)( \
|
||||
__VA_ARGS__))
|
||||
#else
|
||||
#define EGGS_INVOKE(F, ...) (static_cast<decltype(::eggs::detail::invoke(F, ##__VA_ARGS__))>(F)(__VA_ARGS__))
|
||||
#define EGGS_INVOKE(F, ...) \
|
||||
(static_cast<decltype(::eggs::detail::invoke(F, ##__VA_ARGS__))>(F)( \
|
||||
__VA_ARGS__))
|
||||
#endif
|
||||
|
||||
///////////////////////////////////////////////////////////////////////////
|
||||
// `INVOKE(f, t1, t2, ..., tN)` implicitly converted to `R`.
|
||||
template<typename R, typename RD = typename std::remove_cv<R>::type>
|
||||
template <typename R, typename RD = typename std::remove_cv<R>::type>
|
||||
struct invoke_r {
|
||||
private:
|
||||
static R conversion(R) noexcept;
|
||||
|
||||
public:
|
||||
template<typename F, typename... Args>
|
||||
static constexpr auto
|
||||
call(F &&f, Args &&...args) noexcept(noexcept(conversion(EGGS_INVOKE(EGGS_FWD(f), EGGS_FWD(args)...))))
|
||||
-> decltype(conversion(EGGS_INVOKE(EGGS_FWD(f), EGGS_FWD(args)...)))
|
||||
{
|
||||
template <typename F, typename... Args>
|
||||
static constexpr auto call(F &&f, Args &&...args) noexcept(
|
||||
noexcept(conversion(EGGS_INVOKE(EGGS_FWD(f), EGGS_FWD(args)...))))
|
||||
-> decltype(conversion(EGGS_INVOKE(EGGS_FWD(f), EGGS_FWD(args)...))) {
|
||||
return EGGS_INVOKE(EGGS_FWD(f), EGGS_FWD(args)...);
|
||||
}
|
||||
};
|
||||
|
||||
// `static_cast<void>(INVOKE(f, t1, t2, ..., tN))` if `R` is _cv_ `void`.
|
||||
template<typename R>
|
||||
struct invoke_r<R, void> {
|
||||
template<typename F, typename... Args>
|
||||
static constexpr auto call(F &&f, Args &&...args) noexcept(noexcept(EGGS_INVOKE(EGGS_FWD(f), EGGS_FWD(args)...)))
|
||||
-> decltype(static_cast<void>(EGGS_INVOKE(EGGS_FWD(f), EGGS_FWD(args)...)))
|
||||
{
|
||||
template <typename R> struct invoke_r<R, void> {
|
||||
template <typename F, typename... Args>
|
||||
static constexpr auto call(F &&f, Args &&...args) noexcept(
|
||||
noexcept(EGGS_INVOKE(EGGS_FWD(f), EGGS_FWD(args)...)))
|
||||
-> decltype(static_cast<void>(EGGS_INVOKE(EGGS_FWD(f),
|
||||
EGGS_FWD(args)...))) {
|
||||
return static_cast<void>(EGGS_INVOKE(EGGS_FWD(f), EGGS_FWD(args)...));
|
||||
}
|
||||
};
|
||||
@ -181,20 +191,21 @@ struct invoke_r<R, void> {
|
||||
//! - _Returns_: `INVOKE<R>(F __VA_OPT__(,) __VA_ARGS__)`.
|
||||
#define EGGS_INVOKE_R(R, ...) (::eggs::detail::invoke_r<R>::call(__VA_ARGS__))
|
||||
|
||||
}// namespace detail
|
||||
}// namespace eggs
|
||||
} // namespace detail
|
||||
} // namespace eggs
|
||||
|
||||
namespace eggs {
|
||||
///////////////////////////////////////////////////////////////////////////
|
||||
namespace detail {
|
||||
template<typename T, typename Enable = void>
|
||||
struct invoke_result_impl {};
|
||||
template <typename T, typename Enable = void> struct invoke_result_impl {};
|
||||
|
||||
template<typename F, typename... Ts>
|
||||
struct invoke_result_impl<F(Ts...), decltype((void) EGGS_INVOKE(std::declval<F>(), std::declval<Ts>()...))> {
|
||||
template <typename F, typename... Ts>
|
||||
struct invoke_result_impl<F(Ts...),
|
||||
decltype((void)EGGS_INVOKE(std::declval<F>(),
|
||||
std::declval<Ts>()...))> {
|
||||
using type = decltype(EGGS_INVOKE(std::declval<F>(), std::declval<Ts>()...));
|
||||
};
|
||||
}// namespace detail
|
||||
} // namespace detail
|
||||
|
||||
//! template <class Fn, class... ArgTypes> struct invoke_result;
|
||||
//!
|
||||
@ -209,23 +220,25 @@ struct invoke_result_impl<F(Ts...), decltype((void) EGGS_INVOKE(std::declval<F>(
|
||||
//! - _Preconditions_: `Fn` and all types in the template parameter pack
|
||||
//! `ArgTypes` are complete types, _cv_ `void`, or arrays of unknown
|
||||
//! bound.
|
||||
template<typename Fn, typename... ArgTypes>
|
||||
template <typename Fn, typename... ArgTypes>
|
||||
struct invoke_result : detail::invoke_result_impl<Fn && (ArgTypes && ...)> {};
|
||||
|
||||
//! template <class Fn, class... ArgTypes>
|
||||
//! using invoke_result_t = typename invoke_result<Fn, ArgTypes...>::type;
|
||||
template<typename Fn, typename... ArgTypes>
|
||||
template <typename Fn, typename... ArgTypes>
|
||||
using invoke_result_t = typename invoke_result<Fn, ArgTypes...>::type;
|
||||
|
||||
///////////////////////////////////////////////////////////////////////////
|
||||
namespace detail {
|
||||
template<typename T, typename Enable = void>
|
||||
template <typename T, typename Enable = void>
|
||||
struct is_invocable_impl : std::false_type {};
|
||||
|
||||
template<typename F, typename... Ts>
|
||||
struct is_invocable_impl<F(Ts...), decltype((void) EGGS_INVOKE(std::declval<F>(), std::declval<Ts>()...))>
|
||||
template <typename F, typename... Ts>
|
||||
struct is_invocable_impl<F(Ts...),
|
||||
decltype((void)EGGS_INVOKE(std::declval<F>(),
|
||||
std::declval<Ts>()...))>
|
||||
: std::true_type {};
|
||||
}// namespace detail
|
||||
} // namespace detail
|
||||
|
||||
//! template <class Fn, class... ArgTypes> struct is_invocable;
|
||||
//!
|
||||
@ -236,14 +249,15 @@ struct is_invocable_impl<F(Ts...), decltype((void) EGGS_INVOKE(std::declval<F>()
|
||||
//! - _Comments_: `Fn` and all types in the template parameter pack
|
||||
//! `ArgTypes` shall be complete types, _cv_ `void`, or arrays of
|
||||
//! unknown bound.
|
||||
template<typename Fn, typename... ArgTypes>
|
||||
struct is_invocable : detail::is_invocable_impl<Fn && (ArgTypes && ...)>::type {};
|
||||
template <typename Fn, typename... ArgTypes>
|
||||
struct is_invocable : detail::is_invocable_impl<Fn && (ArgTypes && ...)>::type {
|
||||
};
|
||||
|
||||
#if __cpp_variable_templates
|
||||
//! template <class Fn, class... ArgTypes> // (C++14)
|
||||
//! inline constexpr bool is_invocable_v =
|
||||
//! eggs::is_invocable<Fn, ArgTypes...>::value;
|
||||
template<typename Fn, typename... ArgTypes>
|
||||
template <typename Fn, typename... ArgTypes>
|
||||
#if __cpp_inline_variables
|
||||
inline
|
||||
#endif
|
||||
@ -252,13 +266,15 @@ inline
|
||||
|
||||
///////////////////////////////////////////////////////////////////////////
|
||||
namespace detail {
|
||||
template<typename T, typename R, typename Enable = void>
|
||||
template <typename T, typename R, typename Enable = void>
|
||||
struct is_invocable_r_impl : std::false_type {};
|
||||
|
||||
template<typename F, typename... Ts, typename R>
|
||||
struct is_invocable_r_impl<F(Ts...), R, decltype((void) EGGS_INVOKE_R(R, std::declval<F>(), std::declval<Ts>()...))>
|
||||
template <typename F, typename... Ts, typename R>
|
||||
struct is_invocable_r_impl<F(Ts...), R,
|
||||
decltype((void)EGGS_INVOKE_R(R, std::declval<F>(),
|
||||
std::declval<Ts>()...))>
|
||||
: std::true_type {};
|
||||
}// namespace detail
|
||||
} // namespace detail
|
||||
|
||||
//! template <class R, class Fn, class... ArgTypes> struct is_invocable_r;
|
||||
//!
|
||||
@ -269,14 +285,15 @@ struct is_invocable_r_impl<F(Ts...), R, decltype((void) EGGS_INVOKE_R(R, std::de
|
||||
//! - _Comments_: `Fn`, `R`, and all types in the template parameter pack
|
||||
//! `ArgTypes` shall be complete types, _cv_ `void`, or arrays of
|
||||
//! unknown bound.
|
||||
template<typename R, typename Fn, typename... ArgTypes>
|
||||
struct is_invocable_r : detail::is_invocable_r_impl<Fn && (ArgTypes && ...), R>::type {};
|
||||
template <typename R, typename Fn, typename... ArgTypes>
|
||||
struct is_invocable_r
|
||||
: detail::is_invocable_r_impl<Fn && (ArgTypes && ...), R>::type {};
|
||||
|
||||
#if __cpp_variable_templates
|
||||
//! template <class R, class Fn, class... ArgTypes> // (C++14)
|
||||
//! inline constexpr bool is_invocable_r_v =
|
||||
//! eggs::is_invocable_r<R, Fn, ArgTypes...>::value;
|
||||
template<typename R, typename Fn, typename... ArgTypes>
|
||||
template <typename R, typename Fn, typename... ArgTypes>
|
||||
#if __cpp_inline_variables
|
||||
inline
|
||||
#endif
|
||||
@ -285,13 +302,17 @@ inline
|
||||
|
||||
///////////////////////////////////////////////////////////////////////////
|
||||
namespace detail {
|
||||
template<typename T, typename Enable = void>
|
||||
template <typename T, typename Enable = void>
|
||||
struct is_nothrow_invocable_impl : std::false_type {};
|
||||
|
||||
template<typename F, typename... Ts>
|
||||
struct is_nothrow_invocable_impl<F(Ts...), decltype((void) EGGS_INVOKE(std::declval<F>(), std::declval<Ts>()...))>
|
||||
: std::integral_constant<bool, noexcept(EGGS_INVOKE(std::declval<F>(), std::declval<Ts>()...))> {};
|
||||
}// namespace detail
|
||||
template <typename F, typename... Ts>
|
||||
struct is_nothrow_invocable_impl<F(Ts...),
|
||||
decltype((void)EGGS_INVOKE(
|
||||
std::declval<F>(), std::declval<Ts>()...))>
|
||||
: std::integral_constant<bool,
|
||||
noexcept(EGGS_INVOKE(std::declval<F>(),
|
||||
std::declval<Ts>()...))> {};
|
||||
} // namespace detail
|
||||
|
||||
//! template <class Fn, class... ArgTypes> struct is_nothrow_invocable;
|
||||
//!
|
||||
@ -302,53 +323,60 @@ struct is_nothrow_invocable_impl<F(Ts...), decltype((void) EGGS_INVOKE(std::decl
|
||||
//! - _Comments_: `Fn` and all types in the template parameter pack
|
||||
//! `ArgTypes` shall be complete types, _cv_ `void`, or arrays of
|
||||
//! unknown bound.
|
||||
template<typename Fn, typename... ArgTypes>
|
||||
struct is_nothrow_invocable : detail::is_nothrow_invocable_impl<Fn && (ArgTypes && ...)>::type {};
|
||||
template <typename Fn, typename... ArgTypes>
|
||||
struct is_nothrow_invocable
|
||||
: detail::is_nothrow_invocable_impl<Fn && (ArgTypes && ...)>::type {};
|
||||
|
||||
#if __cpp_variable_templates
|
||||
//! template <class Fn, class... ArgTypes> // (C++14)
|
||||
//! inline constexpr bool is_nothrow_invocable_v =
|
||||
//! eggs::is_nothrow_invocable<Fn, ArgTypes...>::value;
|
||||
template<typename Fn, typename... ArgTypes>
|
||||
template <typename Fn, typename... ArgTypes>
|
||||
#if __cpp_inline_variables
|
||||
inline
|
||||
#endif
|
||||
constexpr bool is_nothrow_invocable_v = is_nothrow_invocable<Fn, ArgTypes...>::value;
|
||||
constexpr bool is_nothrow_invocable_v =
|
||||
is_nothrow_invocable<Fn, ArgTypes...>::value;
|
||||
#endif
|
||||
|
||||
///////////////////////////////////////////////////////////////////////////
|
||||
namespace detail {
|
||||
template<typename T, typename R, typename Enable = void>
|
||||
template <typename T, typename R, typename Enable = void>
|
||||
struct is_nothrow_invocable_r_impl : std::false_type {};
|
||||
|
||||
template<typename F, typename... Ts, typename R>
|
||||
struct is_nothrow_invocable_r_impl<F(Ts...),
|
||||
R,
|
||||
decltype((void) EGGS_INVOKE_R(R, std::declval<F>(), std::declval<Ts>()...))>
|
||||
: std::integral_constant<bool, noexcept(EGGS_INVOKE_R(R, std::declval<F>(), std::declval<Ts>()...))> {};
|
||||
}// namespace detail
|
||||
template <typename F, typename... Ts, typename R>
|
||||
struct is_nothrow_invocable_r_impl<
|
||||
F(Ts...), R,
|
||||
decltype((void)EGGS_INVOKE_R(R, std::declval<F>(), std::declval<Ts>()...))>
|
||||
: std::integral_constant<bool,
|
||||
noexcept(EGGS_INVOKE_R(R, std::declval<F>(),
|
||||
std::declval<Ts>()...))> {};
|
||||
} // namespace detail
|
||||
|
||||
//! template <class R, class Fn, class... ArgTypes> struct is_nothrow_invocable_r;
|
||||
//! template <class R, class Fn, class... ArgTypes> struct
|
||||
//! is_nothrow_invocable_r;
|
||||
//!
|
||||
//! - _Condition_: `eggs::is_invocable_r_v<R, Fn, ArgTypes...>` is `true`
|
||||
//! and the expression `INVOKE(std::declval<Fn>(), std::declval<ArgTypes>()...)`
|
||||
//! is known not to throw any exceptions.
|
||||
//! and the expression `INVOKE(std::declval<Fn>(),
|
||||
//! std::declval<ArgTypes>()...)` is known not to throw any exceptions.
|
||||
//!
|
||||
//! - _Comments_: `Fn`, `R`, and all types in the template parameter pack
|
||||
//! `ArgTypes` shall be complete types, _cv_ `void`, or arrays of
|
||||
//! unknown bound.
|
||||
template<typename R, typename Fn, typename... ArgTypes>
|
||||
struct is_nothrow_invocable_r : detail::is_nothrow_invocable_r_impl<Fn && (ArgTypes && ...), R>::type {};
|
||||
template <typename R, typename Fn, typename... ArgTypes>
|
||||
struct is_nothrow_invocable_r
|
||||
: detail::is_nothrow_invocable_r_impl<Fn && (ArgTypes && ...), R>::type {};
|
||||
|
||||
#if __cpp_variable_templates
|
||||
//! template <class R, class Fn, class... ArgTypes> // (C++14)
|
||||
//! inline constexpr bool is_nothrow_invocable_r_v =
|
||||
//! eggs::is_nothrow_invocable_r<R, Fn, ArgTypes...>::value;
|
||||
template<typename R, typename Fn, typename... ArgTypes>
|
||||
template <typename R, typename Fn, typename... ArgTypes>
|
||||
#if __cpp_inline_variables
|
||||
inline
|
||||
#endif
|
||||
constexpr bool is_nothrow_invocable_r_v = is_nothrow_invocable_r<R, Fn, ArgTypes...>::value;
|
||||
constexpr bool is_nothrow_invocable_r_v =
|
||||
is_nothrow_invocable_r<R, Fn, ArgTypes...>::value;
|
||||
#endif
|
||||
|
||||
///////////////////////////////////////////////////////////////////////////
|
||||
@ -360,11 +388,10 @@ inline
|
||||
//!
|
||||
//! - _Remarks_: This function shall not participate in overload resolution
|
||||
//! unless `eggs::is_invocable_v<F, Args...>` is `true`.
|
||||
template<typename Fn, typename... ArgTypes>
|
||||
constexpr auto
|
||||
invoke(Fn &&f, ArgTypes &&...args) noexcept(noexcept(EGGS_INVOKE(EGGS_FWD(f), EGGS_FWD(args)...)))
|
||||
-> decltype(EGGS_INVOKE(EGGS_FWD(f), EGGS_FWD(args)...))
|
||||
{
|
||||
template <typename Fn, typename... ArgTypes>
|
||||
constexpr auto invoke(Fn &&f, ArgTypes &&...args) noexcept(
|
||||
noexcept(EGGS_INVOKE(EGGS_FWD(f), EGGS_FWD(args)...)))
|
||||
-> decltype(EGGS_INVOKE(EGGS_FWD(f), EGGS_FWD(args)...)) {
|
||||
return EGGS_INVOKE(EGGS_FWD(f), EGGS_FWD(args)...);
|
||||
}
|
||||
|
||||
@ -377,15 +404,17 @@ invoke(Fn &&f, ArgTypes &&...args) noexcept(noexcept(EGGS_INVOKE(EGGS_FWD(f), EG
|
||||
//!
|
||||
//! - _Remarks_: This function shall not participate in overload resolution
|
||||
//! unless `eggs::is_invocable_r_v<R, F, Args...>` is `true`.
|
||||
template<typename R, typename Fn, typename... ArgTypes>
|
||||
constexpr auto
|
||||
invoke_r(Fn &&f, ArgTypes &&...args) noexcept(noexcept(EGGS_INVOKE_R(R, EGGS_FWD(f), EGGS_FWD(args)...)))
|
||||
-> decltype(EGGS_INVOKE_R(R, EGGS_FWD(f), EGGS_FWD(args)...))
|
||||
{
|
||||
template <typename R, typename Fn, typename... ArgTypes>
|
||||
constexpr auto invoke_r(Fn &&f, ArgTypes &&...args) noexcept(
|
||||
noexcept(EGGS_INVOKE_R(R, EGGS_FWD(f), EGGS_FWD(args)...)))
|
||||
-> decltype(EGGS_INVOKE_R(R, EGGS_FWD(f), EGGS_FWD(args)...)) {
|
||||
return EGGS_INVOKE_R(R, EGGS_FWD(f), EGGS_FWD(args)...);
|
||||
}
|
||||
|
||||
#undef EGGS_FWD
|
||||
}// namespace eggs
|
||||
} // namespace eggs
|
||||
|
||||
namespace tile {
|
||||
using namespace eggs;
|
||||
}
|
||||
#endif /*EGGS_INVOKE_HPP*/
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user