restituendo una lambda senza std :: funzione

Question

Si consideri il seguente funzione che restituisce un lambda:

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

E 'possibile restituire il tipo lambda reale, senza avvolgendolo in una std::function?

Answer 1

C++ 11: No. Ogni espressione lambda ha, cito (§5.1.2/3):

[...] un unico, classe non-union senza nome di tipo [ ...]

Ciò significa in effetti che non è possibile conoscere il tipo di lambda senza conoscere prima l'espressione corrispondente.

Ora, se non è stato catturato nulla, è possibile utilizzare la conversione in funzione del puntatore e restituirlo (un tipo di puntatore a funzione), ma è piuttosto limitante.

Come @Luc rilevato nel salotto, se siete disposti a sostituire la make_counter (e se non è un modello, o di sovraccarico, o qualcosa del genere), il seguente avrebbe funzionato:

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

---

C++ 1y: Sì, tramite deduzione di tipo ritorno per le normali funzioni (N3582).

Answer 2

Se si imbroglia e si utilizza la detrazione di tipo restituito, yes you can (Link).

Nota questo è possibile solo oltre lo stesso C++ 11, sebbene possa essere eseguito in C++ 11 normale e non che avverta l'avviso usando lambdas (ovvero, un lambda all'interno di un lambda che restituisce quella lamba) .