Question

函数指针可以指向自由函数，函数对象，成员函数调用的包装器中的任何内容。

但是，std :: bind创建的仿函数可以有状态，也可以是自定义创建的。分配该状态的位置，以及删除该状态的人员？

考虑以下示例 - 删除向量时是否删除状态（数字10）？谁知道在函子上调用一个删除器，而函数指针上没有删除器？

#include <iostream>
#include <functional>
#include <vector>
using namespace std;
using namespace std::placeholders;
class Bar
{
    public:
    void bar(int x, int y) { cout << "bar" << endl; }
};
void foo(int baz){ cout << "foo" << endl; }
int main() {
    typedef std::function<void(int)> Func;

    std::vector<Func> funcs;
    funcs.push_back(&foo); // foo does not have to be deleted
    Bar b;
    // the on-the-fly functor created by bind has to be deleted
    funcs.push_back(std::bind(&Bar::bar, &b, 10, _1)); 

    // bind creates a copy of 10. 
    // That copy does not go into the vector, because it's a vector of pointers.
    // Where does it reside? Who deletes it after funcs is destroyed?

    return 0;
}

Answer 1

std::bind按值返回一个对象（该对象的确切类型是标准库的实现细节）。该对象存储所有必需的状态，其析构函数执行所有必需的清理。

请注意，您的向量不存储指针 - 它存储std::function个对象。 std::function对象在内部存储创建它的对象（函数指针或在您的情况下由std::bind返回的对象），并且它的析构函数正确地销毁存储的对象。销毁指向函数的指针什么都不做。销毁类类型的对象会调用它的析构函数。

Answer 2

std::bind函数创建一个未指定类的实例，当该对象超出范围并被破坏时，该实例的存储也是如此。

就像任何其他带有析构函数的类的实例一样，它会释放一些资源。

std :: bind创建的仿函数在哪里？

2 个答案: