如何檢索可變參數模板類別中函數指標的參數類型？

在可變參數模板類中檢索函數指針的參數類型

泛型函子是有用的類，它提供了一種便捷的方法來處理具有不同參數列表的函數。然而，存取這些類別中函數指標的參數類型可能是一個挑戰。

解決方案

考慮以下函子類：

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

雖然您可以輕鬆訪問operator()方法中的args...使用了遞歸“剝離”函數，在建構函數中取得參數類型更加複雜。

為了解決這個問題，可以實作一個function_traits類別：

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

template<typename r typename ...args>
struct function_traits<:function>> {
    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>>::type type;
    };
};</i></size_t></:function></typename></typename></code>

透過此類，您可以確定函數指標的參數類型、傳回類型和參數數量。

測試程式碼

以下程式碼示範了功能：

<code class="cpp">struct R {};
struct A {};
struct B {};

void main() {
    typedef std::function<r b> fun;

    cout ::result_type>::value ::arg::type>::value ::arg::type>::value </r></code>

以上是如何檢索可變參數模板類別中函數指標的參數類型？的詳細內容。更多資訊請關注PHP中文網其他相關文章！