(juntando informações das perguntas relacionadas sugeridas com a resposta a réplica da pergunta no site em inglês, cheguei a seguinte conclusão:)
Ao declarar uma lambda, o compilador gera o equivalente a um novo tipo, de nome indefinido e único, que possui um operador()
contendo o corpo da função que a define.
Se uma lambda não captura variáveis, o C++ permite que esta decaia para um ponteiro ordinário para esta função (e esta conversão é invocada ao se aplicar o operador+
, retornando seu endereço).
Como funções são armazenadas em área separada da memória - todas funções em C++ o são - o ponteiro permanece válido durante toda execução do programa, e a destruição da função nunca acontece (assim como uma classe nunca é destruída, apenas objetos/instâncias desta). Isto permite que se retorne, inclusive, o ponteiro para uma lambda local, como no exemplo a seguir:
#include <iostream>
bool (*cpp_newbie())()
{
auto a = +[]{return true;};
return a;
}
int main()
{
auto a = cpp_newbie();
std::cout << std::boolalpha << a();
}
Isto me pareceu contra-intuitivo num primeiro momento, mas ficou claro ao perceber que a lambda define um tipo, e o objeto a
em questão é apenas um ponteiro para uma "função-membro", por assim dizer.