Jaki jest typ lambda, gdy jest wydedukowana za pomocą „auto” w C ++ 11?

Miałem wrażenie, że typ lambda to wskaźnik funkcji. Kiedy wykonałem następujący test, stwierdziłem, że jest źle ( 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 !
}

Czy w powyższym kodzie brakuje jakiegoś punktu? Jeśli nie, to jakie jest typeofwyrażenie lambda po wydedukowaniu za pomocą autosłowa kluczowego?

Typ wyrażenia lambda jest nieokreślony.

Ale generalnie są one tylko cukrem syntaktycznym dla funktorów. Lambda jest tłumaczona bezpośrednio na funktor. Wszystko w środku []jest zamieniane na parametry konstruktora i składowe obiektu funktora, a parametry wewnątrz ()są zamieniane na parametry dla funktora operator().

Lambda, która nie przechwytuje żadnych zmiennych (nic wewnątrz []'s), może zostać przekonwertowana na wskaźnik funkcji (MSVC2010 nie obsługuje tego, jeśli jest to twój kompilator, ale ta konwersja jest częścią standardu).

Ale rzeczywisty typ lambda nie jest wskaźnikiem funkcji. To jakiś nieokreślony typ funktora.

Jest to unikalna nienazwana struktura, która przeciąża operator wywołania funkcji. Każde wystąpienie lambda wprowadza nowy typ.

W szczególnym przypadku lambdy nieprzechwytywanej struktura dodatkowo ma niejawną konwersję na wskaźnik funkcji.

[C++11: 5.1.2/3]: Typ wyrażenia lambda (będącego również typem obiektu zamknięcia) jest unikalnym, nienazwanym typem klasy nieunijnej - zwanym typem zamknięcia - którego właściwości opisano poniżej. Ten typ klasy nie jest agregatem (8.5.1). Typ zamknięcia jest zadeklarowany w najmniejszym zakresie blokowym, zakresie klasy lub zakresie przestrzeni nazw, który zawiera odpowiednie wyrażenie lambda . [..]

Klauzula zawiera listę różnych właściwości tego typu. Oto kilka najważniejszych informacji:

[C++11: 5.1.2/5]:Typ zamknięcia do lambda ekspresji z publicznego inlinedla obsługi funkcji (13.5.4), którego parametry i rodzaj powrotu opisano przez lambda ekspresji „S -parametrów zgłoszenia klauzula i spływu zwrotny typu odpowiednio. [..]

[C++11: 5.1.2/6]:Typ zamknięcia dla wyrażenia lambda bez przechwytywania lambda ma publiczną niewirtualną, niejawną funkcję konwersji const na wskaźnik do funkcji mającej ten sam parametr i typy zwracane, co operator wywołania funkcji typu zamknięcia. Wartość zwracana przez tę funkcję konwersji będzie adresem funkcji, która po wywołaniu ma taki sam skutek, jak wywołanie operatora wywołania funkcji typu zamknięcia.

Konsekwencją tego ostatniego fragmentu jest to, że gdybyś użył konwersji, byłbyś w stanie przypisać LAMBDAdo 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;
}

Typy funkcji są rzeczywiście takie same, ale lambda wprowadza nowy typ (jak funktor).

Należy również zauważyć, że lambda można zamienić na wskaźnik funkcji. Jednak typeid <> zwraca obiekt inny niż trvial, który powinien różnić się od lambda do ogólnego wskaźnika funkcji. Zatem test dla typeid <> nie jest prawidłowym założeniem. Ogólnie C ++ 11 nie chce, abyśmy martwili się o specyfikację typu, wszystko to ma znaczenie, jeśli dany typ można zamienić na typ docelowy.

Praktyczne rozwiązanie z Jak mogę przechowywać obiekt boost :: bind jako element członkowski klasy? , spróbuj boost::function<void(int)>lub std::function<void(int)>.