El uso de automóviles en una función lambda

Question

#include <vector> 
#include <algorithm> 

void foo(int) 
{ 
} 

int main() 
{ 
    std::vector<int> v({ 1,2,3 }); 

    std::for_each(v.begin(), v.end(), [](auto it) { foo(it+5); }); 
} 

cuando se compila, el ejemplo anterior se inicia la salida de error como este:

h4.cpp: In function 'int main()': 
h4.cpp:13:47: error: parameter declared 'auto' 
h4.cpp: In lambda function: 
h4.cpp:13:59: error: 'it' was not declared in this scope 

¿Quiere decir que la palabra clave auto no debe utilizarse en las expresiones lambda?

Esto funciona:

std::for_each(v.begin(), v.end(), [](int it) { foo(it+5); }); 

Por qué la versión con la palabra clave automático no funciona?

Answer 1

palabra clave auto no funciona como un tipo para argumentos de función. Si no desea utilizar el tipo real en las funciones lambda, puede usar el siguiente código.

for_each(begin(v), end(v), [](decltype(*begin(v)) it){ 
     foo(it + 5);   
}); 

Answer 2

El tipo de la lambda necesita ser conocida antes de que el compilador puede incluso crear una instancia std::for_each. Por otro lado, incluso si fuera teóricamente posible, ese auto solo podía deducirse después de que se haya instanciado for_each al ver cómo se invoca el funtor.

Si es posible, se olvidan de for_each y usar el rango basado en los bucles que son mucho más simple:

for (int it : v) { 
    foo(it + 5); 
} 

Esto también debe hacer frente muy bien con auto (y auto& y const auto&).

for (auto it : v) { 
    foo(it + 5); 
} 

Answer 3

Esto fue discutido brevemente por Herb Sutter durante una entrevista. Su demanda de auto argumentos es, de hecho, no es diferente de demanda que cualquier función debe ser declarable con auto, así:

auto add(auto a, auto b) -> decltype(a + b) { return a + b; } 

Sin embargo, tenga en cuenta que esto no es realmente una función en absoluto, sino que es una función plantilla, similar a:

template <typename S, typename T> 
auto add(S a, T b) -> decltype(a + b) { return a + b; } 

por lo que son esencialmente pidiendo una instalación para activar cualquier función en una plantilla cambiando sus argumentos. Dado que las plantillas son un tipo de entidad muy diferente en el sistema de tipos de C++ (piense en todas las reglas especiales para plantillas, como búsqueda y deducción en dos fases), esto sería un cambio de diseño radical con ramificaciones imprevisibles, que ciertamente no es Va a estar en el estándar pronto.

Answer 4

C++ 14 permite declarar los parámetros de la función lambda (función lambda genérica) con el auto.

auto multiply = [](auto a, auto b) {return a*b;}; 

Para más detalles: http://en.cppreference.com/w/cpp/language/lambda