Skip to content

refactor: refactor is_callable_from and is_invocable_using. #63

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
Kim-J-Smith merged 3 commits into from
Jun 5, 2026
Merged

refactor: refactor is_callable_from and is_invocable_using. #63

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
5eb1b52
refactor: refactor `is_callable_from` and `is_invocable_using`.
Kim-J-Smith Jun 5, 2026
acde3ca
fix: fix bug in error "‘value’ is not a member of ‘ebd::detail::fn_tr…
Kim-J-Smith Jun 5, 2026
91effe8
feat: simplify `typename unwrap_signature<Signature>::template add_cv…
Kim-J-Smith Jun 5, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
52 changes: 28 additions & 24 deletions include/embed/embed_function.hpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1086,7 +1086,7 @@ inline namespace fn_traits {
// Check the functor is callable with given arguments.
// [func.wrap.move.ctor]/1
template <typename Functor, typename Signature>
struct is_callable_from {
struct is_callable_from_impl {
using unwrap_sig = unwrap_signature<Signature>;
using ret = typename unwrap_sig::ret;
using args_pack = typename unwrap_sig::args;
Expand Down Expand Up @@ -1549,22 +1549,18 @@ inline namespace fn_traits {
#endif

// <https://eel.is/c++draft/func.wrap#ref.ctor-1>.
template <typename Sig, typename Tuple,
// [func.wrap.ref.ctor]/1 is-invocable-using
template <typename Sig, typename Tuple,
typename PureSig = typename unwrap_signature<Sig>::pure_sig>
struct is_invocable_using_impl;
template <typename Sig, typename... TArgs, typename Ret, typename... Args>
struct is_invocable_using_impl<Sig, std::tuple<TArgs...>, Ret(Args...)> {
using type = conditional_t<
struct is_invocable_using_impl<Sig, std::tuple<TArgs...>, Ret(Args...)>
: conditional_t<
unwrap_signature<Sig>::isNoexcept,
is_nothrow_invocable_r<Ret, TArgs..., Args...>,
is_invocable_r<Ret, TArgs..., Args...>
>;
};

// [func.wrap.ref.ctor]/1 is-invokable-using
template <typename Signature, typename... T>
using is_invocable_using_t =
typename is_invocable_using_impl<Signature, std::tuple<T...>>::type;
>
{};

template <typename T>
struct is_constant_wrapper : std::false_type {};
Expand Down Expand Up @@ -2695,6 +2691,17 @@ namespace crtp_mixins {
// `true` if self is copyable.
static constexpr bool internal_is_copyable = Config::isCopyable || Config::isView;

// [func.wrap.move.ctor]/1 is-callable-from
template <typename Functor>
using is_callable_from = is_callable_from_impl<Functor, Signature>;

// [func.wrap.ref.ctor]/1 is-invocable-using
template <typename... T>
using is_invocable_using = is_invocable_using_impl<Signature, std::tuple<T...>>;

template <typename T>
using add_cv_like_sig_t = typename unwrap_signature<Signature>::template add_cv_like<T>;

public:

// The return type.
Expand Down Expand Up @@ -2807,7 +2814,7 @@ namespace crtp_mixins {
(!fn_can_convert<function, Functor>::value)
&& (!is_self<Functor, function>::value)
&& (!is_in_place_type<decay_t<Functor>>::value)
&& is_callable_from<Functor, Signature>::value
&& is_callable_from<Functor>::value
&& (!Config::isView)
) function(Functor&& functor)
noexcept(is_nothrow_construct_from_functor<Functor&&>::value) {
Expand All @@ -2829,7 +2836,7 @@ namespace crtp_mixins {
EMBED_DETAIL_TEMPLATE_BEGIN(typename Func)
EMBED_DETAIL_REQUIRES_END(
std::is_function<Func>::value
&& is_invocable_using_t<Signature, Func>::value
&& is_invocable_using<Func>::value
&& Config::isView
) function(Func* function_ptr) noexcept {

Expand All @@ -2850,10 +2857,10 @@ namespace crtp_mixins {
/// @note Used for function reference only. (NON-OWNING)
EMBED_DETAIL_TEMPLATE_BEGIN(typename Functor,
typename Tp = remove_reference_t<Functor>,
typename Tp_cv = typename unwrap_signature<Signature>::template add_cv_like<Tp>)
typename Tp_cv = add_cv_like_sig_t<Tp>)
EMBED_DETAIL_REQUIRES_END(
(!is_self<Functor, function>::value)
&& is_invocable_using_t<Signature, Tp_cv&>::value
&& is_invocable_using<Tp_cv&>::value
&& (!std::is_member_pointer<Tp>::value)
&& (!fn_can_convert<function, Functor>::value)
&& Config::isView
Expand All @@ -2875,7 +2882,7 @@ namespace crtp_mixins {
EMBED_DETAIL_TEMPLATE_BEGIN(typename Fn, typename... CArgs)
EMBED_DETAIL_REQUIRES_END(
std::is_constructible<Fn, CArgs...>::value
&& is_callable_from<Fn, Signature>::value
&& is_callable_from<Fn>::value
&& (!Config::isView)
) explicit function(std::in_place_type_t<Fn>, CArgs&&... args)
noexcept(std::is_nothrow_constructible<Fn, CArgs...>::value) {
Expand All @@ -2895,7 +2902,7 @@ namespace crtp_mixins {
EMBED_DETAIL_TEMPLATE_BEGIN(typename Fn, typename U, typename... CArgs)
EMBED_DETAIL_REQUIRES_END(
std::is_constructible<Fn, std::initializer_list<U>&, CArgs...>::value
&& is_callable_from<Fn, Signature>::value
&& is_callable_from<Fn>::value
&& (!Config::isView)
) explicit function(std::in_place_type_t<Fn>, std::initializer_list<U> il, CArgs&&... args)
noexcept(std::is_nothrow_constructible<Fn, CArgs...>::value) {
Expand All @@ -2917,7 +2924,7 @@ namespace crtp_mixins {

// Create function reference with given `std::constant_wrapper` param.
template <auto CwVal, typename Fn>
requires is_invocable_using_t<Signature, const Fn&>::value
requires is_invocable_using<const Fn&>::value
&& Config::isView
constexpr function(std::constant_wrapper<CwVal, Fn>) noexcept
: MemberVariableBase(nullptr) {
Expand All @@ -2933,8 +2940,7 @@ namespace crtp_mixins {
// Create function reference with given `std::constant_wrapper` and object params.
template <auto CwVal, typename Fn, typename Up, typename Tp = remove_reference_t<Up>>
requires (!std::is_rvalue_reference_v<Up&&>)
&& is_invocable_using_t<Signature, const Fn&,
typename unwrap_signature<Signature>::template add_cv_like<Tp>&>::value
&& is_invocable_using<const Fn&, add_cv_like_sig_t<Tp>&>::value
&& Config::isView
constexpr function(std::constant_wrapper<CwVal, Fn>, Up&& obj) noexcept
: MemberVariableBase(nullptr) {
Expand All @@ -2948,11 +2954,9 @@ namespace crtp_mixins {
}

// Create function reference with given `std::constant_wrapper` and pointer params.
template <auto CwVal, typename Fn, typename Tp,
typename Tp_cv = typename unwrap_signature<Signature>::template add_cv_like<Tp>
>
template <auto CwVal, typename Fn, typename Tp, typename Tp_cv = add_cv_like_sig_t<Tp>>
requires std::is_convertible_v<Tp*, Tp_cv*>
&& is_invocable_using_t<Signature, const Fn&, Tp_cv*>::value
&& is_invocable_using<const Fn&, Tp_cv*>::value
&& Config::isView
constexpr function(std::constant_wrapper<CwVal, Fn>, Tp* obj) noexcept
: MemberVariableBase(nullptr) {
Expand Down