std::move_only_function

 

C++

Compiler-Unterstützung

Freestanding und gehostet

Sprache

Standardbibliothek

Header der Standardbibliothek

Benannte Anforderungen

Feature-Test-Makros (C++20)

Bibliothek für Sprachunterstützung

Konzepte-Bibliothek (C++20)

Diagnostik-Bibliothek

Speicherverwaltungsbibliothek

Metaprogrammierungsbibliothek (C++11)

Allgemeine Dienstprogramme-Bibliothek

Container-Bibliothek

Iterator-Bibliothek

Ranges-Bibliothek (C++20)

Algorithmen-Bibliothek

Bibliothek für Zeichenketten

Textverarbeitungsbibliothek

Numerik-Bibliothek

Datums- und Zeitbibliothek

Ein-/Ausgabe-Bibliothek

Dateisystembibliothek (C++17)

Unterstützung für nebenläufige Programmierung (C++11)

Ausführungssteuerungsbibliothek (C++26)

Technische Spezifikationen

Symbolverzeichnis

Externe Bibliotheken

 

Dienstprogramm-Bibliotheken

Sprachunterstützung Typunterstützung (Basistypen, RTTI) Bibliotheks-Feature-Test-Makros (C++20) Programm-Dienstprogramme Variadische Funktionen initializer_list (C++11) is_constant_evaluated (C++20) is_within_lifetime (C++26) source_location (C++20) Coroutine-Unterstützung (C++20) Vertragsunterstützung (C++26) Drei-Wege-Vergleich three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20)   is_eqis_ltis_lteq (C++20)(C++20)(C++20)   is_neqis_gtis_gteq (C++20)(C++20)(C++20)

Allgemeine Hilfsmittel Funktionsobjekte Bit-Manipulation (C++20) bitset hash (C++11) Relationale Operatoren (in C++20 veraltet) rel_ops::operator!=rel_ops::operator>    rel_ops::operator<=rel_ops::operator>= Ganzzahl-Vergleichsfunktionen cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)   cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) Swap und Typ-Operationen swap ranges::swap (C++20) exchange (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) move (C++11) move_if_noexcept (C++11) as_const (C++17) Gemeinsame Vokabulartypen pair tuple (C++11) optional (C++17) any (C++17) variant (C++17) tuple_size (C++11) tuple_element (C++11) apply (C++17) make_from_tuple (C++17) expected (C++23)

 

Funktionsobjekte

Funktions-Wrapper Funktion (C++11) move_only_function (C++23) copyable_function (C++26) function_ref (C++26) mem_fn (C++11) bad_function_call (C++11)	Partielle Funktionsanwendung bind_frontbind_back (C++20)(C++23) bind (C++11) is_bind_expression (C++11) is_placeholder (C++11) _1, _2, _3, ... (C++11)
Funktionsaufruf invokeinvoke_r (C++17)(C++23) Identitätsfunktions-Objekt identity (C++20)	Referenz-Wrapper reference_wrapper (C++11) refcref (C++11)(C++11) unwrap_referenceunwrap_ref_decay (C++20)(C++20)
Operator-Wrapper plus minus negate multiplies divides modulus bit_and bit_or bit_not (C++14)   bit_xor equal_to not_equal_to greater less greater_equal less_equal logical_and logical_or logical_not	Transparente Operator-Wrapper plus<> (C++14) minus<> (C++14) negate<> (C++14) multiplies<> (C++14)   divides<> (C++14) modulus<> (C++14) bit_and<> (C++14) bit_or<> (C++14) bit_not<> (C++14) bit_xor<> (C++14) equal_to<> (C++14) not_equal_to<> (C++14) greater<> (C++14) less<> (C++14) greater_equal<> (C++14) less_equal<> (C++14) logical_and<> (C++14) logical_or<> (C++14) logical_not<> (C++14)
Negatoren not_fn (C++17) Sucher default_searcher (C++17) boyer_moore_searcher (C++17) boyer_moore_horspool_searcher (C++17)	Beschränkte Komparatoren ranges::equal_to (C++20) ranges::not_equal_to (C++20) ranges::greater (C++20) ranges::less (C++20) ranges::greater_equal (C++20) ranges::less_equal (C++20) compare_three_way (C++20)
Alte Binder und Adaptoren
unary_function (bis C++17*) binary_function (bis C++17*) ptr_fun (bis C++17*) pointer_to_unary_function (bis C++17*) pointer_to_binary_function (bis C++17*)   mem_fun (bis C++17*) mem_fun_tmem_fun1_tconst_mem_fun_tconst_mem_fun1_t (bis C++17*)(bis C++17*)(bis C++17*)(bis C++17*) not1 (bis C++20*) not2 (bis C++20*)	binder1stbinder2nd (bis C++17*)(bis C++17*) bind1stbind2nd (bis C++17*)(bis C++17*) mem_fun_ref (bis C++17*) mem_fun_ref_tmem_fun1_ref_tconst_mem_fun_ref_tconst_mem_fun1_ref_t (bis C++17*)(bis C++17*)(bis C++17*)(bis C++17*) unary_negate (bis C++20*) binary_negate (bis C++20*)

 

std::move_only_function

Memberfunktionen

move_only_function::move_only_function

move_only_function::~move_only_function

move_only_function::operator=

move_only_function::swap

move_only_function::operator bool

move_only_function::operator()

Nicht-Member-Funktionen

operator==

swap(std::move_only_function)

 

Definiert in der Header-Datei <functional>
template< class... > class move_only_function; // nicht definiert	(1)	(seit C++23)
template< class R, class... Args > class move_only_function<R(Args...)>; template< class R, class... Args > class move_only_function<R(Args...) noexcept>; template< class R, class... Args > class move_only_function<R(Args...) &>; template< class R, class... Args > class move_only_function<R(Args...) & noexcept>; template< class R, class... Args > class move_only_function<R(Args...) &&>; template< class R, class... Args > class move_only_function<R(Args...) && noexcept>; template< class R, class... Args > class move_only_function<R(Args...) const>; template< class R, class... Args > class move_only_function<R(Args...) const noexcept>; template< class R, class... Args > class move_only_function<R(Args...) const &>; template< class R, class... Args > class move_only_function<R(Args...) const & noexcept>; template< class R, class... Args > class move_only_function<R(Args...) const &&>; template< class R, class... Args > class move_only_function<R(Args...) const && noexcept>;	(2)	(seit C++23)

Die Klassenvorlage std::move_only_function ist ein generischer polymorpher Funktions-Wrapper. std::move_only_function-Objekte können jedes konstruierbare (nicht unbedingt verschiebbar konstruierbare) Callable-Objekt – Funktionen, Lambda-Ausdrücke, bind-Ausdrücke oder andere Funktions-Objekte sowie Zeiger auf Member-Funktionen und Zeiger auf Member-Daten – speichern und aufrufen.

Das gespeicherte aufrufbare Objekt wird als *Ziel* von std::move_only_function bezeichnet. Wenn ein std::move_only_function kein Ziel enthält, wird es als *leer* bezeichnet. Im Gegensatz zu std::function führt der Aufruf eines *leeren* std::move_only_function zu undefiniertem Verhalten.

std::move_only_function unterstützt jede mögliche Kombination von cv-Qualifizierern (außer volatile), ref-Qualifizierern und noexcept-Spezifizierern, die in seinem Vorlagenparameter angegeben sind. Diese Qualifizierer und Spezifizierer (falls vorhanden) werden seinem operator() hinzugefügt.

std::move_only_function erfüllt die Anforderungen von MoveConstructible und MoveAssignable, aber nicht die von CopyConstructible oder CopyAssignable.

Mitgliedstypen

Typ	Definition
result_type	R

Mitgliedsfunktionen

(Konstruktor)	erzeugt ein neues std::move_only_function-Objekt (public member function)
(Destruktor)	zerstört ein std::move_only_function-Objekt (public member function)
operator=	ersetzt oder zerstört das Ziel (public member function)
swap	tauscht die Ziele zweier std::move_only_function-Objekte (public member function)
operator bool	prüft, ob das std::move_only_function ein Ziel hat (public member function)
operator()	ruft das Ziel auf (public member function)

Nicht-Mitgliedsfunktionen

swap(std::move_only_function) (C++23)	spezialisiert den Algorithmus std::swap (Funktion)
operator== (C++23)	vergleicht ein std::move_only_function mit nullptr (function)

Hinweise

Implementierungen können ein aufrufbares Objekt geringer Größe innerhalb des std::move_only_function-Objekts speichern. Eine solche Small-Object-Optimierung ist für Funktionszeiger und Spezialisierungen von std::reference_wrapper praktisch erforderlich und kann nur auf Typen T angewendet werden, für die std::is_nothrow_move_constructible_v<T> true ist.

Wenn ein std::move_only_function, das eine Referenz zurückgibt, aus einer Funktion oder einem Funktions-Objekt initialisiert wird, das ein prvalue zurückgibt (einschließlich eines Lambda-Ausdrucks ohne nachfolgenden Rückgabetyp), ist das Programm ill-formed, da das Binden der zurückgegebenen Referenz an ein temporäres Objekt verboten ist. Siehe auch std::function Hinweise.

Feature-Test-Makro	Wert	Std	Feature
__cpp_lib_move_only_function	202110L	(C++23)	std::move_only_function

Beispiel

Führen Sie diesen Code aus

#include <functional>
#include <future>
#include <iostream>
 
int main()
{
    std::packaged_task<double()> packaged_task([](){ return 3.14159; });
 
    std::future<double> future = packaged_task.get_future();
 
    auto lambda = [task = std::move(packaged_task)]() mutable { task(); };
 
//  std::function<void()> function = std::move(lambda); // Error
    std::move_only_function<void()> function = std::move(lambda); // OK
 
    function();
 
    std::cout << future.get();
}

Ausgabe

3.14159

Siehe auch

Funktion (C++11)	kopierfähiger Wrapper für jedes kopierkonstruierbare aufrufbare Objekt (Klassen-Template)
function_ref (C++26)	nicht-besitzender Wrapper für jedes aufrufbare Objekt (Klassen-Template)
copyable_function (C++26)	kopierfähiger Wrapper für jedes kopierkonstruierbare aufrufbare Objekt, das Qualifizierer in einer gegebenen Aufrufsignatur unterstützt (Klassen-Template)