Saltar a contenido

Última actualización：2026-10-12

Un fragmento de código C++ interesante

0. Introducción

Objetivo: ¿cómo obtener el número de parámetros de una lambda o un functor?

¡Esta sección lo implementará con plantillas + ::* + decay + decltype!

1. Implementación

Efecto final:

auto c1 = [](int x, double y) { return x * y; };
std::cout << argument_count<decltype(c1)>::value << std::endl;
MyClass f;
std::cout << argument_count<decltype(f)>::value << std::endl;

Salida: 2

Pensemos en el problema: hay que conocer estos puntos:

  • ¿Cómo localizar la posición del functor y de la lambda?
  • ¿Cómo obtener el número de parámetros de esa firma de función?

Para la primera pregunta, podemos usar ::* para apuntar a la declaración miembro; tanto para functor como para lambda es &std::decay<F>::type::operator()). Dicho de forma sencilla, en ambos casos se obtiene la dirección de la declaración del operator().

Aquí se usa decay para eliminar los calificadores cv; tomando el MyClass anterior como ejemplo, primero se obtiene el tipo MyClass mediante std::decay<F>::type, después se obtiene la dirección del operator() correspondiente y por último se pasa a argument_count_impl.

template <typename F>
using argument_count = decltype(argument_count_impl(&std::decay<F>::type::operator()));

La implementación de argument_count_impl también es bastante sencilla: se usa la firma R (F::*)(A...) para obtener la función correspondiente; aquí se usan plantillas variádicas, ::*, sizeof se usa para obtener el número de parámetros, e integral_constant indica que este tipo constante en tiempo de compilación es int y su valor es sizeof...(A).

template <typename F, typename R, typename... A>
static std::integral_constant<int, sizeof...(A)> argument_count_impl(R (F::*)(A...));

Con esto queda implementada la función de obtener el número de parámetros de una lambda o un functor~

Temas relacionados

Comentarios