23 General utilities library [utilities]

23.14 Function objects [function.objects]

23.14.11 Function object binders [func.bind]

23.14.11.3 Function template bind [func.bind.bind]

In the text that follows:

(1.1)
FD is the type decay_t<F>,
(1.2)
fd is an lvalue of type FD constructed from std::forward<F>(f),
(1.3)
T $_{i}$ is the $i^{th}$ type in the template parameter pack BoundArgs,
(1.4)
TD $_{i}$ is the type decay_t<T $_{i}$ >,
(1.5)
t $_{i}$ is the $i^{th}$ argument in the function parameter pack bound_args,
(1.6)
td $_{i}$ is an lvalue of type TD $_{i}$ constructed from std::forward<T $_{i}$ >(t $_{i}$ ),
(1.7)
U $_{j}$ is the $j^{th}$ deduced type of the UnBoundArgs&&... parameter of the forwarding call wrapper, and
(1.8)
u $_{j}$ is the $j^{th}$ argument associated with U $_{j}$ .

template<class F, class... BoundArgs>
  unspecified bind(F&& f, BoundArgs&&... bound_args);

Requires: is_constructible_v<FD, F> shall be true.

For each T

_{i}

in BoundArgs, is_constructible_v<TD

_{i}

, T

_{i}

> shall be true.

INVOKE(fd, w

_{1}

, w

_{2}

, …, w

_{N}

) ([func.require]) shall be a valid expression for some values w

_{1}

, w

_{2}

, …, w

_{N}

, where N has the value sizeof...(bound_args).

The cv-qualifiers cv of the call wrapper g, as specified below, shall be neither volatile nor const volatile.

Returns: A forwarding call wrapper g ([func.require]).

The effect of g(u

_{1}

, u

_{2}

, …, u

_{M}

) shall be

INVOKE(fd, std::forward<V $_{1}$ >(v $_{1}$ ), std::forward<V $_{2}$ >(v $_{2}$ ), …, std::forward<V $_{N}$ >(v $_{N}$ ))

where the values and types of the bound arguments v

_{1}

, v

_{2}

, …, v

_{N}

are determined as specified below.

The copy constructor and move constructor of the forwarding call wrapper shall throw an exception if and only if the corresponding constructor of FD or of any of the types TD

_{i}

throws an exception.

Throws: Nothing unless the construction of fd or of one of the values td

_{i}

throws an exception.

Remarks: The return type shall satisfy the requirements of MoveConstructible.

If all of FD and TD

_{i}

satisfy the requirements of CopyConstructible, then the return type shall satisfy the requirements of CopyConstructible.

[ Note

This implies that all of FD and TD

_{i}

are MoveConstructible.

— end note

]

🔗

template<class R, class F, class... BoundArgs>
  unspecified bind(F&& f, BoundArgs&&... bound_args);

Requires: is_constructible_v<FD, F> shall be true.

For each T

_{i}

in BoundArgs, is_constructible_v<TD

_{i}

, T

_{i}

> shall be true.

INVOKE(fd, w

_{1}

, w

_{2}

, …, w

_{N}

) shall be a valid expression for some values w

_{1}

, w

_{2}

, …, w

_{N}

, where N has the value sizeof...(bound_args).

The cv-qualifiers cv of the call wrapper g, as specified below, shall be neither volatile nor const volatile.

Returns: A forwarding call wrapper g ([func.require]).

The effect of g(u

_{1}

, u

_{2}

, …, u

_{M}

) shall be

INVOKE<R>(fd, std::forward<V $_{1}$ >(v $_{1}$ ), std::forward<V $_{2}$ >(v $_{2}$ ), …, std::forward<V $_{N}$ >(v $_{N}$ ))

where the values and types of the bound arguments v

_{1}

, v

_{2}

, …, v

_{N}

are determined as specified below.

The copy constructor and move constructor of the forwarding call wrapper shall throw an exception if and only if the corresponding constructor of FD or of any of the types TD

_{i}

throws an exception.

Throws: Nothing unless the construction of fd or of one of the values td

_{i}

throws an exception.

Remarks: The return type shall satisfy the requirements of MoveConstructible.

If all of FD and TD

_{i}

satisfy the requirements of CopyConstructible, then the return type shall satisfy the requirements of CopyConstructible.

[ Note

This implies that all of FD and TD

_{i}

are MoveConstructible.

— end note

]

The values of the bound arguments v

_{1}

, v

_{2}

, …, v

_{N}

and their corresponding types V

_{1}

, V

_{2}

, …, V

_{N}

depend on the types TD

_{i}

derived from the call to bind and the cv-qualifiers cv of the call wrapper g as follows:

(10.1)
if TD $_{i}$ is reference_wrapper<T>, the argument is td $_{i}$ .get() and its type V $_{i}$ is T&;
(10.2)
if the value of is_bind_expression_v<TD $_{i}$ > is true, the argument is td $_{i}$ (std::forward<U $_{j}$ >(u $_{j}$ )...) and its type V $_{i}$ is invoke_result_t<TD $_{i}$ cv &, U $_{j}$ ...>&&;
(10.3)
if the value j of is_placeholder_v<TD $_{i}$ > is not zero, the argument is std::forward<U $_{j}$ >(u $_{j}$ ) and its type V $_{i}$ is U $_{j}$ &&;
(10.4)
otherwise, the value is td $_{i}$ and its type V $_{i}$ is TD $_{i}$ cv &.