Espacios de nombres
Variantes
Acciones

Objetos función

De cppreference.com
< cpp‎ | utility
 
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
Servicios generales
Objetos función
Manipulación de bits (C++20)
(C++11)
Operadores relacionales (en desuso en C++20)
 
Objetos función
Envoltorios de funciones
(C++11)
(C++23)
(C++11)
(C++11)
Aplicación parcial de funciones
(C++20)
(C++11)
(C++11)
(C++11)
(C++11)
Invocación de funciones
(C++17)(C++23)
Objeto función identidad
(C++20)
Envoltorios de referencias
(C++11)
(C++11)(C++11)
(C++20)(C++20)
Envoltorios de operador transparentes
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
Negadores
(C++17)
Buscadores
(C++17)
(C++17)
(C++17)
Comparadores restringidos
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
Vinculadores y adaptadores antiguos
(hasta C++17)
(hasta C++17)
(hasta C++17)
(hasta C++17)
(hasta C++17)
(hasta C++17)
(hasta C++17)(hasta C++17)(hasta C++17)(hasta C++17)
(hasta C++20)
(hasta C++20)
(hasta C++17)(hasta C++17)
(hasta C++17)(hasta C++17)

(hasta C++17)
(hasta C++17)(hasta C++17)(hasta C++17)(hasta C++17)
(hasta C++20)
(hasta C++20)
 

Un objeto función es cualquier objeto para el que el operador llamada a función está definido. C++ proporciona varios objetos función integrados así como apoyo para la creación y manipulación de nuevos objetos función.

Contenido

[editar] Invocación de función

La operación de solo exposición INVOKE(f, arg_0, arg_1, arg_2, ..., arg_N) se define como:

Permita que el tipo Obj sea el tipo no calificado de arg_0 (es decir, std::remove_cv<std::remove_reference<decltype(arg_0)>::type>::type)

  • (obj.*f)(arg_1, arg_2, ..., arg_N) (invoca la función miembro en el objeto).
  • (obj.get().*f)(arg_1, arg_2, ..., arg_N) (invoca la función miembro en el objeto especializado referido).
  • De otra manera
  • ((*obj).*f)(arg_1, arg_2, ..., arg_N) (invoca la función miembro en el objeto dereferenciado).
  • obj.*mptr (acceso a miembro de datos del objeto).
  • obj.get().*mptr (accede al miembro de datos del objeto especializado referido).
  • De otra manera
  • (*obj).*mptr (accede al miembro de datos del objeto desreferenciado).
  • En otro caso
  • INVOKE(f, arg_0, arg_1, arg_2, ..., arg_N) es equivalente a f(arg_0, arg_1, arg_2, ..., arg_N) (invocar el invocable).


La operación de sólo exposisición INVOKE<R>(f, arg_0, arg_1, arg_2, ..., arg_N) se define de la siguiente manera:

  • Si R es void (que puede estar calificado cv)
  • static_cast<void>(INVOKE(f, arg_0, arg_1, arg_2, ..., arg_N)).
  • En otro caso
  • INVOKE(f, arg_0, arg_1, arg_2, ..., arg_N) implícitamente convertida a R.

El tipo Actual sea decltype(INVOKE(f, arg_0, arg_1, arg_2, ..., arg_N))

  • INVOKE<R>(f, arg_0, arg_1, arg_2, ..., arg_N)está mal formado.
(desde C++23)
 (desde C++11)


std::invoke y std::invoke_r (desde C++23) pueden invocar cualquier objeto Callable con argumentos dados de acuerdo con la reglas de INVOKE e INVOKE<R> (desde C++23).

(C++17)(C++23)
 Invoca cualquier objeto Callable con los argumentos dados y la posibilidad de especificar el tipo de retorno. (desde C++23)
(plantilla de función) [editar]

[editar] Envoltorios de funciones

Estas clases envolventes polimórficas proporcionan apoyo para almacenar objetos función arbitrarios.

(C++11)
 Envuelve un objeto que puede ser llamado a cualquier tipo con la signatura de llamada a función especificada.
(plantilla de clase) [editar]
(C++23)
 Envuelve un objeto invocable de cualquier tipo con la signatura de llamada a función especificada.
(plantilla de clase) [editar]
(C++26)
 envoltura copiable de cualquier copia de objeto construible y llamable que admita calificadores en una firma de llamada determinada
(plantilla de clase) [editar]
(C++26)
 envolvente no propietaria de cualquier objeto invocable
(plantilla de clase) [editar]
(C++11)
 La excepción que se lanza cuando se invoca un objeto std::function vacío.
(clase) [editar]
(C++11)
 Crea un objeto función de un puntero a un miembro.
(plantilla de función) [editar]

[editar] Identidad

std::identity es el objeto función identidad: devuelve su argumento sin cambiarlo.

(C++20)
 Objeto función que devuelve su argumento sin cambiarlo.
(clase) [editar]

[editar] Aplicación de función parcial

std::bind_front y std::bind proporcionan apoyo para la aplicación de función parcial, es decir, la vinculación de argumentos a funciones para producir nuevas funciones.

(C++20)(C++23)
 Vincula un número variable de argumentos, en orden, a un objeto función.
(plantilla de función) [editar]
(C++11)
 Vincula uno o más argumentos a un objeto función.
(plantilla de función) [editar]
(C++11)
 Indica que un objeto es una expresión std::bind o puede usarse como tal.
(plantilla de clase) [editar]
(C++11)
 Indica que un objeto es un marcador de posición estándar o puede usarse como tal.
(plantilla de clase) [editar]
Definido en el espacio de nombres std::placeholders
(C++11)
 Marcadores de posición para los argumentos no vinculados en una expresión std::bind.
(constante) [editar]

[editar] Negadores

std::not_fn crea un objeto función que niega el resultado del objeto invocable que se la pasó.

(C++17)
 Crea un objeto función que devuelve el complemento del resultado del objeto función que mantiene.
(plantilla de función) [editar]

[editar] Buscadores

Se proporcionan buscadores que implementan varios algoritmos de búsqueda de cadenas y que se pueden usar o bien directamente o con std::search.

(C++17)
 Implementación del algoritmo de búsqueda de la biblioteca estándar de C++.
(plantilla de clase) [editar]
(C++17)
 Implementación del algoritmo de búsqueda Boyer-Moore.
(plantilla de clase) [editar]
(C++17)
 Implementación del algoritmo de búsqueda Boyer-Moore-Horspool.
(plantilla de clase) [editar]

[editar] Envoltorios de referencias

Los envoltorios de referencias permiten que los argumentos de referencia se almacenen en objetos función copiables:

(C++11)
 Envoltorio de referencia CopyConstructible y CopyAssignable.
(plantilla de clase) [editar]
(C++11)(C++11)
 Crea un envoltorio de referencia (std::reference_wrapper) con un tipo deducido de su argumento.
(plantilla de función) [editar]
(C++20)(C++20)
 Obtiene el tipo referencia envuelto en std::reference_wrapper.
(plantilla de clase) [editar]

Objetos de función transparentes

Los Associative containers y los unordered associative containers (desde C++20) proporcionan operaciones de búsqueda y borredo (desde C++23) heterogéneas, pero solo están habilitados si el tipo de objeto función suministrado T es transparente : el identificador calificado T::is_transparent es válido y denota un tipo.

Todos los tipos de objetos función transparentes de la biblioteca estándar definen un tipo anidado is_transparent. Sin embargo, los tipos de objetos de función transparentas definidos por el usuario no necesitan proporcionar directamente is_transparent como un tipo anidado: se pueden definir en una clase base, siempre que T::is_transparent satisfaga el requisito de transparencia indicado anteriormente.

(desde C++14)

[editar] Objetos función de operador

C++ define los siguientes objetos función que representan operaciones aritméticas y lógicas comunes:

Las especializaciones void deducen sus tipos de parámetros y de retorno de sus argumentos, todas son transparentes.

(desde C++14)
Operaciones aritméticas
Objeto función que implementa x + y
(plantilla de clase) [editar]
Objeto función que implementa x + y deduciendo el tipo del argumento y el tipo de retorno.
(especialización de plantilla de clase) [editar]
Objeto función que implementa x - y
(plantilla de clase) [editar]
Objeto función que implementa x - y deduciendo el tipo del argumento y el tipo de retorno
(especialización de plantilla de clase) [editar]
Objeto función que implementa x * y
(plantilla de clase) [editar]
Objeto función que implementa x * y deduciendo los tipos del argumento y el tipo de retorno
(especialización de plantilla de clase) [editar]
Objeto función que implementa x / y.
(plantilla de clase) [editar]
Objeto función que implementa x / y deduciendo los tipos del argumento y el tipo de retorno
(especialización de plantilla de clase) [editar]
Objeto función que implementa x % y
(plantilla de clase) [editar]
Objeto función que implementa x % y deduciendo el tipo del argumento y el tipo de retorno
(especialización de plantilla de clase) [editar]
Objeto función que implementa -x
(plantilla de clase) [editar]
(C++14)
 objeto de función que implementa -x deduciendo los tipos de parámetro y retorno
(especialización de plantilla de clase) [editar]
Comparaciones
Objeto función que implementa x == y.
(plantilla de clase) [editar]
(C++14)
 Objeto función que implementa x == y deduciendo los tipos de parámetro y de retorno.
(especialización de plantilla de clase) [editar]
Objeto función que implementa x != y.
(plantilla de clase) [editar]
(C++14)
 Objeto función que implementa x != y deduciendo los tipos de parámetro y de retorno.
(especialización de plantilla de clase) [editar]
Objeto función que implementa x > y.
(plantilla de clase) [editar]
(C++14)
 Objeto función que implementa x > y deduciendo los tipos de parámetro y de retorno.
(especialización de plantilla de clase) [editar]
Objeto función que implementa x < y.
(plantilla de clase) [editar]
(C++14)
 Función objeto que implementa x < y deduciendo los argumentos y los tipos de retorn.
(especialización de plantilla de clase) [editar]
Objeto función que implementa x >= y.
(plantilla de clase) [editar]
(C++14)
 objeto de función que implementa x >= y deduciendo los tipos de parámetro y retorno
(especialización de plantilla de clase) [editar]
Objeto función que implementa x <= y
(plantilla de clase) [editar]
(C++14)
 objeto de función que implementa x <= y deduciendo los tipos de parámetro y retorno
(especialización de plantilla de clase) [editar]
Operaciones lógicas
Objeto función que implementa x && y.
(plantilla de clase) [editar]
(C++14)
 objeto de función que implementa x && y deduciendo los tipos de parámetro y retorno
(especialización de plantilla de clase) [editar]
Objeto función que implementa x || y.
(plantilla de clase) [editar]
(C++14)
 objeto de función que implementa x || y deduciendo los tipos de parámetro y retorno
(especialización de plantilla de clase) [editar]
Objeto función que implementa !x.
(plantilla de clase) [editar]
(C++14)
 objeto de función que implementa !x deduciendo los tipos de parámetro y retorno
(especialización de plantilla de clase) [editar]
Operaciones a nivel de bits
Objeto función que implementa x & y.
(plantilla de clase) [editar]
(C++14)
 objeto de función que implementa x & y deduciendo tipos de parámetro y retorno
(especialización de plantilla de clase) [editar]
Objeto función que implementa x | y.
(plantilla de clase) [editar]
(C++14)
 Objeto función que implementa x | y deduciendo tipos de parámetro y de retorno.
(especialización de plantilla de clase) [editar]
Objeto función que implementa x ^ y.
(plantilla de clase) [editar]
(C++14)
 objeto de función que implementa x ^ y deduciendo los tipos de parámetro y retorno
(especialización de plantilla de clase) [editar]
(C++14)
 Objeto función que implementa ~x.
(plantilla de clase) [editar]
(C++14)
 Objeto función que implementa ~x deduciendo el tipo del argumento y el tipo de retorno.
(especialización de plantilla de clase) [editar]

Objetos función de comparación restringida

Los siguientes de objetos función de comparación son restringidos.

  • Los operadores de igualdad (ranges::equal_to y ranges::not_equal_to) requieren que los tipos de los argumentos satisfagan equality_comparable_with.
  • Los operadores relacionales (ranges::less, ranges::greater, ranges::less_equal, y ranges::greater_equal) requieren que los tipos de los argumentos satisfagan totally_ordered_with.
  • El operador de comparación de tres vías (compare_three_way) requiere que el tipo satisfaga three_way_comparable_with.

Todas estos objetos de función son transparentes.

(C++20)
 Objeto función que implementa x == y.
(clase) [editar]
(C++20)
 Objeto función que implementa x != y.
(clase) [editar]
(C++20)
 Objeto función que implementa x < y.
(clase) [editar]
(C++20)
 Objeto función que implementa x > y.
(clase) [editar]
(C++20)
 Objeto función que implementa x <= y.
(clase) [editar]
(C++20)
 Objeto función que implementa x >= y.
(clase) [editar]
(C++20)
 Objeto función que implementa x <=> y
(clase) [editar]
(desde C++20)

Elementos de ayuda

Los siguientes elementos de solo exposición se usan para varios componentes de la biblioteca estándar, pero no son parte de la interfaz de la biblioteca estándar.

template< class Fn, class... Args >

concept /*callable*/ =
    requires (Fn&& fn, Args&&... args) {
        std::forward<Fn>(fn)(std::forward<Args>(args)...);

    };
 (1) (solo de exposición*)
template< class Fn, class... Args >

concept /*nothrow-callable*/ =
    /*callable*/<Fn, Args...> &&
    requires (Fn&& fn, Args&&... args) {
        { std::forward<Fn>(fn)(std::forward<Args>(args)...) } noexcept;

    };
 (2) (solo de exposición*)
template< class Fn, class... Args >
using /*call-result-t*/ = decltype(std::declval<Fn>()(std::declval<Args>()...));
 (3) (solo de exposición*)
template< const auto& T >
using /*decayed-typeof*/ = decltype(auto(T));
 (4) (solo de exposición*)
(desde C++26)

Vinculadores y adaptadores antiguos

Varias utilidades que brindaban soporte funcional inicialmente están obsoletas y eliminadas:

Base
(en desuso en C++11)(eliminado en C++17)
 Clase base de función unaria compatible con un adaptador.
(plantilla de clase) [editar]
(en desuso en C++11)(eliminado en C++17)
 Clase base compatible con un adaptador de función binaria.
(plantilla de clase) [editar]
Vinculadores
(en desuso en C++11)(eliminado en C++17)
 Objeto función que mantiene una función binaria y uno de sus argumentos.
(plantilla de clase) [editar]
(en desuso en C++11)(eliminado en C++17)
 Vincula un argumento a una función binaria.
(plantilla de función) [editar]
Adaptadores de función
(en desuso en C++11)(eliminado en C++17)
 Envoltorio compatible con un adaptador para un puntero a función unaria.
(plantilla de clase) [editar]
(en desuso en C++11)(eliminado en C++17)
 Envoltorio compatible con un adaptador para un puntero a función binaria.
(plantilla de clase) [editar]
(en desuso en C++11)(eliminado en C++17)
 Crea un envoltorio de objeto función compatible con un adaptador de un puntero a función
(plantilla de función) [editar]
(en desuso en C++11)(eliminado en C++17)
 Envoltorio para un puntero a una función nularia o función miembro unaria, que puede ser llamado con un puntero a un objeto.
(plantilla de clase) [editar]
(en desuso en C++11)(eliminado en C++17)
 Crea un envoltorio de un puntero a función miembro, que puede ser llamado con un puntero a un objeto.
(plantilla de función) [editar]
(en desuso en C++11)(eliminado en C++17)
 Envoltorio para un puntero a una función nularia o función miembro unaria, que puede ser llamado con una referencia a un objeto.
(plantilla de clase) [editar]
(en desuso en C++11)(eliminado en C++17)
 Crea un envoltorio de un puntero a función miembro, que puede ser llamado con una referencia a un objeto.
(plantilla de función) [editar]
(en desuso en C++17)(eliminado en C++20)
 Envoltorio de objeto función que devuelve el complemento del predicado unario que mantiene.
(plantilla de clase) [editar]
(en desuso en C++17)(eliminado en C++20)
 Envoltorio de objeto función que devuelve el complemento del predicado binario que mantiene.
(plantilla de clase) [editar]
(en desuso en C++17)(eliminado en C++20)
 Construye un objeto std::unary_negate personalizado.
(plantilla de función) [editar]
(en desuso en C++17)(eliminado en C++20)
 Construye un objeto std::binary_negate personalizado.
(plantilla de función) [editar]
(hasta C++20)

[editar] 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 185 C++98 el uso de objetos de función mejoró la eficiencia del programa eliminado el reclamo
LWG 660 C++98 faltaban objetos de función para operaciones de bits añadido
LWG 2149 C++98 Se requería que los objetos de función que toman uno o dos argumentos
proporcionen tipos anidados para indicar los tipos de argumento y resultado 		no se requiere
LWG 2219 C++11 INVOKE no manejaba correctamente std::reference_wrapper se maneja correctamente
LWG 2420 C++11 INVOKE<R> no descartaba el valor devuelto si R es void se descarta el valor devuelto en este caso
P0604R0 C++11 la sintaxis de la operación INVOKE con tipo de
retorno R era INVOKE(f, t1, t2, ..., tN, R) 		se cambia a
INVOKE<R>(f, t1, t2, ..., tN)
LWG 3655 C++11 INVOKE no manejaba correctamente las uniones
debido a la resolución de Asunto LWG 2219 		se maneja correctamente
Obtenido de «https://es.cppreference.com/mwiki/index.php?title=cpp/utility/functional&oldid=44580»