Ir para o conteúdo

Última atualização：2026-10-12

Um trecho de código C++ interessante

0.Introdução

Objetivo: como obter o número de parâmetros de uma lambda ou de um functor?

Nesta seção, faremos isso com templates + ::* + decay + decltype!

1.Implementação

Resultado 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;
Saída: 2

Pensemos um pouco nesse problema; é preciso ter claros estes pontos:

  • Como localizar a posição do functor e da lambda?
  • Como obter a quantidade de parâmetros dessa assinatura de função?

Para a primeira pergunta, podemos usar ::* para apontar para uma declaração de membro; para functor e lambda, ambos são &std::decay<F>::type::operator()). Simplificando, ambos obtêm o endereço da declaração de operator().

Aqui usa-se decay para remover os qualificadores cv; tomando o MyClass acima como exemplo, primeiro se obtém o tipo MyClass por meio de std::decay<F>::type, em seguida obtém-se o endereço do operator() correspondente e o passa para argument_count_impl.

template <typename F>
using argument_count = decltype(argument_count_impl(&std::decay<F>::type::operator()));
A implementação de argument_count_impl também é bem simples: usa a assinatura R (F::*)(A...) para obter a função correspondente; aqui usam-se template variádico, ::*, sizeof para obter a quantidade de parâmetros, e integral_constant representa esse tipo constante em tempo de compilação como int, com o valor sizeof...(A).

template <typename F, typename R, typename... A>
static std::integral_constant<int, sizeof...(A)> argument_count_impl(R (F::*)(A...));
Com base nisso, implementa-se a funcionalidade de obter o número de parâmetros de uma Lambda ou Functor~

Tópicos relacionados

Comentários