functional

The contents of this module can be included with the header hpx/modules/functional.hpp. These headers may be used by user-code but are not guaranteed stable (neither header location nor contents). You are using these at your own risk. If you wish to use non-public functionality from a module we strongly suggest only including the module header hpx/modules/functional.hpp, not the particular header in which the functionality you would like to use is defined. See Public API for a list of names that are part of the public HPX API.

namespace hpx
namespace serialization

Functions

template<typename Archive, typename F, typename ...Ts>
void serialize(Archive &ar, ::hpx::util::detail::bound<F, Ts...> &bound, unsigned int const version = 0)
template<typename Archive, std::size_t I>
void serialize(Archive&, ::hpx::util::detail::placeholder<I>&, unsigned int const = 0)
namespace util

Functions

template<typename F, typename ...Ts, typename Enable = std::enable_if_t<!traits::is_action_v<std::decay_t<F>>>>
constexpr detail::bound<std::decay_t<F>, util::make_index_pack_t<sizeof...(Ts)>, util::decay_unwrap_t<Ts>...> bind(F &&f, Ts&&... vs)
namespace placeholders

Variables

HPX_INLINE_CONSTEXPR_VARIABLE detail::placeholder<1> hpx::util::placeholders::_1 = {}
HPX_INLINE_CONSTEXPR_VARIABLE detail::placeholder<2> hpx::util::placeholders::_2 = {}
HPX_INLINE_CONSTEXPR_VARIABLE detail::placeholder<3> hpx::util::placeholders::_3 = {}
HPX_INLINE_CONSTEXPR_VARIABLE detail::placeholder<4> hpx::util::placeholders::_4 = {}
HPX_INLINE_CONSTEXPR_VARIABLE detail::placeholder<5> hpx::util::placeholders::_5 = {}
HPX_INLINE_CONSTEXPR_VARIABLE detail::placeholder<6> hpx::util::placeholders::_6 = {}
HPX_INLINE_CONSTEXPR_VARIABLE detail::placeholder<7> hpx::util::placeholders::_7 = {}
HPX_INLINE_CONSTEXPR_VARIABLE detail::placeholder<8> hpx::util::placeholders::_8 = {}
HPX_INLINE_CONSTEXPR_VARIABLE detail::placeholder<9> hpx::util::placeholders::_9 = {}
namespace hpx
namespace serialization

Functions

template<typename Archive, typename F, typename ...Ts>
void serialize(Archive &ar, ::hpx::util::detail::bound_back<F, Ts...> &bound, unsigned int const version = 0)
namespace util

Functions

template<typename F, typename ...Ts>
constexpr detail::bound_back<typename std::decay<F>::type, typename util::make_index_pack<sizeof...(Ts)>::type, typename util::decay_unwrap<Ts>::type...> bind_back(F &&f, Ts&&... vs)
template<typename F>
constexpr std::decay<F>::type bind_back(F &&f)
namespace hpx
namespace serialization

Functions

template<typename Archive, typename F, typename ...Ts>
void serialize(Archive &ar, ::hpx::util::detail::bound_front<F, Ts...> &bound, unsigned int const version = 0)
namespace util

Functions

template<typename F, typename ...Ts>
constexpr detail::bound_front<typename std::decay<F>::type, typename util::make_index_pack<sizeof...(Ts)>::type, typename util::decay_unwrap<Ts>::type...> bind_front(F &&f, Ts&&... vs)
template<typename F>
constexpr std::decay<F>::type bind_front(F &&f)
namespace hpx
namespace serialization

Functions

template<typename Archive, typename F, typename ...Ts>
void serialize(Archive &ar, ::hpx::util::detail::deferred<F, Ts...> &d, unsigned int const version = 0)
namespace util

Functions

template<typename F, typename ...Ts>
detail::deferred<typename std::decay<F>::type, typename util::make_index_pack<sizeof...(Ts)>::type, typename util::decay_unwrap<Ts>::type...> deferred_call(F &&f, Ts&&... vs)
template<typename F>
std::decay<F>::type deferred_call(F &&f)

Defines

HPX_UTIL_REGISTER_FUNCTION_DECLARATION(Sig, F, Name)
HPX_UTIL_REGISTER_FUNCTION(Sig, F, Name)
namespace hpx
namespace util

Typedefs

template<typename Sig>
using function_nonser = function<Sig, false>
template<typename R, typename ...Ts, bool Serializable>
class function<R(Ts...), Serializable> : public detail::basic_function<R(Ts...), true, Serializable>

Public Types

template<>
using result_type = R

Public Functions

constexpr function(std::nullptr_t = nullptr)
function(function const&)
function(function&&)
function &operator=(function const&)
function &operator=(function&&)
template<typename F, typename FD = typename std::decay<F>::type, typename Enable1 = typename std::enable_if<!std::is_same<FD, function>::value>::type, typename Enable2 = typename std::enable_if<is_invocable_r_v<R, FD&, Ts...>>::type>
function(F &&f)
template<typename F, typename FD = typename std::decay<F>::type, typename Enable1 = typename std::enable_if<!std::is_same<FD, function>::value>::type, typename Enable2 = typename std::enable_if<is_invocable_r_v<R, FD&, Ts...>>::type>
function &operator=(F &&f)

Private Types

template<>
using base_type = detail::basic_function<R(Ts...), true, Serializable>
namespace hpx
namespace util
template<typename R, typename ...Ts>
class function_ref<R(Ts...)>

Public Functions

template<typename F, typename FD = typename std::decay<F>::type, typename Enable = typename std::enable_if<!std::is_same<FD, function_ref>::value && is_invocable_r_v<R, F&, Ts...>>::type>
function_ref(F &&f)
function_ref(function_ref const &other)
template<typename F, typename FD = typename std::decay<F>::type, typename Enable = typename std::enable_if<!std::is_same<FD, function_ref>::value && is_invocable_r_v<R, F&, Ts...>>::type>
function_ref &operator=(F &&f)
function_ref &operator=(function_ref const &other)
template<typename F, typename T = typename std::remove_reference<F>::type, typename Enable = typename std::enable_if<!std::is_pointer<T>::value>::type>
void assign(F &&f)
template<typename T>
void assign(std::reference_wrapper<T> f_ref)
template<typename T>
void assign(T *f_ptr)
void swap(function_ref &f)
R operator()(Ts... vs) const
std::size_t get_function_address() const
char const *get_function_annotation() const
util::itt::string_handle get_function_annotation_itt() const

Protected Attributes

template<>
R (*vptr)(void*, Ts&&...)
void *object

Private Types

template<>
using VTable = detail::function_ref_vtable<R(Ts...)>

Private Static Functions

template<typename T>
static VTable const *get_vtable()

Defines

HPX_INVOKE_R(R, F, ...)
namespace hpx
namespace util

Functions

template<typename F, typename ...Ts>
constexpr util::invoke_result<F, Ts...>::type invoke(F &&f, Ts&&... vs)

Invokes the given callable object f with the content of the argument pack vs

Return

The result of the callable object when it’s called with the given argument types.

Note

This function is similar to std::invoke (C++17)

Parameters
  • f: Requires to be a callable object. If f is a member function pointer, the first argument in the pack will be treated as the callee (this object).

  • vs: An arbitrary pack of arguments

Exceptions
  • std::exception: like objects thrown by call to object f with the argument types vs.

template<typename R, typename F, typename ...Ts>
constexpr R invoke_r(F &&f, Ts&&... vs)

Template Parameters
  • R: The result type of the function when it’s called with the content of the given argument types vs.

namespace functional
struct invoke

Public Functions

template<typename F, typename ...Ts>
constexpr util::invoke_result<F, Ts...>::type operator()(F &&f, Ts&&... vs) const
template<typename R>
struct invoke_r

Public Functions

template<typename F, typename ...Ts>
constexpr R operator()(F &&f, Ts&&... vs) const
namespace hpx
namespace util

Functions

template<typename F, typename Tuple>
constexpr detail::invoke_fused_result<F, Tuple>::type invoke_fused(F &&f, Tuple &&t)

Invokes the given callable object f with the content of the sequenced type t (tuples, pairs)

Return

The result of the callable object when it’s called with the content of the given sequenced type.

Note

This function is similar to std::apply (C++17)

Parameters
  • f: Must be a callable object. If f is a member function pointer, the first argument in the sequenced type will be treated as the callee (this object).

  • t: A type which is content accessible through a call to hpx::util::get.

Exceptions
  • std::exception: like objects thrown by call to object f with the arguments contained in the sequenceable type t.

template<typename R, typename F, typename Tuple>
constexpr R invoke_fused_r(F &&f, Tuple &&t)

Template Parameters
  • R: The result type of the function when it’s called with the content of the given sequenced type.

namespace hpx
namespace util

Typedefs

template<typename F, typename ...Ts>
using invoke_result_t = typename invoke_result<F, Ts...>::type
namespace hpx
namespace util

Functions

template<typename M, typename C>
constexpr detail::mem_fn<M C::*> mem_fn(M C::* pm)
template<typename R, typename C, typename ...Ps>
constexpr detail::mem_fn<R (C::*)(Ps...)> mem_fn(R (C::* pm)(Ps...))
template<typename R, typename C, typename ...Ps>
constexpr detail::mem_fn<R (C::*)(Ps...) const> mem_fn(R (C::* pm)(Ps...) const)
namespace hpx
namespace serialization

Functions

template<typename Archive, typename F>
void serialize(Archive &ar, ::hpx::util::detail::one_shot_wrapper<F> &one_shot_wrapper, unsigned int const version = 0)
namespace util

Functions

template<typename F>
constexpr detail::one_shot_wrapper<typename std::decay<F>::type> one_shot(F &&f)
namespace hpx
namespace util

Functions

template<typename T>
std::enable_if<traits::is_bind_expression<typename std::decay<T>::type>::value, detail::protected_bind<typename std::decay<T>::type>>::type protect(T &&f)
template<typename T>
std::enable_if<!traits::is_bind_expression<typename std::decay<T>::type>::value, T>::type protect(T &&v)
namespace hpx
namespace functional

Typedefs

template<typename Tag, typename ...Args>
using tag_dispatch_result = invoke_result<decltype(tag_dispatch), Tag, Args...>

hpx::functional::tag_dispatch_result<Tag, Args...> is the trait returning the result type of the call hpx::functioanl::tag_dispatch. This can be used in a SFINAE context.

template<typename Tag, typename ...Args>
using tag_dispatch_result_t = typename tag_dispatch_result<Tag, Args...>::type

hpx::functional::tag_dispatch_result_t<Tag, Args...> evaluates to hpx::functional::tag_dispatch_result_t<Tag, Args...>::type

Variables

constexpr unspecified tag_dispatch = unspecified

The hpx::functional::tag_dispatch name defines a constexpr object that is invocable with one or more arguments. The first argument is a ‘tag’ (typically a DPO). It is only invocable if an overload of tag_dispatch() that accepts the same arguments could be found via ADL.

The evaluation of the expression hpx::tag_dispatch(tag, args...) is equivalent to evaluating the unqualified call to tag_dispatch(decay-copy(tag), std::forward<Args>(args)...).

hpx::functional::tag_dispatch is implemented against P1895.

Example: Defining a new customization point foo:

namespace mylib {
    inline constexpr
        struct foo_fn final : hpx::functional::tag<foo_fn>
        {
        } foo{};
}

Defining an object bar which customizes foo:

struct bar
{
    int x = 42;

    friend constexpr int tag_dispatch(mylib::foo_fn, bar const& x)
    {
        return b.x;
    }
};

Using the customization point:

static_assert(42 == mylib::foo(bar{}), "The answer is 42");

template<typename Tag, typename ...Args>
constexpr bool is_tag_dispatchable_v = is_tag_dispatchable<Tag, Args...>::value

hpx::functional::is_tag_dispatchable_v<Tag, Args...> evaluates to hpx::functional::is_tag_dispatchable<Tag, Args...>::value

template<typename Tag, typename ...Args>
constexpr bool is_nothrow_tag_dispatchable_v = is_nothrow_tag_dispatchable<Tag, Args...>::value

hpx::functional::is_tag_dispatchable_v<Tag, Args...> evaluates to hpx::functional::is_tag_dispatchable<Tag, Args...>::value

template<typename Tag, typename ...Args>
struct is_nothrow_tag_dispatchable
#include <tag_dispatch.hpp>

hpx::functional::is_nothrow_tag_dispatchable<Tag, Args...> is std::true_type if an overload of tag_dispatch(tag, args...) can be found via ADL and is noexcept.

template<typename Tag, typename ...Args>
struct is_tag_dispatchable
#include <tag_dispatch.hpp>

hpx::functional::is_tag_dispatchable<Tag, Args...> is std::true_type if an overload of tag_dispatch(tag, args...) can be found via ADL.

template<typename Tag>
struct tag
#include <tag_dispatch.hpp>

hpx::functional::tag<Tag> defines a base class that implements the necessary tag dispatching functionality for a given type Tag

template<typename Tag>
struct tag_noexcept
#include <tag_dispatch.hpp>

hpx::functional::tag_noexcept<Tag> defines a base class that implements the necessary tag dispatching functionality for a given type Tag The implementation has to be noexcept

namespace hpx
namespace functional

Typedefs

template<typename Tag, typename ...Args>
using tag_fallback_dispatch_result = invoke_result<decltype(tag_fallback_dispatch), Tag, Args...>

hpx::functional::tag_fallback_dispatch_result<Tag, Args...> is the trait returning the result type of the call hpx::functioanl::tag_fallback_dispatch. This can be used in a SFINAE context.

template<typename Tag, typename ...Args>
using tag_fallback_dispatch_result_t = typename tag_fallback_dispatch_result<Tag, Args...>::type

hpx::functional::tag_fallback_dispatch_result_t<Tag, Args...> evaluates to hpx::functional::tag_fallback_dispatch_result_t<Tag, Args...>::type

Variables

constexpr unspecified tag_fallback_dispatch = unspecified

The hpx::functional::tag_fallback_dispatch name defines a constexpr object that is invocable with one or more arguments. The first argument is a ‘tag’ (typically a DPO). It is only invocable if an overload of tag_fallback_dispatch() that accepts the same arguments could be found via ADL.

The evaluation of the expression hpx::functional::tag_fallback_dispatch(tag, args...) is equivalent to evaluating the unqualified call to tag_fallback_dispatch(decay-copy(tag), std::forward<Args>(args)...).

hpx::functional::tag_fallback_dispatch is implemented against P1895.

Example: Defining a new customization point foo:

namespace mylib {
    inline constexpr
        struct foo_fn final : hpx::functional::tag_fallback<foo_fn>
        {
        } foo{};
}

Defining an object bar which customizes foo:

struct bar
{
    int x = 42;

    friend constexpr int tag_fallback_dispatch(mylib::foo_fn, bar const& x)
    {
        return b.x;
    }
};

Using the customization point:

static_assert(42 == mylib::foo(bar{}), "The answer is 42");

template<typename Tag, typename ...Args>
constexpr bool is_tag_fallback_dispatchable_v = is_tag_fallback_dispatchable<Tag, Args...>::value

hpx::functional::is_tag_fallback_dispatchable_v<Tag, Args...> evaluates to hpx::functional::is_tag_fallback_dispatchable<Tag, Args...>::value

template<typename Tag, typename ...Args>
constexpr bool is_nothrow_tag_fallback_dispatchable_v = is_nothrow_tag_fallback_dispatchable<Tag, Args...>::value

hpx::functional::is_tag_fallback_dispatchable_v<Tag, Args...> evaluates to hpx::functional::is_tag_fallback_dispatchable<Tag, Args...>::value

template<typename Tag, typename ...Args>
struct is_nothrow_tag_fallback_dispatchable
#include <tag_fallback_dispatch.hpp>

hpx::functional::is_nothrow_tag_fallback_dispatchable<Tag, Args...> is std::true_type if an overload of tag_fallback_dispatch(tag, args...) can be found via ADL and is noexcept.

template<typename Tag, typename ...Args>
struct is_tag_fallback_dispatchable
#include <tag_fallback_dispatch.hpp>

hpx::functional::is_tag_fallback_dispatchable<Tag, Args...> is std::true_type if an overload of tag_fallback_dispatch(tag, args...) can be found via ADL.

template<typename Tag>
struct tag_fallback
#include <tag_fallback_dispatch.hpp>

hpx::functional::tag_fallback<Tag> defines a base class that implements the necessary tag dispatching functionality for a given type Tag

template<typename Tag>
struct tag_fallback_noexcept
#include <tag_fallback_dispatch.hpp>

hpx::functional::tag_fallback_noexcept<Tag> defines a base class that implements the necessary tag dispatching functionality for a given type Tag where the implementation is required to be noexcept

namespace hpx
namespace functional

Typedefs

template<typename Tag, typename ...Args>
using tag_override_dispatch_result = invoke_result<decltype(tag_override_dispatch), Tag, Args...>

hpx::functional::tag_override_dispatch_result<Tag, Args...> is the trait returning the result type of the call hpx::functioanl::tag_override_dispatch. This can be used in a SFINAE context.

template<typename Tag, typename ...Args>
using tag_override_dispatch_result_t = typename tag_override_dispatch_result<Tag, Args...>::type

hpx::functional::tag_override_dispatch_result_t<Tag, Args...> evaluates to hpx::functional::tag_override_dispatch_result_t<Tag, Args...>::type

Variables

constexpr unspecified tag_override_dispatch = unspecified

The hpx::functional::tag_override_dispatch name defines a constexpr object that is invocable with one or more arguments. The first argument is a ‘tag’ (typically a DPO). It is only invocable if an overload of tag_override_dispatch() that accepts the same arguments could be found via ADL.

The evaluation of the expression hpx::functional::tag_override_dispatch(tag, args...) is equivalent to evaluating the unqualified call to tag_override_dispatch(decay-copy(tag), std::forward<Args>(args)...).

hpx::functional::tag_override_dispatch is implemented against P1895.

Example: Defining a new customization point foo:

namespace mylib {
    inline constexpr
        struct foo_fn final : hpx::functional::tag_override<foo_fn>
        {
        } foo{};
}

Defining an object bar which customizes foo:

struct bar
{
    int x = 42;

    friend constexpr int tag_override_dispatch(mylib::foo_fn, bar const& x)
    {
        return b.x;
    }
};

Using the customization point:

static_assert(42 == mylib::foo(bar{}), "The answer is 42");

template<typename Tag, typename ...Args>
constexpr bool is_tag_override_dispatchable_v = is_tag_override_dispatchable<Tag, Args...>::value

hpx::functional::is_tag_override_dispatchable_v<Tag, Args...> evaluates to hpx::functional::is_tag_override_dispatchable<Tag, Args...>::value

template<typename Tag, typename ...Args>
constexpr bool is_nothrow_tag_override_dispatchable_v = is_nothrow_tag_override_dispatchable<Tag, Args...>::value

hpx::functional::is_tag_override_dispatchable_v<Tag, Args...> evaluates to hpx::functional::is_tag_override_dispatchable<Tag, Args...>::value

template<typename Tag, typename ...Args>
struct is_nothrow_tag_override_dispatchable
#include <tag_priority_dispatch.hpp>

hpx::functional::is_nothrow_tag_override_dispatchable<Tag, Args...> is std::true_type if an overload of tag_override_dispatch(tag, args...) can be found via ADL and is noexcept.

template<typename Tag, typename ...Args>
struct is_tag_override_dispatchable
#include <tag_priority_dispatch.hpp>

hpx::functional::is_tag_override_dispatchable<Tag, Args...> is std::true_type if an overload of tag_override_dispatch(tag, args...) can be found via ADL.

template<typename Tag>
struct tag_override
#include <tag_priority_dispatch.hpp>

hpx::functional::tag_override<Tag> defines a base class that implements the necessary tag dispatching functionality for a given type Tag

template<typename Tag>
struct tag_override_noexcept
#include <tag_priority_dispatch.hpp>

hpx::functional::tag_override_noexcept<Tag> defines a base class that implements the necessary tag dispatching functionality for a given type Tag where the implementation is required to be noexcept

Defines

HPX_UTIL_REGISTER_UNIQUE_FUNCTION_DECLARATION(Sig, F, Name)
HPX_UTIL_REGISTER_UNIQUE_FUNCTION(Sig, F, Name)
namespace hpx
namespace util

Typedefs

template<typename Sig>
using unique_function_nonser = unique_function<Sig, false>
template<typename R, typename ...Ts, bool Serializable>
class unique_function<R(Ts...), Serializable> : public detail::basic_function<R(Ts...), false, Serializable>

Public Types

typedef R result_type

Public Functions

constexpr unique_function(std::nullptr_t = nullptr)
unique_function(unique_function&&)
unique_function &operator=(unique_function&&)
template<typename F, typename FD = typename std::decay<F>::type, typename Enable1 = typename std::enable_if<!std::is_same<FD, unique_function>::value>::type, typename Enable2 = typename std::enable_if<is_invocable_r_v<R, FD&, Ts...>>::type>
unique_function(F &&f)
template<typename F, typename FD = typename std::decay<F>::type, typename Enable1 = typename std::enable_if<!std::is_same<FD, unique_function>::value>::type, typename Enable2 = typename std::enable_if<is_invocable_r_v<R, FD&, Ts...>>::type>
unique_function &operator=(F &&f)

Private Types

template<>
using base_type = detail::basic_function<R(Ts...), false, Serializable>
template<typename R, typename Obj, typename ...Ts>
struct get_function_address<R (Obj::*)(Ts...)>

Public Static Functions

static std::size_t call(R (Obj::* f)(Ts...))
template<typename R, typename Obj, typename ...Ts>
struct get_function_address<R (Obj::*)(Ts...) const>

Public Static Functions

static std::size_t call(R (Obj::* f)(Ts...) const)
namespace hpx
namespace traits
template<typename F, typename Enable = void>
struct get_function_address

Public Static Functions

static constexpr std::size_t call(F const &f)
template<typename R, typename ...Ts>
struct get_function_address<R (*)(Ts...)>

Public Static Functions

static constexpr std::size_t call(R (*f)(Ts...))
template<typename R, typename Obj, typename ...Ts>
struct get_function_address<R (Obj::*)(Ts...) const>

Public Static Functions

static std::size_t call(R (Obj::* f)(Ts...) const)
template<typename R, typename Obj, typename ...Ts>
struct get_function_address<R (Obj::*)(Ts...)>

Public Static Functions

static std::size_t call(R (Obj::* f)(Ts...))
namespace hpx
namespace traits
template<typename F, typename Enable = void>
struct get_function_annotation

Public Static Functions

static constexpr char const *call(F const&)
namespace hpx
namespace traits

Variables

template<typename T>HPX_INLINE_CONSTEXPR_VARIABLE bool hpx::traits::is_action_v = is_action<T>::value
template<typename T>HPX_INLINE_CONSTEXPR_VARIABLE bool hpx::traits::is_bound_action_v=is_bound_action<T>::value
namespace hpx
namespace traits

Variables

template<typename T>HPX_INLINE_CONSTEXPR_VARIABLE bool hpx::traits::is_bind_expression_v=is_bind_expression<T>::value
template<typename T>
struct is_bind_expression : public std::is_bind_expression<T>

Subclassed by hpx::traits::is_bind_expression< T const >

namespace hpx

Variables

template<typename F, typename... Ts>HPX_INLINE_CONSTEXPR_VARIABLE bool hpx::is_invocable_v=is_invocable<F, Ts...>::value
template<typename R, typename F, typename... Ts>HPX_INLINE_CONSTEXPR_VARIABLE bool hpx::is_invocable_r_v=is_invocable_r<R, F, Ts...>::value
namespace traits

Typedefs

typedef hpx::is_invocable_r<R, F, Ts...> instead
namespace hpx
namespace traits
template<typename T>
struct is_placeholder
#include <is_placeholder.hpp>

If T is a standard, Boost, or HPX placeholder (_1, _2, _3, …) then this template is derived from std::integral_constant<int, 1>, std::integral_constant<int, 2>, std::integral_constant<int, 3>, respectively. Otherwise it is derived from , std::integral_constant<int, 0>.