std::function::function

 

C++

Apoyo de compiladores

Implementaciones independientes y albergadas

Lenguaje

Biblioteca estándar

Encabezados de la biblioteca estándar

Requisitos denominados

Macros de prueba de característica (C++20)

Biblioteca de apoyo del lenguaje

Biblioteca de conceptos (C++20)

Biblioteca de diagnósticos

Biblioteca de gestión de memoria

Biblioteca de metaprogramación (C++11)

Biblioteca de servicios generales

Biblioteca de contenedores

Biblioteca de iteradores

Biblioteca de rangos (C++20)

Biblioteca de algoritmos

Biblioteca de cadenas

Biblioteca de procesamiento de texto

Biblioteca numérica

Biblioteca de fecha y hora

Biblioteca de entrada/salida

Biblioteca del sistema de archivos (C++17)

Biblioteca de apoyo de concurrencia (C++11)

Biblioteca de apoyo de ejecución (C++26)

Especificaciones técnicas

Índice de símbolos

Bibliotecas externas

 

Biblioteca de servicios

Apoyo del lenguaje Apoyo de tipos (tipos básicos, RTTI) Biblioteca de macros de prueba de característica (C++20) Servicios del programa Apoyo de corrutinas (C++20) Funciones variádicas is_constant_evaluated (C++20) is_within_lifetime (C++26) initializer_list (C++11) source_location (C++20) Comparación de tres vías 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)

Servicios generales Objetos función Manipulación de bits (C++20) bitset hash (C++11) Operadores relacionales (en desuso en C++20) rel_ops::operator!=rel_ops::operator>    rel_ops::operator<=rel_ops::operator>= Funciones de comparación de enteros 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) Intercambio y operaciones de tipos 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) Tipos vocabulario comunes 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)

 

Objetos función

Envoltorios de funciones function (C++11) move_only_function (C++23) mem_fn (C++11) bad_function_call (C++11)	Aplicación parcial de funciones bind_front (C++20) bind (C++11) is_bind_expression (C++11) is_placeholder (C++11) _1, _2, _3, ... (C++11)
Invocación de funciones invokeinvoke_r (C++17)(C++23) Objeto función identidad identity (C++20)	Envoltorios de referencias reference_wrapper (C++11) refcref (C++11)(C++11) unwrap_referenceunwrap_ref_decay (C++20)(C++20)
Envoltorios de operadores 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	Envoltorios de operador transparentes 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)
Negadores not_fn (C++17) Buscadores default_searcher (C++17) boyer_moore_searcher (C++17) boyer_moore_horspool_searcher (C++17)	Comparadores restringidos 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)
Vinculadores y adaptadores antiguos
unary_function (hasta C++17) binary_function (hasta C++17) ptr_fun (hasta C++17) pointer_to_unary_function (hasta C++17) pointer_to_binary_function (hasta C++17) mem_fun (hasta C++17) mem_fun_tmem_fun1_tconst_mem_fun_tconst_mem_fun1_t (hasta C++17)(hasta C++17)(hasta C++17)(hasta C++17) not1 (hasta C++20) not2 (hasta C++20)	binder1stbinder2nd (hasta C++17)(hasta C++17) bind1stbind2nd (hasta C++17)(hasta C++17) mem_fun_ref (hasta C++17) mem_fun_ref_tmem_fun1_ref_tconst_mem_fun_ref_tconst_mem_fun1_ref_t (hasta C++17)(hasta C++17)(hasta C++17)(hasta C++17) unary_negate (hasta C++20) binary_negate (hasta C++20)

 

std::function

Funciones miembro

function::function

function::~function

function::operator=

function::swap

function::assign (hasta C++17)

function::operator bool

function::operator()

function::target_type

function::target

Funciones no miembro

operator==operator!= (hasta C++20)

std::swap(std::function)

Clases auxiliares

std::uses_allocator<std::function> (hasta C++17)

Guías de deducción(C++17)

 

<tbody> </tbody> <tbody class="t-dcl-rev t-dcl-rev-num "> </tbody><tbody> </tbody>

function() noexcept;	(1)	(desde C++11)
function( std::nullptr_t ) noexcept;	(2)	(desde C++11)
function( const function& other );	(3)	(desde C++11)
	(4)
function( function&& other );			(desde C++11) (hasta C++20)
function( function&& other ) noexcept;			(desde C++20)
template< class F > function( F&& f );		(5)	(desde C++11)
template< class Alloc > function( std::allocator_arg_t, const Alloc& alloc ) noexcept;		(6)	(desde C++11) (eliminado en C++17)
template< class Alloc > function( std::allocator_arg_t, const Alloc& alloc, std::nullptr_t ) noexcept;		(7)	(desde C++11) (eliminado en C++17)
template< class Alloc > function( std::allocator_arg_t, const Alloc& alloc, const function& other );		(8)	(desde C++11) (eliminado en C++17)
template< class Alloc > function( std::allocator_arg_t, const Alloc& alloc, function&& other );		(9)	(desde C++11) (eliminado en C++17)
template< class F, class Alloc > function( std::allocator_arg_t, const Alloc& alloc, F f );		(10)	(desde C++11) (eliminado en C++17)

See More

Construye un objeto std::function a partir de una variedad de fuentes.

1-2) Crea un un objeto std::function vacío.

3-4) Copia (3) o mueve (4) el destino de other al destino de *this. Si other está vacío, *this también estará vacío después de la llamada. Para (4), other está en un estado válido pero no especificado después de la llamada.

5) Inicializa el destino with std::forward<F>(f). el destino es de tipo std::decay<F>::type. Si f es un puntero nulo a función, un puntero nulo a miembro, o un valor vacío de alguna especialización de std::function, {{c|*this} } estará vacío después de la llamada. Este constructor no participa en la resolución de sobrecarga a menos que el tipo de destino no sea el mismo que function, y su l-valor es Callable para los tipos de argumento Args... y tipo de retorno R. El programa está mal formado si el tipo de destino no es copiable o si la inicialización del destino está mal formada.

6-10) Igual que (1-5) excepto que alloc se usa para asignar memoria para cualquier estructura de datos interna que function podría usar.

Cuando el destino es un puntero a función o un std::reference_wrapper, la optimización de objetos pequeños está garantizada, es decir, estos destinos siempre se almacenan directamente dentro del objeto std::function, no se realiza ninguna asignación dinámica. Se pueden construir otros objetos grandes en el almacenamiento asignado dinámico y se puede acceder a ellos mediante el objeto std::function a través de un puntero.

Parámetros

other	-	El objeto función usado para inicializar *this.
f	-	Un objeto invocable usado para inicializar *this.
alloc	-	Un Allocator usado para la asignación de memoria interna.
Requisitos de tipo
- std::decay<F>::type debe satisfacer los requisitos de Callable y CopyConstructible.
- Alloc debe satisfacer los requisitos de Allocator.

Excepciones

3,8,9) No lanza si el destino de other es un puntero a función o un std::reference_wrapper, de lo contrario puede lanzar std::bad_alloc o cualquier excepción lanzada por el constructor usado para copiar o mover el objeto invocable almacenado.

4) No lanza si el destino de other es un puntero a función o un std::reference_wrapper, de lo contrario puede lanzar std::bad_alloc o cualquier excepción lanzada por el constructor usado para copiar o mover el objeto invocable almacenado.

(hasta C++20)

5,10) No lanza si f es un puntero a función std::reference_wrapper, de lo contrario puede lanzar std::bad_alloc o cualquier excepción lanzada por el constructor de copia del objeto invocable almacenado.

Notas

El apoyo del asignador de memoria de std::function se especificó de manera deficiente y se implementó de manera inconsistente. Algunas implementaciones no proporcionan las sobrecargas (6-10) en absoluto, algunas proporcionan las sobrecargas pero ignoran el argumento del asignador proporcionado, y algunas proporcionan las sobrecargas y usan el asignador proporcionado para la construcción, pero no cuando std::function se reasigna. Como resultado, el apoyo del asignador de memoria se eliminó en C++17.

Ejemplo

Informes de defectos

Los siguientes informes de defectos de cambio de comportamiento se aplicaron de manera retroactiva a los estándares de C++ publicados anteriormente.

ID	Aplicado a	Comportamiento según lo publicado	Comportamiento correcto
LWG 2132	C++11	El constructor que toma un objeto Callable podría ser ambiguo.	Se restringió.
LWG 2774	C++11	El constructor que toma un objeto Callable realizaba una operación de movimiento adicional.	Se eliminó.

Véase también

(constructor) (C++23)

Construye un nuevo objeto de tipo std::move_only_function. (función miembro pública de std::move_only_function<R(Args...) cv ref noexcept(noex)>)