Wie kann ich über einen Funktionszeiger innerhalb einer variadischen Vorlagenklasse in C auf Argumenttypen zugreifen?

Zugriff auf Argumenttypen in einer variadischen Vorlagenklasse für Funktionszeiger

In dem Bemühen, einen generischen Funktor für Funktionen mit einer beliebigen Argumentliste zu erstellen, Ein Entwickler versucht, die Argumenttypen eines Funktionszeigers innerhalb des Klassenkonstruktors zu extrahieren.

Betrachten Sie die folgende Funktorklasse:

<code class="cpp">template<typename... ARGS>
class Foo {
private:
    std::function<void(ARGS...)> m_f;
public:
    Foo(std::function<void(ARGS...)> f) : m_f(f) {}
    void operator()(ARGS... args) const { m_f(args...); }
};</code>

Um auf die Argumenttypen innerhalb des Konstruktors zuzugreifen, verwendet der Entwickler eine Technik zum rekursiven „Peeling“ der Argumentliste, wie von Stroustrup in seinen C 11-FAQ beschrieben. Allerdings sind die Argumenttypen nicht ohne weiteres über den Funktionszeiger f zugänglich.

Durch die Verwendung einer function_traits-Klasse wird es möglich, die Argumenttypen, den Rückgabetyp und die Anzahl der mit einem Funktionszeiger verknüpften Argumente zu ermitteln.

<code class="cpp">template<typename T> 
struct function_traits;  

template<typename R, typename ...Args> 
struct function_traits<std::function<R(Args...)>> {
    static const size_t nargs = sizeof...(Args);

    typedef R result_type;

    template <size_t i>
    struct arg {
        typedef typename std::tuple_element<i, std::tuple<Args...>>::type type;
    };
};</code>

Durch die Nutzung dieser function_traits-Klasse kann der Entwickler nun die Argumenttypen innerhalb des Funktorklassenkonstruktors abrufen:

<code class="cpp">template<typename... ARGS>
class Foo {
private:
    std::function<void(ARGS...)> m_f;
    std::tuple<typename function_traits<decltype(m_f)>::arg<0>::type...> m_arg_types;
public:
    Foo(std::function<void(ARGS...)> f) : m_f(f), m_arg_types(std::make_tuple(typename function_traits<decltype(m_f)>::arg<0>::type()...)) {}
    void operator()(ARGS... args) const { m_f(args...); }
};</code>

Das obige ist der detaillierte Inhalt vonWie kann ich über einen Funktionszeiger innerhalb einer variadischen Vorlagenklasse in C auf Argumenttypen zugreifen?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!