std::experimental::ranges::invoke
From cppreference.com
< cpp | experimental | ranges
Defined in header <experimental/ranges/functional>
|
||
template < class F, class... Args > std::result_of_t<F&&(Args&&...)> invoke(F&& f, Args&&... args); |
(ranges TS) | |
Invoke the Callable object f
with the parameters args
, and return the result, as if by return INVOKE(std::forward<F>(f), std::forward<Args>(args)...);, where INVOKE(f, t1, t2, ..., tN) is defined as follows:
- if
f
is a pointer to member function of classT
:
- If std::is_base_of<T, std::decay_t<decltype(t1)>>::value is true, then INVOKE(f, t1, t2, ..., tN) is equivalent to (t1.*f)(t2, ..., tN)
- otherwise, INVOKE(f, t1, t2, ..., tN) is equivalent to ((*t1).*f)(t2, ..., tN).
- otherwise, if N == 1 and
f
is a pointer to data member of classT
:
- If std::is_base_of<T, std::decay_t<decltype(t1)>>::value is true, then INVOKE(f, t1) is equivalent to t1.*f
- otherwise, then INVOKE(f, t1) is equivalent to (*t1).*f
- otherwise, INVOKE(f, t1, t2, ..., tN) is equivalent to f(t1, t2, ..., tN) (that is,
f
is a FunctionObject)
Parameters
f | - | Callable object to be invoked |
args | - | arguments to pass to f
|
See also
(C++17)(C++23) |
invokes any Callable object with given arguments and possibility to specify return type (since C++23) (function template) |