Namespaces
Variants

deduction guides for std::packaged_task

From cppreference.net
C++
Concurrency support library
Threads
(C++11)
(C++20)
(C++17) (C++17)
this_thread namespace
(C++11)
(C++11)
Cooperative cancellation
Mutual exclusion
Generic lock management
Condition variables
(C++11)
(C++11)
(C++11)
(C++11)
Semaphores
(C++20) (C++20)
Latches and Barriers
(C++20)
(C++20)
Futures
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
Safe reclamation
Hazard pointers
(C++26)
(C++26)
(C++26)
Atomic types
(C++11)
(C++20)
(C++11)
Initialization of atomic types
(C++11) (deprecated in C++20)
(C++11) (deprecated in C++20)
(C++11)
Memory ordering
(C++11)
(C++11) (deprecated in C++26)
(C++11)
(C++11)
Free functions for atomic operations
(C++11) (C++11)
(C++11) (C++11)
(C++11) (C++11)
(C++11) (C++11) (C++11) (C++11)
(C++11) (C++11)
(C++11) (C++11)
(C++11) (C++11)
(C++11) (C++11)
(C++11) (C++11)
(C++26) (C++26)
(C++26) (C++26)
(C++11)
(C++20) (C++20)
(C++20)
(C++20)
Free functions for atomic flags
(C++11) (C++11)
(C++11) (C++11)
(C++20) (C++20)
(C++20) (C++20)
(C++20)
(C++20)
std::packaged_task
Definiert im Header <future>
template < class R, class ... Args >
packaged_task ( R ( * ) ( Args... ) ) - > packaged_task < R ( Args... ) > ;
(1) (seit C++17)
template < class F >
packaged_task ( F ) - > packaged_task < /*siehe unten*/ > ;
(2) (seit C++17)
template < class F >
packaged_task ( F ) - > packaged_task < /*siehe unten*/ > ;
(3) (seit C++23)
template < class F >
packaged_task ( F ) - > packaged_task < /*siehe unten*/ > ;
(4) (seit C++23)
1) Dieser Deduction Guide wird für std::packaged_task bereitgestellt, um Ableitung von Funktionen zu ermöglichen.
2) Diese Überladung nimmt nur dann an der Überladungsauflösung teil, wenn & F :: operator ( ) wohlgeformt ist, wenn es als nicht ausgewerteter Operand behandelt wird, und decltype ( & F :: operator ( ) ) die Form R ( G :: * ) ( A... ) hat (optional cv-qualifiziert, optional noexcept, optional Lvalue-Referenz qualifiziert). Der abgeleitete Typ ist std:: packaged_task < R ( A... ) > .
3) Diese Überladung nimmt nur dann an der Überladungsauflösung teil, wenn & F :: operator ( ) wohlgeformt ist, wenn es als nicht ausgewerteter Operand behandelt wird, und F :: operator ( ) eine explicit object parameter function ist, deren Typ die Form R ( G, A... ) oder R ( G, A... ) noexcept hat. Der abgeleitete Typ ist std:: packaged_task < R ( A... ) > .
4) Diese Überladung nimmt nur dann an der Überladungsauflösung teil, wenn & F :: operator ( ) wohlgeformt ist, wenn es als nicht ausgewerteter Operand behandelt wird, und F :: operator ( ) eine statische Memberfunktion ist, deren Typ die Form R ( A... ) oder R ( A... ) noexcept hat. Der abgeleitete Typ ist std:: packaged_task < R ( A... ) > .

Hinweise

Diese Deduktionsleitlinien erlauben keine Deduktion von einer Funktion mit Ellipsen-Parameter , und das ... in den Typen wird immer als eine Pack-Expansion behandelt.

Beispiel

Diesen Code ausführen 
#include <future>
int func(double) { return 0; }
int main()
{
    std::packaged_task f{func}; // leitet packaged_task<int(double)> ab
    int i = 5;
    std::packaged_task g = [&](double) { return i; }; // => packaged_task<int(double)>
}