c++ - 为什么我不能在 C++ 中捕获递归 lambda 函数？

Question

我发现，如果 lambda 是一个调用自身的递归函数，那么它不能被另一个 lambda 捕获，因为它在 C++ 中的闭包中工作。

我有一些这样的代码:

#include <memory>
#include <functional>
#include <iostream>

class ClassA
{
public:
    std::function<void()> FuncA;
    void Call()
    {
        FuncA();
    }
};

class ClassB
{
    std::unique_ptr<ClassA> pA = std::make_unique<ClassA>();
public:
    void Setup()
    {
        std::function<void(int)> FuncB = [&](int a)
        {
            std::cout << "a = " << a << std::endl;
            if(a > 0)
                FuncB(a-1);
        };

        pA->FuncA = [&]()
        {
            FuncB(10.0f);
        };
    }
    void Run()
    {
        Setup();
        pA->Call();
    }   
};

int main() {

    ClassB B;
    B.Run();
}

运行到调用FuncA时会出现异常，因为其中的FuncB会是一个空指针。

我的问题是为什么我不能捕获递归 lambda 函数？

我正在使用 Visual Studio 2015

编辑:如果通过 FuncA 中的拷贝捕获 FuncB，那么如果 FuncB 不是递归的，它就可以工作。像这样:

class ClassB
{
    std::unique_ptr<ClassA> pA = std::make_unique<ClassA>();
public:
    void Setup()
    {
        std::function<void(int)> FuncB = [FuncB](int a)
        {
            std::cout << "a = " << a << std::endl;
            if (a > 0)
                FuncB(a - 1);
        };

        pA->FuncA = [FuncB]()
        {
            FuncB(10.0f);
        };
    }
    void Run()
    {
        Setup();
        pA->Call();
    }
};

Answer 1

您正在通过引用捕获 FuncB，但是当 Setup 返回时 FuncB 被销毁，留下一个悬空引用。

如果您将 FuncB 更改为按值捕获，则第一个 lambda 在初始化之前捕获它，这会导致未定义的行为。

我想不出任何方法让 lambda 捕获自己，就像您正在尝试做的那样。