Funkcja zwracająca wyrażenie lambda

Question

Zastanawiam się, czy można napisać funkcję, która zwraca funkcję lambda w C++ 11. Oczywiście jednym z problemów jest deklaracja takiej funkcji. Każda lambda ma typ, ale tego typu nie można wyrazić w C++. Nie sądzę, że to będzie działać:

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

Nor to:

int(int) retFun(); 

nie jestem świadomy żadnej automatycznej konwersji z lambda do, powiedzmy, wskaźniki do funkcji, czy coś takiego. Czy jedynym rozwiązaniem jest ręczne opracowanie obiektu funkcji i zwrócenie go?

Answer 1

Nie trzeba się rzemiosła obiekt funkcji, wystarczy użyć std::function, do którego funkcje lambda są wymienialne:

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

Answer 2

Na tym prostym przykładzie, nie trzeba std::function.

Od standardowego §5.1.2/6:

Rodzaj zamknięcia dla lambda wyrażenia bez lambda-wychwytywania ma publicznego non-virtual bez wyraźnej const funkcję konwersji do wskaźnika do funkcji o tym samym parametrze i typach zwracanych, co operator wywołania funkcji typu zamknięcia. Wartość zwrócona przez tę funkcję konwersji jest adresem funkcji, która po wywołaniu ma taki sam skutek jak wywołanie operatora wywołania funkcji typu zamknięcia.

Ponieważ funkcja nie posiada wychwytywania, to znaczy, że lambda można przekształcić do wskaźnika do funkcji typu int (*)(int):

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

To moja zrozumienie, poprawcie mnie jeśli jestem źle.

Answer 3

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

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

Answer 4

Choć pytanie konkretnie prosi o C++ 11, przez wzgląd na innych, którzy natknąć to i mają dostęp do kompilatora C++ 14, C++ 14 umożliwia teraz wyprowadzone typy zwrotu dla zwykłych funkcji. Więc przykład w pytaniu można regulować tak, aby działać zgodnie z oczekiwaniami po prostu przez upuszczenie -> decltype ... klauzuli po liście parametrów funkcji:

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

jednak pamiętać, że to nie będzie działać, jeśli więcej niż jeden return <lambda>; pojawia się w funkcji. Dzieje się tak dlatego, że ograniczenie dotyczące dedukcji typu zwracanego jest takie, że wszystkie instrukcje return muszą zwracać wyrażenia tego samego typu, ale każdy obiekt lambda ma swój własny unikalny typ przez kompilator, więc wyrażenia return <lambda>; będą miały inny typ.