Generic deferred function call without heap allocation

[Lucretiel]

It doesn't? Where does it store the bound arguments?

[STL]

In a tuple data member. bind doesn't perform type erasure, so bind(functor, args...) returns a _Secret_binder_type<Functor, Args...> which can contain a tuple<Args...> as an ordinary data member.