c++ - 代码块和 lambdas c++11

Question

谁能解释一下，在这种情况下，conditionalVariable 将如何存储，以便在 check_calls_on_current_floor 调用条件 block 外时使用？

std::function<bool()> check_calls_on_current_floor;
if (/*Some condition*/)
{
    const int conditionalVariable = /*some value*/;

    check_calls_on_current_floor = [&](){ 
        return conditionalVariable == 10; };
}
check_calls_on_current_floor();

在这种情况下，我们似乎可以在条件 block 之外访问此变量，以防我们从那里获得 lambda。

Answer 1

这是一个悬空引用。在 if block 之后进行该调用是未定义的行为。这与从函数返回对局部变量的引用非常相似。它更类似于此:

struct ref_holder
{
    ref_holder(const int & r) :ref(r) {}
    const int & ref;
};

int main()
{
    std::unique_ptr<ref_holder> ptr;
    if (true)
    {
        const int conditionalVariable = 10;

        ptr.reset(new ref_holder(conditionalVariable));
    }
    ptr->ref == 10; // undefined behavior
}