23 General utilities library [utilities]

23.14 Function objects [function.objects]

23.14.3 Requirements [func.require]

1
#
Define INVOKE(f, t1, t2, ..., tN) as follows:
  • (1.1)
    (t1.*f)(t2, ..., tN) when f is a pointer to a member function of a class T and is_­base_­of_­v<T, decay_­t<decltype(t1)>> is true;
  • (1.2)
    (t1.get().*f)(t2, ..., tN) when f is a pointer to a member function of a class T and decay_­t<decltype(t1)> is a specialization of reference_­wrapper;
  • (1.3)
    ((*t1).*f)(t2, ..., tN) when f is a pointer to a member function of a class T and t1 does not satisfy the previous two items;
  • (1.4)
    t1.*f when N == 1 and f is a pointer to data member of a class T and is_­base_­of_­v<T, decay_­t<decltype(t1)>> is true;
  • (1.5)
    t1.get().*f when N == 1 and f is a pointer to data member of a class T and decay_­t<decltype(t1)> is a specialization of reference_­wrapper;
  • (1.6)
    (*t1).*f when N == 1 and f is a pointer to data member of a class T and t1 does not satisfy the previous two items;
  • (1.7)
    f(t1, t2, ..., tN) in all other cases.
2
#
Define INVOKE<R>(f, t1, t2, ..., tN) as static_­cast<void>(INVOKE(f, t1, t2, ..., tN)) if R is cv void, otherwise INVOKE(f, t1, t2, ..., tN) implicitly converted to R.
3
#
Every call wrapper ([func.def]) shall be MoveConstructible.
A forwarding call wrapper is a call wrapper that can be called with an arbitrary argument list and delivers the arguments to the wrapped callable object as references.
This forwarding step shall ensure that rvalue arguments are delivered as rvalue references and lvalue arguments are delivered as lvalue references.
A simple call wrapper is a forwarding call wrapper that is CopyConstructible and CopyAssignable and whose copy constructor, move constructor, and assignment operator do not throw exceptions.
[ Note
:
In a typical implementation forwarding call wrappers have an overloaded function call operator of the form
template<class... UnBoundArgs>
R operator()(UnBoundArgs&&... unbound_args) cv-qual;
— end note
 ]