¿En qué casos se utilizan las funciones callback
?
Es una pregunta demasiado amplia para ser contestada de manera concreta, por ello lo mejor es dar una respuesta amplia: cuando sea necesario.
- El patrón de diseño Visitor puede implementarse con callbacks (aunque también puede implementarse sin ellas).
- Las funciones de respuesta a eventos, suelen implementarse mediante callbacks.
¿Se pueden utilizar en clases?
Claro. Igual que cualquier otro dato, una callback puede ser un miembro de una clase, teniendo estas funciones:
int suma (int a, int b) { return a + b; }
int resta (int a, int b) { return a - b; }
int multiplica(int a, int b) { return a * b; }
int divide (int a, int b) { return a / b; }
Y esta clase que contiene una callback:
class Clase
{
int (callback*)(int, int);
public:
Clase(int (operación*)(int, int)) : callback(operación) {}
int operar(int a, int b) { return callback(a, b); }
};
Podemos hacer lo siguiente:
Clase a(suma), b(resta);
std::cout << a.operar(1, 2) << '\n'; // muestra 3
std::cout << b.operar(1, 2) << '\n'; // muestra -1
¿Funcionan de manera similar que en javascript?
No. Existen muchas diferencias entre las funciones de JavaScript y las de C++:
- JavaScript es un lenguaje de tipado dinámico.
- Las funciones JavaScript aceptan una cantidad de parámetros indeterminados.
- Las funciones JavaScript pueden ser usadas como funciones o como objetos.
- Creando una función con
new
, ésta actuará como una clase, el this
del objeto creado apuntará a si mismo y el valor de retorno de la función es descartado.
- Creando una función sin
new
el this
apunta al ámbito global (que en navegadores será el objeto window
) y el valor de retorno puede ser capturado por cualquiera que llame a la función.
¿Cómo se pasa una función por medio de un parámetro?
Lo hemos visto hace dos apartados:
int funcion_que_recibe_una_funcion(int (*parametro)(int, int), int a, int b)
{
return parametro(a, b);
}
Dado que C++ es un lenguaje de tipado fuerte, cualquier parámetro que apunte a una función necesita conocer todos los tipos que forman parte de la función, es decir: el tipo de retorno y los tipos de los parámetros. Funciones con diferentes parámetros y diferentes tipos de retorno tendrán tipos diferentes. Así que para crear una variable de tipo función (callback) en C++ haremos lo siguiente:
tipo_de_retorno (nombre_de_la_variable)( ... lista de parametros ... );
Por lo tanto...
// funcion que devuelve int y recibe dos int
int (a)(int, int);
// funcion que no devuelve ni recibe nada
void (b)();
// funcion que devuelve un string y recibe un puntero constante a char y un int
std::string (c)(const char *, int);
Normalmente esta sintaxis es confusa, así que se suelen usar typedef
:
typedef int (i_ii)(int, int);
typedef void (v_v)();
typedef std::string (s_ci)(const char *, int);
int funcion_que_recibe_una_funcion(i_ii *parametro, int a, int b)
{
return parametro(a, b);
}
void funcion_que_recibe_una_funcion(v_v *parametro)
{
parametro();
}
std::string funcion_que_recibe_una_funcion(s_ci *parametro, const char *a, int b)
{
return parametro(a, b);
}
Date cuenta que hemos añadido *
para indicar que estamos recibiendo un puntero a función; por otro lado el typedef
suele ser considerado confuso también, así que se añadieron los alias a partir de C++11:
using i_ii = int(int, int);
using v_v = void();
using s_ci = std::string(const char *, int);
También podemos usar alias de plantilla para hacer los punteros a función aún más sencillos:
template <typename RETORNO, typename ... PARAMETROS>
using funcion = RETORNO(PARAMETROS ...);
int funcion_que_recibe_una_funcion(funcion<int, int, int> *parametro, int a, int b)
{
return parametro(a, b);
}
void funcion_que_recibe_una_funcion(funcion<void> *parametro)
{
parametro();
}
std::string funcion_que_recibe_una_funcion(funcion<std::string, const char *, int> *parametro, const char *a, int b)
{
return parametro(a, b);
}
Y también podemos añadir el puntero directamente a los typedef
o alias:
typedef int (*p_i_ii)(int, int);
typedef void (*p_v_v)();
typedef std::string (*p_s_ci)(const char *, int);
using ap_i_ii = int(*)(int, int);
using ap_v_v = void(*)();
using ap_s_ci = std::string(*)(const char *, int);
template <typename RETORNO, typename ... PARAMETROS>
using puntero_a_funcion = RETORNO(*)(PARAMETROS ...);
Al momento de declarar los parámetros de la función ¿Cual es su tipo?
El tipo de los parámetros de la función no cambia, un parámetro de tipo T
será de tipo T
siempre.