Wie kann ich die Parameter- und Rückgabetypen eines Lambda-Ausdrucks in C abrufen?

Parameter- und Rückgabetypen von Lambdas abrufen

In Lambda-Ausdrücken kann die Bestimmung von Parameter- und Rückgabetypen für Funktionen, die Lambdas als Argumente akzeptieren, von entscheidender Bedeutung sein. Lassen Sie uns die Machbarkeit dieser Aufgabe und den Ansatz zu ihrer Lösung untersuchen.

Lambda-Eigenschaften

Um die Parameter- und Rückgabetypen eines Lambda zu erhalten, wird vorgeschlagen, diese zu definieren eine lambda_traits-Vorlage, die wie folgt verwendet werden kann:

auto lambda = [](int i) { return long(i*10); };

lambda_traits<decltype>::param_type i; //i should be int
lambda_traits<decltype>::return_type l; //l should be long</decltype></decltype>

Durch die Nutzung von lambda_traits können Funktionen die introspizieren Parameter- und Rückgabetypen von Lambdas, die als Argumente empfangen werden, wodurch erweiterte Funktionen wie:

template<typename tlambda>
void f(TLambda lambda)
{
   typedef typename lambda_traits<tlambda>::param_type  P;
   typedef typename lambda_traits<tlambda>::return_type R;

   std::function<r> fun = lambda; //I want to do this!
   //...
}</r></tlambda></tlambda></typename>

Verwenden von decltype zur Introspektion von Parametertypen

Glücklicherweise ist es möglich, Parameter abzurufen Typen unter Verwendung des decltype des Lambda-Operators(). Diese Technik wird in der folgenden function_traits-Implementierung elegant demonstriert:

template <typename t>
struct function_traits
    : public function_traits<decltype>
{};</decltype></typename>

Für generische Lambdas verwendet function_traits direkt die Signatur ihres Operator(). Für Mitgliedsfunktionszeiger ist es spezialisiert und stellt Aritäts-, Ergebnistyp- und Argumenttypen bereit.

Beispielverwendung

Betrachten Sie das folgende Beispiel:

int main()
{
    auto lambda = [](int i) { return long(i*10); };

    typedef function_traits<decltype> traits;

    static_assert(std::is_same<long traits::result_type>::value, "err");
    static_assert(std::is_same<int traits::arg>::type>::value, "err");

    return 0;
}</int></long></decltype>

Dieses Beispiel veranschaulicht, wie function_traits verwendet wird, um die erwarteten Parameter- und Rückgabetypen eines Lambda zu überprüfen. Beachten Sie, dass dieser Ansatz möglicherweise nicht für generische Lambdas wie [](auto x) {}.

funktioniert

Das obige ist der detaillierte Inhalt vonWie kann ich die Parameter- und Rückgabetypen eines Lambda-Ausdrucks in C abrufen?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!