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.
Si bien las lambdas son potentes, a veces es necesario almacenar objetos invocables con diferentes 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 invocable que coincida con una firma específica: funciones, lambdas u objetos de 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 fijando algunos argumentos de una función existente. Utilice 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"); // Hello, Alice!
auto swapped = std::bind(greet, _2, _1);
swapped("Bob", "Hi"); // Hi, Bob!
}Estas herramientas son especialmente útiles en la POO para almacenar callbacks como miembros de clase o para implementar el patrón Strategy. Sin embargo, el C++ moderno a menudo prefiere las lambdas sobre std::bind para una mejor legibilidad y rendimiento; use std::bind principalmente cuando necesite reordenar argumentos o trabajar con código heredado.
Desafío
FácilVamos a construir una calculadora configurable que demuestre el poder de std::function y std::bind. Crearás un sistema donde las operaciones matemáticas se pueden almacenar, intercambiar y personalizar en tiempo de ejecución, mostrando cómo estas herramientas permiten una gestión flexible de callbacks.
Organizarás tu código en tres archivos:
MathOperations.h: Define una colección de funciones matemáticas independientes que servirán como tu 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 simple para calcular la potencia (asume exponentes no negativos).
Calculator.h: Define una claseCalculatorque utilizastd::functionpara almacenar y ejecutar operaciones de forma dinámica.Tu Calculadora debe 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 las cabeceras necesarias (
<functional>) y asegúrate de incluir tu cabecera MathOperations.- Un miembro privado
main.cpp: Lee tres entradas:- Nombre de la operación:
add,subtract,multiply, osquare - Primer número (entero)
- Segundo número (entero)
Crea un
Calculatory configúralo basándote en el nombre de la operación:- Para
add,subtract, ymultiply: asigna la función correspondiente directamente 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 donde solo el primero se usa como base (el segundo argumento puede ignorarse usando un placeholder).
Después de establecer la operación, llama a
calculate()con tus dos números e imprime:Result: [value]Luego, demuestra el intercambio de operaciones asignando una lambda que devuelva
a + b + 100a la calculadora, 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 diferentes tipos invocables (funciones regulares, funciones vinculadas y lambdas), mientras que std::bind te permite adaptar funciones existentes fijando algunos de sus argumentos.
Hoja de referencia
El encabezado <functional> proporciona std::function y std::bind para trabajar con objetos invocables de una manera flexible.
std::function es un envoltorio con borrado de tipos (type-erased) que puede almacenar cualquier invocable que coincida con una firma específica:
#include <functional>
std::function<int(int, int)> operation;
operation = add; // Función regular
operation = [](int a, int b) { return a * b; }; // Lambdastd::bind crea un nuevo invocable fijando algunos argumentos de una función existente. Use std::placeholders::_1, _2, etc. para argumentos variables:
#include <functional>
void greet(const std::string& greeting, const std::string& name) {
std::cout << greeting << ", " << name << "!\n";
}
using namespace std::placeholders;
auto sayHello = std::bind(greet, "Hello", _1); // Fijar el primer argumento
sayHello("Alice"); // Hello, Alice!
auto swapped = std::bind(greet, _2, _1); // Reordenar argumentos
swapped("Bob", "Hi"); // Hi, Bob!Estas herramientas son útiles para almacenar callbacks como miembros de clase o para implementar sistemas de callbacks flexibles. El C++ moderno a menudo prefiere las lambdas sobre std::bind para una mejor legibilidad.
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: Configurar la calculadora basándose en el nombre de la operación
// Para "add", "subtract", "multiply": asignar la función correspondiente directamente
// Para "square": usar std::bind para crear una versión especializada de power
// que siempre use el exponente 2 y el multiplicador 1
// Hint: Usar std::placeholders::_1 para el argumento 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í - usar std::bind con la función power
}
// TODO: Llamar a calculate() e imprimir el resultado
// Formato: "Result: [value]"
// TODO: Demostrar el intercambio de operaciones
// Asignar una lambda que devuelva a + b + 100 a la calculadora
// Llamar a calculate() de nuevo e imprimir 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, any