In che modo gli elenchi di cattura di lambda funzionano effettivamente in C++ 11?

Question

So che le liste di acquisizione rendono variabili disponibili all'interno di un corpo funzione lambda in questo modo:

int pos(0); 
std::function<void()> incPos = [&pos](){ ++pos; }; 
incPos(); //pos is now 1 

Ma come si fa che la cattura effettivamente lavorare a livello compilatore? Dove sono archiviati gli indirizzi catturati oi valori catturati?

Answer 1

Ogni espressione lambda genera un oggetto funzione univoco (chiusura) che memorizza le variabili acquisite come membri dati. Per esempio, l'espressione lambda nel codice sarebbe trasformata in qualcosa di simile dal compilatore:

struct __uniquely_named_lambda 
{ 
    __uniquely_named_lambda(int& pos) 
    : pos(pos) {} 
    int& pos; 

    void operator()() const 
    { ++pos; } 
}; 

Invocando la lambda è semplicemente una chiamata a operator().

Il membro dati è un riferimento poiché è stato acquisito per riferimento. Se catturato dal valore sarebbe un semplice int. Si noti inoltre che generato operator() è const per impostazione predefinita. Questo è il motivo per cui non è possibile modificare le variabili catturate a meno che non si utilizzi la parola chiave mutable.