std::function y std::bind
Parte de la sección Programación Orientada a Objetos del Journey de C++ de Coddy. Lección 86 de 104.
Aunque las lambdas son potentes, a veces necesitas almacenar objetos invocables de distintos tipos de manera uniforme, o adaptar funciones existentes para que coincidan con una firma requerida. std::function y std::bind del encabezado <functional> resuelven estos problemas.
std::function es un envoltorio con borrado de tipos que puede contener cualquier elemento invocable que coincida con una firma específica: funciones, lambdas u objetos función:
#include <iostream>
#include <functional>
int add(int a, int b) { return a + b; }
int main() {
std::function<int(int, int)> operation;
operation = add; // Función regular
std::cout << operation(3, 4) << "\n"; // 7
operation = [](int a, int b) { return a * b; }; // Lambda
std::cout << operation(3, 4) << "\n"; // 12
}std::bind crea un nuevo objeto invocable al fijar algunos argumentos de una función existente. Usa std::placeholders::_1, _2, etc. para marcar los argumentos que permanecen variables:
#include <iostream>
#include <functional>
void greet(const std::string& greeting, const std::string& name) {
std::cout << greeting << ", " << name << "!\n";
}
int main() {
using namespace std::placeholders;
auto sayHello = std::bind(greet, "Hello", _1);
sayHello("Alice"); // ¡Hola, Alice!
auto swapped = std::bind(greet, _2, _1);
swapped("Bob", "Hi"); // ¡Hola, Bob!
}Estas herramientas son especialmente útiles en la POO para almacenar callbacks como miembros de una clase o implementar el patrón Strategy. Sin embargo, el C++ moderno suele preferir las lambdas en lugar de std::bind por su mejor legibilidad y rendimiento; usa std::bind principalmente cuando necesites reordenar argumentos o trabajar con código heredado.
Desafío
FácilConstruyamos una calculadora configurable que demuestre el poder de std::function y std::bind. Crearás un sistema en el que las operaciones matemáticas se puedan almacenar, intercambiar y personalizar en tiempo de ejecución, mostrando cómo estas herramientas permiten gestionar callbacks de forma flexible.
Organizarás tu código en tres archivos:
MathOperations.h: Define una colección de funciones matemáticas independientes que servirán como biblioteca de operaciones.Crea estas funciones:
add(int a, int b): devuelve la sumasubtract(int a, int b): devuelve la diferencia (a - b)multiply(int a, int b): devuelve el productopower(int base, int exponent, int multiplier): devuelvemultiplier * (base ^ exponent). Usa un bucle sencillo para calcular la potencia (supón exponentes no negativos).
Calculator.h: Define una claseCalculatorque usestd::functionpara almacenar y ejecutar operaciones dinámicamente.Tu Calculator debería tener:
- Un miembro privado
std::function<int(int, int)>para almacenar la operación binaria actual setOperation(std::function<int(int, int)> op): establece la operación actualcalculate(int a, int b): ejecuta la operación almacenada y devuelve el resultado
Incluye los encabezados necesarios (
<functional>) y asegúrate de incluir tu encabezado MathOperations.- Un miembro privado
main.cpp: Lee tres entradas:- Nombre de la operación:
add,subtract,multiplyosquare - Primer número (entero)
- Segundo número (entero)
Crea una
Calculatory configúrala según el nombre de la operación:- Para
add,subtractymultiply: asigna directamente la función correspondiente a la calculadora - Para
square: usastd::bindpara crear una versión especializada depowerque siempre use el exponente 2 y el multiplicador 1. La función vinculada debe aceptar dos argumentos, de los cuales solo se usa el primero como base (el segundo argumento se puede ignorar mediante un marcador de posición).
Después de establecer la operación, llama a
calculate()con tus dos números e imprime:Result: [value]Después, demuestra el intercambio de operaciones asignando a la calculadora una lambda que devuelva
a + b + 100, ejecutándola con las mismas entradas e imprimiendo:With bonus: [value]- Nombre de la operación:
Por ejemplo, con las entradas add, 10 y 5:
Result: 15
With bonus: 115Con las entradas multiply, 7 y 3:
Result: 21
With bonus: 110Con las entradas square, 4 y 0:
Result: 16
With bonus: 104Este desafío muestra cómo std::function proporciona una forma uniforme de almacenar distintos tipos invocables (funciones normales, funciones vinculadas y lambdas), mientras que std::bind permite adaptar funciones existentes fijando algunos de sus argumentos.
Pruébalo tú mismo
#include <iostream>
#include <string>
#include <functional>
#include "Calculator.h"
using namespace std;
int main() {
// Leer entradas
string operation;
int num1, num2;
cin >> operation >> num1 >> num2;
// Crear una instancia de Calculator
Calculator calc;
// TODO: Configura la calculadora según el nombre de la operación
// Para "add", "subtract", "multiply": asigna la función correspondiente directamente
// Para "square": usa std::bind para crear una versión especializada de power
// que siempre usa el exponente 2 y el multiplicador 1
// Pista: Usa std::placeholders::_1 para el argumento de la base
if (operation == "add") {
// Tu código aquí
} else if (operation == "subtract") {
// Tu código aquí
} else if (operation == "multiply") {
// Tu código aquí
} else if (operation == "square") {
// Tu código aquí - usa std::bind con la función power
}
// TODO: Llama a calculate() e imprime el resultado
// Formato: "Result: [value]"
// TODO: Demuestra el intercambio de operaciones
// Asigna una lambda que devuelve a + b + 100 a la calculadora
// Llama a calculate() de nuevo e imprime el resultado
// Formato: "With bonus: [value]"
return 0;
}
Esta lección incluye un breve cuestionario. Empieza la lección para responderlo y registrar tu progreso.
Todas las lecciones de Programación Orientada a Objetos
1Fundamentos de OOP
Archivos externosConstrucción y compilación en C++Archivos de cabecera y archivos fuenteNamespaces y alcanceIntroducción a OOP en C++Clases vs ObjetosEl puntero 'this'Métodos (Funciones miembro)Atributos (Miembros de datos)Conceptos básicos de Ctors y DtorsResumen - Calculadora simple4Propiedades de clase
Miembros de instancia vs. estáticosGetters y SettersFunciones miembro constPalabra clave mutableMétodos y variables estáticosFunciones y clases amigasResumen - Gestor de cuentas bancarias7Herencia
Herencia básicaNiveles de acceso en la herenciaOrden de llamada de Ctor y DtorSobrescritura de métodosFunciones virtuales y VTableHerencia múltipleHerencia virtualResumen - Jerarquía de empleados2Gestión de memoria
Memoria Stack vs HeapPunteros y referenciasMemoria dinámica (new/delete)Punteros inteligentes en C++RAII en C++Resumen - Gestor de arrays dinámicos5Encapsulamiento
Especificadores de acceso en C++Especificadores de acceso en profundidadOcultamiento de informaciónStruct vs ClassClases anidadas e internasResumen - Sistema de registros de estudiantes8Polimorfismo
Polimorfismo: Compilación vs. Tiempo de ejecuciónSobrecarga de funcionesFunciones virtuales revisadasFunciones virtuales purasClases abstractasDiseño de interfaces en C++Dynamic Casting y RTTIResumen: Calculadora de figuras11Conceptos avanzados de POO
Composición vs. HerenciaMixins mediante CRTPIdioma PimplBorrado de tiposEnum Classes y tipado fuerteManejo de excepciones en POOJerarquías de excepciones personalizadas14Patrones de diseño - Parte 2
Patrón CommandPatrón AdapterPatrón DecoratorPatrón Template MethodPatrón StatePatrón CompositeRAII como patrón3Constructores y Destructores
Constructor por defectoConstructor parametrizadoConstructor de copiaConstructor de movimientoListas de inicialización del constructorConstructores delegadosAnálisis profundo del destructorRegla de tres / cinco / ceroResumen - Clase String6Sobrecarga de operadores
Introducción a la sobrecarga de operadoresSobrecarga de operadores aritméticosSobrecarga de operadores de comparaciónOperadores de flujo (Stream)Sobrecarga del operador de asignaciónSobrecarga de los operadores [] y ()Operadores de conversión de tiposResumen - Clase Matrix9Plantillas
Plantillas de funcionesPlantillas de clasesEspecialización de plantillasPlantillas variádicasConceptos básicos de SFINAE y Type TraitsResumen - Contenedor genérico12Características de C++ moderno
Semántica de movimiento y RvaluesReenvío perfectoExpresiones Lambda en profundidadstd::function y std::bindconstexpr y constevalBindings estructuradosoptional, variant, anyPractica por tu cuenta: Compilador de C++ online