Qual è il tipo di lambda quando dedotto con "auto" in C ++ 11?

Ho avuto la percezione che il tipo di lambda sia un puntatore a funzione. Quando ho eseguito il test seguente, ho scoperto che era sbagliato ( demo ).

#define LAMBDA [] (int i) -> long { return 0; }
int main ()
{
  long (*pFptr)(int) = LAMBDA;  // ok
  auto pAuto = LAMBDA;  // ok
  assert(typeid(pFptr) == typeid(pAuto));  // assertion fails !
}

Nel codice sopra manca qualche punto? In caso contrario, qual è l' typeofespressione a lambda se dedotta con la autoparola chiave?

Il tipo di un'espressione lambda non è specificato.

Ma sono generalmente semplici zuccheri sintattici per i maestri. Una lambda viene tradotta direttamente in un funzione. Qualsiasi cosa all'interno di []viene trasformata in parametri del costruttore e membri dell'oggetto functor, mentre i parametri all'interno ()vengono trasformati in parametri per il functor operator().

Un lambda che non cattura variabili (nulla all'interno di []) può essere convertito in un puntatore a funzione (MSVC2010 non supporta questo, se quello è il tuo compilatore, ma questa conversione fa parte dello standard).

Ma il tipo effettivo di lambda non è un puntatore a funzione. È un tipo di funzione non specificato.

È una struttura unica senza nome che sovraccarica l'operatore di chiamata di funzione. Ogni istanza di un lambda introduce un nuovo tipo.

Nel caso speciale di un lambda non catturante, la struttura inoltre ha una conversione implicita in un puntatore a funzione.

[C++11: 5.1.2/3]: Il tipo dell'espressione lambda (che è anche il tipo dell'oggetto di chiusura) è un tipo di classe non sindacale unico, senza nome, chiamato tipo di chiusura , le cui proprietà sono descritte di seguito. Questo tipo di classe non è un aggregato (8.5.1). Il tipo di chiusura è dichiarato nell'ambito di blocco, ambito di classe o ambito di spazio dei nomi più piccolo che contiene l' espressione lambda corrispondente . [..]

La clausola continua con l'elenco delle diverse proprietà di questo tipo. Ecco alcuni punti salienti:

[C++11: 5.1.2/5]:Il tipo di chiusura per una lambda espressione ha un pubblico inlineoperatore chiamata di funzione (13.5.4) i cui parametri e tipo di ritorno sono descritti dalla lambda-espressione ‘s parametro dichiarazione clausola e trascinamento-ritorno-tipo rispettivamente. [..]

[C++11: 5.1.2/6]:Il tipo di chiusura per un'espressione lambda senza acquisizione lambda ha una funzione di conversione const non esplicita pubblica non virtuale in puntatore a funzione con gli stessi parametri e tipi restituiti dell'operatore di chiamata della funzione del tipo di chiusura. Il valore restituito da questa funzione di conversione deve essere l'indirizzo di una funzione che, se richiamata, ha lo stesso effetto di invocare l'operatore di chiamata della funzione del tipo di chiusura.

La conseguenza di questo passaggio finale è che, se si è utilizzato una conversione, si sarebbe in grado di assegnare LAMBDAa pFptr.

#include <iostream>
#include <typeinfo>

#define LAMBDA [] (int i)->long { return 0l; }
int main ()
{
  long (*pFptr)(int) = LAMBDA;  // ok
  auto pAuto = LAMBDA;  // ok

  std::cout<<typeid( *pAuto ).name() << std::endl;
  std::cout<<typeid( *pFptr ).name() << std::endl;

  std::cout<<typeid( pAuto ).name() << std::endl;
  std::cout<<typeid( pFptr ).name() << std::endl;
}

I tipi di funzione sono effettivamente gli stessi, ma lambda introduce un nuovo tipo (come un funzione).

Dovrebbe anche notare che lambda è convertibile in puntatore a funzione. Tuttavia typeid <> restituisce un oggetto non trvial che dovrebbe differire da lambda al puntatore a funzione generica. Quindi il test per typeid <> non è un presupposto valido. In generale C ++ 11 non vuole che ci preoccupiamo delle specifiche del tipo, tutto ciò che conta se un determinato tipo è convertibile in un tipo di destinazione.

Una soluzione pratica da Come posso archiviare un oggetto boost :: bind come membro della classe? , prova boost::function<void(int)>o std::function<void(int)>.