std::function 到对象的成员函数和对象的生命周期

std::function to member function of object and lifetime of object

如果我有一个 std::function 的实例绑定到一个对象实例的成员函数,并且该对象实例超出范围并以其他方式销毁,那么我的 std::function 对象现在会被考虑吗成为一个坏指针,如果被调用就会失败?

示例:

int main(int argc,const char* argv){
    type* instance = new type();
    std::function<foo(bar)> func = std::bind(type::func,instance);
    delete instance;
    func(0);//is this an invalid call
}

标准中是否有规定应该发生什么?我的直觉是它会抛出异常,因为对象不再存在

编辑: 标准是否指定应该发生什么?

这是未定义的行为吗?

编辑 2:

#include <iostream>
#include <functional>
class foo{
public:
    void bar(int i){
        std::cout<<i<<std::endl;
    }
};

int main(int argc, const char * argv[]) {
    foo* bar = new foo();
    std::function<void(int)> f = std::bind(&foo::bar, bar,std::placeholders::_1);
    delete bar;
    f(0);//calling the dead objects function? Shouldn't this throw an exception?

    return 0;
}

运行 此代码我收到的输出值为 0;

将发生的是未定义的行为。

bind() 调用将 return 一些包含 instance 副本的对象,因此当您调用 func(0) 时将有效地调用:

(instance->*(&type::func))(0);

如果 instancedeleted,取消对无效指针的引用是未定义的行为。它不会抛出异常(尽管它是未定义的,所以它可以,谁知道呢)。

请注意,您在通话中缺少占位符:

std::function<foo(bar)> func = 
    std::bind(type::func, instance, std::placeholders::_1);
//                                  ^^^^^^^ here ^^^^^^^^^

否则,即使是未删除的实例,您也无法调用 func(0)

更新您的示例代码以更好地说明正在发生的事情:

struct foo{
    int f;
    ~foo() { f = 0; }

    void bar(int i) {
        std::cout << i+f << std::endl;
    }
};

通过添加的析构函数,您可以看到复制指针(在 f 中)和复制指向的对象(在 g 中)之间的区别:

foo* bar = new foo{42};
std::function<void(int)> f = std::bind(&foo::bar, bar, std::placeholders::_1);
std::function<void(int)> g = std::bind(&foo::bar, *bar, std::placeholders::_1);
f(100); // prints 142
g(100); // prints 142
delete bar;
f(100); // prints 100
g(100); // prints 142 still, because it has a copy of
        // the object bar pointed to, rather than a copy
        // of the pointer