Funkcja zwracająca wyrażenie lambda

Zastanawiam się, czy można napisać funkcję zwracającą funkcję lambda w C ++ 11. Oczywiście problemem jest zadeklarowanie takiej funkcji. Każda lambda ma typ, ale tego typu nie można wyrazić w C ++. Myślę, że to nie zadziała:

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

Ani to:

int(int) retFun();

Nie jestem świadomy żadnych automatycznych konwersji z lambd na, powiedzmy, wskaźników do funkcji lub podobnych. Czy jedynym rozwiązaniem jest ręczne tworzenie obiektu funkcji i zwracanie go?

Nie potrzebujesz ręcznie std::functiontworzonego obiektu funkcyjnego, po prostu użyj , na który funkcje lambda są konwertowane:

Ten przykład zwraca funkcję tożsamości w postaci liczby całkowitej:

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

W tym prostym przykładzie nie potrzebujesz std::function.

Od standardu §5.1.2 / 6:

Typ zamknięcia dla wyrażenia lambda bez przechwytywania lambda ma publiczną niewirtualną, niejawną funkcję konwersji const na wskaźnik do funkcji mającej ten sam parametr i typy zwracane, co operator wywołania funkcji typu zamknięcia. Wartość zwracana przez tę funkcję konwersji będzie adresem funkcji, która po wywołaniu ma taki sam skutek jak wywołanie operatora wywołania funkcji typu zamknięcia.

Ponieważ twoja funkcja nie ma przechwytywania, oznacza to, że lambda można przekonwertować na wskaźnik do funkcji typu int (*)(int):

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

Tak rozumiem, popraw mnie, jeśli się mylę.

Możesz zwrócić funkcję lambda z innej funkcji lambda, ponieważ nie powinieneś jawnie określać zwracanego typu funkcji lambda. Po prostu napisz coś takiego w zakresie globalnym:

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

Chociaż pytanie dotyczy konkretnie C ++ 11, ze względu na innych, którzy się na to natkną i mają dostęp do kompilatora C ++ 14, C ++ 14 pozwala teraz na wywnioskowane typy zwracane dla zwykłych funkcji. Tak więc przykład w pytaniu można dostosować tak, aby działał zgodnie z oczekiwaniami, po prostu upuszczając -> decltypeklauzulę ... po liście parametrów funkcji:

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

Należy jednak pamiętać, że to nie zadziała, jeśli return <lambda>;w funkcji pojawi się więcej niż jeden . Dzieje się tak, ponieważ ograniczenie dotyczące odliczania typu zwracanego polega na tym, że wszystkie instrukcje return muszą zwracać wyrażenia tego samego typu, ale każdy obiekt lambda otrzymuje od kompilatora swój własny, unikalny typ, więc return <lambda>;każde wyrażenie będzie miało inny typ.

Powinieneś napisać tak:

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

aby otrzymać zwrot jako funkcję i użyj go w ten sposób:

int val = returnFunction(someNumber);

Jeśli nie masz C ++ 11 i uruchamiasz swój kod C ++ na przykład na mikrokontrolerach. Możesz zwrócić void pointer, a następnie wykonać rzut.

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