Tengo una función que delega la llamada de una función con ciertos parámetros:
template <typename ...PARAMETROS>
void llama_funcion_void(void(funcion)(PARAMETROS ...), PARAMETROS ...parametros)
{
funcion(parametros ...);
}
Suponiendo que tengo vairas funciones que coinciden con la firma:
void f() { std::cout << "f\n"; }
void f(int i) { std::cout << "f i = " << i << '\n'; }
void f(float f) { std::cout << "f f = " << f << '\n'; }
void f(double d) { std::cout << "f d = " << d << '\n'; }
Puedo llamar a llama_funcion_void
de la siguiente manera:
llama_funcion_void<>(f); // muestra f
llama_funcion_void<int>(f, 1); // muestra f i = 1
llama_funcion_void<float>(f, 1.f); // muestra f f = 1
llama_funcion_void<double>(f, 1.); // muestra f d = 1
Pensé que podía hacer lo mismo proporcionando una lambda a la llamada:
llama_funcion_void<>([]() { std::cout << "lambda\n"; });
llama_funcion_void<int>([](int) { std::cout << "lambda i\n"; }, 1);
llama_funcion_void<float>([](float) { std::cout << "lambda f\n"; }, 1.f);
llama_funcion_void<double>([](double) { std::cout << "lambda d\n"; }, 1.);
Pero falla al compilar:
note: template argument deduction/substitution failed: note: mismatched types 'void (*)(PARAMETROS ...)' and 'main()::<lambda()>' note: mismatched types 'void (*)(PARAMETROS ...)' and 'main()::<lambda(int)>' note: mismatched types 'void (*)(PARAMETROS ...)' and 'main()::<lambda(float)' note: mismatched types 'void (*)(PARAMETROS ...)' and 'main()::<lambda(double)>'
Según el estándar de C++, una lambda sin captura es convertible a puntero a función (traducción y resaltado míos):
5.1.2.6 Expresiones Lambda
El tipo de la clausura para una expresión-lambda no genérica sin captura-de-lambda dispone de una función de conversión pública, no-virtual y explícita a puntero a función con enlazado de C++ conservando los mismos tipos de retorno y parámetros que el operador de llamada de la clausura. El valor devuelto por esta función conversión debe ser la dirección de una función que, al ser invocada, tenga el mismo efecto que llamar al operador de llamada de la clausura. [...] Consideremos lo siguiente:
auto glambda = [](auto a) { return a; } int (*fp)(int) = glambda;
El comportamiento de la función de conversión de
glambda
anterior es el mismo que la siguiente función de conversión:struct Closure { template<class T> auto operator()(T t) const { ... } template<class T> static auto lambda_call_operator_invoker(T a) { // redirige la ejecución del operator()(a) y por tanto tiene // el mismo tipo deducido ... } template<class T> using fptr_t = decltype(lambda_call_operator_invoker(declval<T>())) (*)(T); template<class T> operator fptr_t<T>() const { return &lambda_call_operator_invoker; } };
[Ejemplo:
void f1(int (*)(int)) { } void f2(char (*)(int)) { } void g(int (*)(int)) { } // #1 void g(char (*)(char)) { } // #2 void h(int (*)(int)) { } // #3 void h(char (*)(int)) { } // #4 auto glambda = [](auto a) { return a; }; f1(glambda); // Correcto f2(glambda); // error: no es convertible g(glambda); // error: ambiguo h(glambda); // Correcto: llama #3 dado que es convertible int& (*fpi)(int*) = [](auto* a) -> auto& { return *a; }; // Correcto
—fin del ejemplo ] [...]
La única manera en que lo he hecho funcionar ha sido usando el operador unario de suma (+
), que fuerza la conversión implícitamente:
llama_funcion_void<>(+[]() { std::cout << "lambda\n"; }); // muestra lambda
llama_funcion_void<int>(+[](int) { std::cout << "lambda i\n"; }, 1); // muestra lambda i
llama_funcion_void<float>(+[](float) { std::cout << "lambda f\n"; }, 1.f); // muestra lambda f
llama_funcion_void<double>(+[](double) { std::cout << "lambda d\n"; }, 1.); // muestra lambda d
Pero ¿No debería ser la conversión implícita?