从函数类型声明中推导函数参数，用于模板结构方法？

Question

我想知道是否可以推断出返回类型，以及来自函数类型的参数定义。

我希望做类似的事情：

template<class T>
struct _function_wrapper_t
{
    [return of T] call([Args of T]....)
    {
        return (T)m_pfnFunc(Args);
    }

    void* m_pfnFunc;
};

int MultiplyTwoNumbers(int nNum, int nNum2)
{
    return nNum * nNum2;
}

int MultiplyThreeNumbers(int nNum, int nNum2, int* pnNum3)
{
    return nNum * nNum2 * *pnNum3;
}

int main()
{
    _function_wrapper_t<decltype(&MultiplyTwoNumbers)> two(&MultiplyTwoNumbers);
    _function_wrapper_t<decltype(&MultiplyThreeNumbers)> three(&MultiplyThreeNumbers);

    auto ret1 = two.call(1, 2);
    auto ret2 = three.call(4, 5, 8);

}

但是，我不确定是否可以从类型的函数指针中辨别返回类型和函数参数。

如果您确实说

typedef void*(__cdecl* fnOurFunc_t)(const char*, int, float**);

编译器知道将来将其用作类型，那么它是否进一步适用于模板？这是非常特定的用例所需的。

提前致谢！

Answer 1

简单的解决方案是让编译器推断返回类型，并让呼叫者通过正确的类型（在不这样做时无法编译）：

template<class T>
struct _function_wrapper_t
{
    template <typename ...U>
    auto call(U&&... t)
    {
        return m_pfnFunc(std::forward<U>(t)...);
    }

    T m_pfnFunc;
};

如果您不喜欢那样，则可以使用部分专业化：

template<class T>
struct _function_wrapper_t;

template <typename R,typename...Args>
struct _function_wrapper_t<R(*)(Args...)>
{
    R call(Args...args)
    {
        return m_pfnFunc(args...);
    }
    using f_type = R(*)(Args...);
    f_type m_pfnFunc;
};

实时演示

ps：在后一种情况下也可以进行完美的转发，但它需要一些我为了简化而遗漏的样板。

Answer 2

检查std ::功能实现。看来它可以做您需要的事情：

#include <functional>

int MultiplyTwoNumbers(int nNum, int nNum2)
{
    return nNum * nNum2;
}

int MultiplyThreeNumbers(int nNum, int nNum2, int pnNum3)
{
    return nNum * nNum2 * pnNum3;
}

int main()
{
    std::function<decltype(MultiplyTwoNumbers)> two = &MultiplyTwoNumbers;
    std::function<decltype(MultiplyThreeNumbers)> three = &MultiplyThreeNumbers;

    auto ret1 = two(1, 2);
    auto ret2 = three(4, 5, 8);

}