返回 lambda 表达式的函数

Question

我想知道是否可以在 C++11 中编写一个返回 lambda 函数的函数。当然，一个问题是如何声明这样的函数。每个 lambda 都有一个类型，但该类型在 C++ 中是不可表达的。我认为这行不通：

auto retFun() -> decltype ([](int x) -> int)
{
    return [](int x) { return x; }
}

也不是这样：

int(int) retFun();

我不知道有任何从 lambda 到函数指针等的自动转换。唯一的解决方案是手工制作函数对象并返回它吗？

Answer 1

您不需要手工制作的函数对象，只需使用 std::function，lambda 函数可以转换为：

此示例返回整数恒等函数：

std::function<int (int)> retFun() {
    return [](int x) { return x; };
}

Answer 2

对于这个简单的例子，你不需要std::function。

来自标准 §5.1.2/6：

没有 lambda-capture 的 lambda-expression 的闭包类型有一个公共的非虚拟非显式 const 转换函数，指向具有相同参数的函数的指针并返回类型作为闭包类型的函数调用运算符。这个转换函数的返回值应该是一个函数的地址，当被调用时，它与调用闭包类型的函数调用运算符具有相同的效果。

由于您的函数没有捕获，这意味着 lambda 可以转换为指向 int (*)(int) 类型函数的指针：

typedef int (*identity_t)(int); // works with gcc
identity_t retFun() { 
  return [](int x) { return x; };
}

这是我的理解，如果我错了，请纠正我。

Answer 3

虽然该问题专门询问了 C++11，但为了其他偶然发现此问题并可以访问 C++14 编译器的人，C++14 现在允许为普通函数推导返回类型。因此，只需在函数参数列表后删除 -> decltype... 子句，即可调整问题中的示例以使其按需要工作：

auto retFun()
{
    return [](int x) { return x; }
}

但是请注意，如果函数中出现多个return <lambda>;，这将不起作用。这是因为返回类型推导的一个限制是所有返回语句必须返回相同类型的表达式，但每个 lambda 对象都由编译器赋予其自己唯一的类型，因此return <lambda>; 表达式将各自具有不同的类型。

Answer 4

您可以从其他 lambda 函数返回 lambda 函数，因为您不应显式指定 lambda 函数的返回类型。只需在全局范围内编写类似的内容：

 auto retFun = []() {
     return [](int x) {return x;};
 };

Answer 5

你应该这样写：

auto returnFunction = [](int x){
    return [&x](){
        return x;
    }();
};

将你的回报作为一个函数，并像这样使用它：

int val = returnFunction(someNumber);

Answer 6

例如，如果您没有 c++ 11 并且在微控制器上运行您的 c++ 代码。您可以返回一个 void 指针，然后执行强制转换。

void* functionThatReturnsLambda()
{
    void(*someMethod)();

    // your lambda
    someMethod = []() {

        // code of lambda

    };

    return someMethod;
}


int main(int argc, char* argv[])
{

    void* myLambdaRaw = functionThatReturnsLambda();

    // cast it
    auto myLambda = (void(*)())myLambdaRaw;

    // execute lambda
    myLambda();
}