22 General utilities library [utilities]

22.10 Function objects [function.objects]

22.10.17 Polymorphic function wrappers [func.wrap]

22.10.17.4 Move-only wrapper [func.wrap.move]

22.10.17.4.3 Constructors, assignment, and destructor [func.wrap.move.ctor]

🔗
template<class VT> static constexpr bool is-callable-from = see below;
1
#
If noex is true, is-callable-from<VT> is equal to: is_nothrow_invocable_r_v<R, VT cv ref, ArgTypes...> && is_nothrow_invocable_r_v<R, VT inv-quals, ArgTypes...>
Otherwise, is-callable-from<VT> is equal to: is_invocable_r_v<R, VT cv ref, ArgTypes...> && is_invocable_r_v<R, VT inv-quals, ArgTypes...>
🔗
move_only_function() noexcept; move_only_function(nullptr_t) noexcept;
2
#
Postconditions: *this has no target object.
🔗
move_only_function(move_only_function&& f) noexcept;
3
#
Postconditions: The target object of *this is the target object f had before construction, and f is in a valid state with an unspecified value.
🔗
template<class F> move_only_function(F&& f);
4
#
Let VT be decay_t<F>.
5
#
Constraints:
  • (5.1)
    remove_cvref_t<F> is not the same type as move_only_function, and
  • (5.2)
    remove_cvref_t<F> is not a specialization of in_place_type_t, and
  • (5.3)
    is-callable-from<VT> is true.
6
#
Mandates: is_constructible_v<VT, F> is true.
7
#
Preconditions: VT meets the Cpp17Destructible requirements, and if is_move_constructible_v<VT> is true, VT meets the Cpp17MoveConstructible requirements.
8
#
Postconditions: *this has no target object if any of the following hold:
  • (8.1)
    f is a null function pointer value, or
  • (8.2)
    f is a null member pointer value, or
  • (8.3)
    remove_cvref_t<F> is a specialization of the move_only_function class template, and f has no target object.
Otherwise, *this has a target object of type VT direct-non-list-initialized with std​::​forward<F>(f).
9
#
Throws: Any exception thrown by the initialization of the target object.
May throw bad_alloc unless VT is a function pointer or a specialization of reference_wrapper.
🔗
template<class T, class... Args> explicit move_only_function(in_place_type_t<T>, Args&&... args);
10
#
Let VT be decay_t<T>.
11
#
Constraints:
  • (11.1)
    is_constructible_v<VT, Args...> is true, and
  • (11.2)
    is-callable-from<VT> is true.
12
#
Mandates: VT is the same type as T.
13
#
Preconditions: VT meets the Cpp17Destructible requirements, and if is_move_constructible_v<VT> is true, VT meets the Cpp17MoveConstructible requirements.
14
#
Postconditions: *this has a target object of type VT direct-non-list-initialized with std​::​forward<Args>​(args)....
15
#
Throws: Any exception thrown by the initialization of the target object.
May throw bad_alloc unless VT is a function pointer or a specialization of reference_wrapper.
🔗
template<class T, class U, class... Args> explicit move_only_function(in_place_type_t<T>, initializer_list<U> ilist, Args&&... args);
16
#
Let VT be decay_t<T>.
17
#
Constraints:
  • (17.1)
    is_constructible_v<VT, initializer_list<U>&, Args...> is true, and
  • (17.2)
    is-callable-from<VT> is true.
18
#
Mandates: VT is the same type as T.
19
#
Preconditions: VT meets the Cpp17Destructible requirements, and if is_move_constructible_v<VT> is true, VT meets the Cpp17MoveConstructible requirements.
20
#
Postconditions: *this has a target object of type VT direct-non-list-initialized with ilist, std​::​forward<Args>(args)....
21
#
Throws: Any exception thrown by the initialization of the target object.
May throw bad_alloc unless VT is a function pointer or a specialization of reference_wrapper.
🔗
move_only_function& operator=(move_only_function&& f);
22
#
Effects: Equivalent to: move_only_function(std​::​move(f)).swap(*this);
23
#
Returns: *this.
🔗
move_only_function& operator=(nullptr_t) noexcept;
24
#
Effects: Destroys the target object of *this, if any.
25
#
Returns: *this.
🔗
template<class F> move_only_function& operator=(F&& f);
26
#
Effects: Equivalent to: move_only_function(std​::​forward<F>(f)).swap(*this);
27
#
Returns: *this.
🔗
~move_only_function();
28
#
Effects: Destroys the target object of *this, if any.
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy