Zurückgeben eines Lambda ohne std :: function

Question

Betrachten Sie die folgende Funktion, die eine Lambda zurückkehrt:

std::function<int()> make_counter() 
{ 
    int i = 0; 
    return [=]() mutable { return i++; }; 
} 

Ist es möglich, die tatsächliche Lambda-Typ zurück, ohne sie in eine std::function Verpackung?

Answer 1

C++ 11: Nein, jeder Lambda-Ausdruck hat, ich zitiere (§5.1.2/3):

[...] eine einzigartige, unbenannte nicht gewerkschaftlich Klassentyp [ ...]

Dies bedeutet effektiv, dass Sie den Lambda-Typ nicht kennen können, ohne zuerst den entsprechenden Ausdruck zu kennen.

Nun, wenn Sie nichts erfasst haben, könnten Sie die Konvertierung zum Funktionszeiger verwenden und das zurückgeben (ein Funktionszeigertyp), aber das ist ziemlich einschränkend.

Wie @Luc bemerkt in der Lounge, wenn Sie bereit sind, Ihre make_counter zu ersetzen (und wenn es nicht eine Vorlage oder überlastet, oder etwas ist), würde die folgende Arbeit:

auto const make_counter = [](int i = 0) { 
    return [i]() mutable { return i++; }; 
}; 

---

C++ 1y: Ja, durch Rückgabebetrag für normale Funktionen (N3582).

Answer 2

Wenn Sie schummeln und Rückgabetyp Abzug verwenden, yes you can (Link).

Beachten Sie, dass dies nur nach C++ 11 selbst möglich ist, obwohl es in regulären, nicht warnenden C++ 11 mit Lambda (dh einem Lambda innerhalb eines Lambda, das diese Lambda zurückgibt) durchgeführt werden kann. .