Explanation of std::function

Question

What is the purpose of std::function? As far as I understand, std::function turns a function, functor, or lambda into a function object.

I

Answer 1

Using function object is helpful when implementing thread pool. You can keep no of available workers as threads and work to do as queue of function objects. It is easier to keep work to be done as function object than function pointers for example as you can just pass anything thats callable. Each time new function object appear in queue, worker thread can just pop it and execute by calling () operator on it.

Answer 2

As far as I understand, std::function turns a function, functor, or lambda into a function object.

You pretty much summed it up, you can turn any of these into the same thing, an std::function, that you can then store and use as you wish.

When you are designing a class or an API in general you usually don't have a reason to restrict your features to just one of these, so using std::function gives the liberty of choice to the user of your API, as opposed to forcing users to one specific type. You can even store different forms of these together, it's basically an abstraction of callable types with a given signature and a clearly defined semantic.

Answer 3

Consider a simple use case:

/* Unspecified */ f = [](int x, int y){ return x + y; };
f = [](int x, int y){ return x - y; };
int a = 42;
f = [&a](int x, int y){ return a * x * y; };

How would you specify /* Unspecified */?

Furthermore,

std::queue<of what?> jobs;
jobs.push_back([]{ std::cout << "Hi!\n"; });
jobs.push_back([]{ std::cout << "Bye!\n"; });
for(auto const &j: jobs) j();

What value_type should be kept in jobs?

Finally,

myButton.onClick(f);

What type does f have? A template parameter? Okay, but how is it registered internally?

Answer 4

One example of where std::function can be very useful is in implementing an "observer pattern". So, for example, say you want to implement a simple "expression evaluator" calculator GUI. To give a somewhat abstract idea of the kind of code you might write against a GUI library using the observer pattern:

class ExprEvalForm : public GuiEditorGenerated::ExprEvalForm {
public:
    ExprEvalForm() {
        calculateButton.onClicked([] {
            auto exprStr = exprInputBox.get();
            auto value = ExprEvaluator::evaluate(exprStr);
            evalOutputLabel.set(std::to_string(value));
        });
    }
};

Now, how would the GUI library's button class store the function that's passed to onClicked? Here, an onClicked method (even if it were templated) would still need to store somewhere into a member variable, which needs to be of a predetermined type. That's exactly where the type erasure of std::function can come into play. So, a skeleton of the button class implementation might look like:

class PushButton : public Widget {
public:
    using ButtonClickedCallback = std::function<void()>;
    void onClicked(ButtonClickedCallback cb) {
        m_buttonClickedCallback = std::move(cb);
    }

protected:
    void mouseUpEvent(int x, int y) override {
        ...
        if (mouseWasInButtonArea(x, y))
            notifyClicked();
        ...
    }

private:
    void notifyClicked() {
        if (m_buttonClickedCallback)
            m_buttonClickedCallback();
    }
    ButtonClickedCallback m_buttonClickedCallback;
};

Answer 5

In most uses that I've seen, std::function was overkill. But it serves two purposes.

First, it gives you a uniform syntax for calling function objects. For example, you can use an std::function instantiation to wrap an ordinary function that takes a single argument of a class type or a member function and the class object that it should be applied to without worrying about the different calling syntax.

struct S {
    void f();
};

void g(const S&);

S obj;

typedef std::function<void()> functor1(&S::f, obj);
typedef std::function<void()> functor2(&g, obj);

functor1(); // calls obj.f()
functor2(); // calls g(obj);

Note that both functors here are called with the same syntax. That's a big benefit when you're writing generic code. The decision of how to call the underlying function is made within the std::function template, and you don't have to figure it out in your code.

The other big benefit is that you can reassign the function object that a std::function object holds:

functor1 = std::function<void>()>(&g, obj);

This changes the behavior of functor1:

functor1() // calls g(obj)

Sometimes that matters.

Answer 6

What is the purpose of std::function? As far as I understand, std::function turns a function, functor, or lambda into a function object.

std::function is an example of a broader concept called Type Erasure. The description you have isn't quite accurate. What std::function<void()> does, to pick a specific specialization, is represent any callable that can be invoked with no arguments. It could be a function pointer or a function object that has a concrete type, or a closure built from a lambda. It doesn't matter what the source type is, as long as it fits the contract - it just works. Instead of using the concrete source type, we "erase" it - and we just deal with std::function.

Now, why would we ever use type erasure? After all, don't we have templates so that we can use the concrete types directly? And wouldn't that be more efficient and isn't C++ all about efficiency?!

Sometimes, you cannot use the concrete types. An example that might be more familiar is regular object-oriented polymorphism. Why would we ever store a Base* when we could instead store a Derived*? Well, maybe we can't store a Derived*. Maybe we have lots of different Derived*s that different users use. Maybe we're writing a library that doesn't even know about Derived. This is also type erasure, just a different technique for it than the one std::function uses.

A non-exhaust list of use-cases:

• Need to store a potentially heterogenous list of objects, when we only care about them satisfying a concrete interface. For std::function, maybe I just have a std::vector<std::function<void()>> callbacks - which might all have different concrete types, but I don't care, I just need to call them.
• Need to use across an API boundary (e.g. I can have a virtual function taking a std::function<void()>, but I can't have a virtual function template).
• Returning from a factory function - we just need some object that satisfies some concept, we don't need a concrete thing (again, quite common in OO polymorphism, which is also type erasure).
• Could potentially actually use templates everywhere, but the performance gain isn't worth the compilation hit.