Namespaces
Variants

deduction guides for std::packaged_task

From cppreference.net
Concurrency support library
Threads
(C++11)
(C++20)
this_thread namespace
(C++11)
(C++11)
Cooperative cancellation
Mutual exclusion
Generic lock management
Condition variables
(C++11)
Semaphores
Latches and Barriers
(C++20)
(C++20)
Futures
(C++11)
(C++11)
(C++11)
Safe reclamation
Hazard pointers
Atomic types
(C++11)
(C++20)
Initialization of atomic types
(C++11) (deprecated in C++20)
(C++11) (deprecated in C++20)
Memory ordering
(C++11) (deprecated in C++26)
Free functions for atomic operations
Free functions for atomic flags
Definido en el encabezado <future>
template < class R, class ... Args >
packaged_task ( R ( * ) ( Args... ) ) - > packaged_task < R ( Args... ) > ;
(1) (desde C++17)
template < class F >
packaged_task ( F ) - > packaged_task < /*ver más abajo*/ > ;
(2) (desde C++17)
template < class F >
packaged_task ( F ) - > packaged_task < /*ver más abajo*/ > ;
(3) (desde C++23)
template < class F >
packaged_task ( F ) - > packaged_task < /*ver más abajo*/ > ;
(4) (desde C++23)
1) Esta guía de deducción se proporciona para std::packaged_task para permitir la deducción a partir de funciones.
2) Esta sobrecarga participa en la resolución de sobrecarga solo si & F :: operator ( ) está bien formado cuando se trata como un operando no evaluado y decltype ( & F :: operator ( ) ) es de la forma R ( G :: * ) ( A... ) (opcionalmente calificado cv, opcionalmente noexcept, opcionalmente calificado como referencia lvalue). El tipo deducido es std:: packaged_task < R ( A... ) > .
3) Esta sobrecarga participa en la resolución de sobrecarga solo si & F :: operator ( ) está bien formado cuando se trata como un operando no evaluado y F :: operator ( ) es una función de parámetro de objeto explícito cuyo tipo es de la forma R ( G, A... ) o R ( G, A... ) noexcept . El tipo deducido es std:: packaged_task < R ( A... ) > .
4) Esta sobrecarga participa en la resolución de sobrecarga solo si & F :: operator ( ) está bien formado cuando se trata como un operando no evaluado y F :: operator ( ) es una función miembro estática cuyo tipo es de la forma R ( A... ) o R ( A... ) noexcept . El tipo deducido es std:: packaged_task < R ( A... ) > .

Notas

Estas guías de deducción no permiten la deducción desde una función con parámetro de elipsis , y el ... en los tipos siempre se trata como una expansión de paquete .

Ejemplo

#include <future>
int func(double) { return 0; }
int main()
{
    std::packaged_task f{func}; // deduce packaged_task<int(double)>
    int i = 5;
    std::packaged_task g = [&](double) { return i; }; // => packaged_task<int(double)>
}