Desafortunadamente , no forman parte de C ++ 11 ( http://ideone.com/NsqYuq ):
auto glambda = [](auto a) { return a; };
int main() {}
Con g ++ 4.7:
prog.cpp:1:24: error: parameter declared ‘auto’
...
sin embargo , la forma en que podría implementarse en C ++ 14 según la propuesta de Portland para lambdas genéricas :
[](const& x, & y){ return x + y; }
Esto produciría en su mayor parte la creación habitual de una clase functora anónima, pero con la falta de tipos, el compilador emitiría un miembro con plantilla operator()
:
struct anonymous
{
template <typename T, typename U>
auto operator()(T const& x, U& y) const -> decltype(x+y)
{ return x + y; }
};
O según la propuesta más reciente Propuesta para expresiones lambda genéricas (polimórficas)
auto L = [](const auto& x, auto& y){ return x + y; };
--->
struct /* anonymous */
{
template <typename T, typename U>
auto operator()(const T& x, U& y) const // N3386 Return type deduction
{ return x + y; }
} L;
Entonces sí, para cada permutación de parámetros, surgiría una nueva instanciación, sin embargo, los miembros de ese functor aún serían compartidos (es decir, los argumentos capturados).