18

Estaba practicando con lambdas y me encontré con el siguiente código:

auto make_fibo() {
    return [](int n) {
        std::function<int(int)> recurse;

        recurse = [&](int n) {
            return (n <= 2) ? 1 : recurse(n - 1) + recurse(n - 2);
        };

        return recurse(n);
    };
}

Yo no sabia que era function ni como trabajaba después de buscar y leer varios textos por ejemplo el siguiente:

http://www.cplusplus.com/reference/functional/function/

Mi pregunta es si, std::function es similar a lo siguiente por ejemplo:

typedef int (*FredMemFn)(int i);
3
  • 6
    Sugerencia: edita el título para que sea más autocontenido: Por ejemplo: "¿Es std::function equivalente a un puntero?" (o a un typedef, o lo que sea más apropiado)
    – Konamiman
    el 5 nov. 2015 a las 7:27
  • La pregunta es si std::function es similar a un puntero a función, o a un typedef de un puntero a función? el 1 dic. 2015 a las 17:18
  • ¿Es std::function equivalente a un puntero? No, no lo es. Mi pregunta es si, std::function es similar a lo siguiente ... Puede ser.
    – user4717
    el 8 sep. 2016 a las 10:14

2 respuestas 2

21

La respuesta es sí. La cuestión es que function<> es capaz de manejar más casos que el de ser un simple puntero a una función. Por ejemplo, puede cubrir también el caso de functor, es decir, el caso de una clase con el operador () sobrecargado. Fíjate en el siguiente código:

#include <iostream>
#include <functional>
using namespace std;

int doble(int x) {
    return x * 2;
}

class Doblador {
public:
    int operator()(int x) {
        return x * 2;
    }
};

int main() {
    Doblador d;
    function<int(int)> f = doble;

    cout << "Doble de 2 = " << f( 2 ) << endl;

    f = d;
    cout << "Doble de 2 = " << f( 2 ) << endl;

    return 0;
}

Tienes el código aquí: http://ideone.com/5lALLH Espero que te resulte útil.

3
  • Mereces mas likes. Nunca mejor respondido. el 1 dic. 2015 a las 20:54
  • Si function<> es capaz de manejar más casos que un puntero a función entonces no son equivalentes. No se si dar un -1 siendo estricto o un +1 porque se entiende perfectamente la explicación, es correcta y tiene un buen ejemplo... ...No hay que pasarse de estricto, +1. el 5 dic. 2015 a las 18:23
  • La diferencia es que es mucho más lento, incluso más lento que una función virtual, debido a que std::function implementa (que yo sepa) type erasure, que añade un nivel de indireción extra a las llamadas: ibob.github.io/dynamix/advanced.html#performance
    – AaronBueno
    el 11 ene. 2017 a las 4:24
4

std::function es una clase que envuelve a cualquier elemento que pueda ser invocado, por ejemplo:

  • Punteros a funciones (lo que se menciona en la pregunta).

  • Objetos de una clase que tiene el operador () sobrecargado.

  • Expresiones lambda.

  • Expresiones bind (std::bind, básicamente un puntero a función con uno o más argumentos predefinidos de antemano).

Fuente: cppreference.com - std::function

Nótese que las funciones "template" no son invocables como tal, solo una instancia en particular de una función template con un tipo ya asociado puede combinarse con un std::function.

Tu Respuesta

Al pulsar en “Publica tu respuesta”, muestras tu consentimiento a nuestros términos de servicio, política de privacidad y política de cookies

¿No es la respuesta que buscas? Examina otras preguntas con la etiqueta o formula tu propia pregunta.