返回 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

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

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

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

Answer 3

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

根据标准§5.1.2/6：

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

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

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

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

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();
}