当绑定对象过期时，std::bind 创建的仿函数的行为是否明确？

Question

以下代码的行为是否定义良好？ f() 调用的行为如何？

#include <functional>
#include <iostream>

struct A
{
  void shout()
  {
      std::cout <<"shout";
  }
};


int main()
{
    std::function<void()> f;
    {
        A a;
        f = std::bind(&A::shout, &a);
    }

    f();  // what happens here?
}

Answer 1

您的代码最终会在函数包装器中存储一个悬空引用（指向不再存在的对象），并且调用该函数会导致未定义的行为。

如果原始对象的寿命不如包装器，您始终可以在包装器中存储对象的副本：

f = std::bind(&A::shout, a);
//                      ^^^ copy

Answer 2

为了表明这是未定义的，请注意存储的地址变为无效的指针值 - [basic.stc]/3：

当一个存储区域的持续时间结束时， 所有指针的值表示的任何部分的地址 释放的存储成为无效的指针值（[basic.compound]）。

在对绑定函子的调用中，该指针被取消引用以执行成员函数调用，其中[basic.stc.dynamic.deallocation]/4 适用：

通过一个无效的指针值间接传递一个无效的 指向释放函数的指针值具有未定义的行为。

相反，您可以为每个值绑定a（省略与号）。