Qual é o tipo de lambda quando deduzido com "auto" em C ++ 11?

Eu tinha uma percepção de que o tipo de lambda é um ponteiro de função. Quando realizei o seguinte teste, achei errado ( 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 !
}

O código acima está faltando algum ponto? Caso contrário, qual é a typeofexpressão a lambda quando deduzida com a autopalavra - chave?

O tipo de uma expressão lambda não é especificado.

Mas eles geralmente são mero açúcar sintático para functores. Um lambda é traduzido diretamente em um functor. Qualquer coisa dentro do []é transformada em parâmetros do construtor e membros do objeto functor, e os parâmetros dentro ()são transformados em parâmetros para o functor operator().

Um lambda que captura nenhuma variável (nada dentro []dos) pode ser convertido em um ponteiro de função (o MSVC2010 não suporta isso, se esse é o seu compilador, mas essa conversão faz parte do padrão).

Mas o tipo real do lambda não é um ponteiro de função. É algum tipo de functor não especificado.

É uma estrutura única e sem nome que sobrecarrega o operador de chamada de função. Toda instância de um lambda apresenta um novo tipo.

No caso especial de um lambda que não captura, a estrutura além disso tem uma conversão implícita em um ponteiro de função.

[C++11: 5.1.2/3]: O tipo da expressão lambda (que também é o tipo do objeto de fechamento) é um tipo de classe sem união não nomeado, sem nome - chamado de tipo de fechamento - cujas propriedades são descritas abaixo. Este tipo de classe não é um agregado (8.5.1). O tipo de fechamento é declarado no menor escopo de bloco, escopo de classe ou espaço de nome que contém a expressão lambda correspondente . [..]

A cláusula continua listando propriedades variadas desse tipo. Aqui estão alguns destaques:

[C++11: 5.1.2/5]:O tipo de fecho para um lambda-expressão tem um público inlineoperador chamada de função (13.5.4) cujos parâmetros e tipo de retorno estão descritos pelo lambda-expressão do parâmetro-declaração-cláusula e -retorno do tipo de fuga , respectivamente. [..]

[C++11: 5.1.2/6]:O tipo de fechamento para um lambda-expressão sem lambda-captura tem uma função pública não-virtual não explícita conversão const para ponteiro para função de ter os mesmos tipos de parâmetro e retorno como operador de chamada de função do tipo de fechamento. O valor retornado por essa função de conversão deve ser o endereço de uma função que, quando chamada, tem o mesmo efeito que a chamada do operador de chamada de função do tipo de fechamento.

A consequência desta passagem final é que, se você usasse uma conversão, seria capaz de atribuir 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;
}

Os tipos de função são realmente os mesmos, mas o lambda apresenta um novo tipo (como um functor).

Observe também que lambda é conversível em ponteiro de função. No entanto, typeid <> retorna um objeto não trvial que deve diferir de lambda para ponteiro de função genérica. Portanto, o teste para typeid <> não é uma suposição válida. Em geral, o C ++ 11 não quer que nos preocupemos com a especificação de tipo, tudo isso importa se um determinado tipo é conversível em um tipo de destino.

Uma solução prática de Como posso armazenar um objeto boost :: bind como um membro da classe? , tente boost::function<void(int)>ou std::function<void(int)>.