Question

我有函数指针类型或函数原型：

int function (int arg);
typedef int (*function_t) (int arg);

和模板类一样

template <typename T_ret, typename... T_args> 
class caller {
    T_ret (*m_p) (T_args... args);
public:
    T_ret call (T_args... args) {
        return m_p(args);
    }
    caller (T_ret (*p)(T_args...args)) : m_p(p) {}
};

是否可以让编译器自动确定代码中的模板参数，如

class caller2 : public caller <__something_with_function_prototype__> {
    caller2 : caller (function) {};
};

类似的问题：是否可以使用另一个模板类而不是函数来执行此操作？

template <typename T_ret, typename... T_args> class example;
typedef example<int, int> example_t;

谢谢。

Answer 1

你可以使用一些助手：

template <typename F> struct helper;

template <typename T_ret, typename... T_args>
struct helper<T_ret (*) (T_args... args)>
{
    using type = caller<T_ret, T_args...>;
};

然后像

一样使用它

int function (int arg);

class caller2 : public helper<decltype(&function)>::type {
public:
    caller2() : caller (&function) {}
};

更通用：

template <typename T_ret, typename... T_args>
struct helper<T_ret (*) (T_args... args)>
{
    template <template <typename, typename...> class C>
    using type = C<T_ret, T_args...>;
};

然后

class caller2 : public helper<decltype(&function)>::type<caller> {
public:
    caller2() : caller (&function) {}
};

所以helper<decltype(&function)>::type<example>是example<int, int>

Answer 2

不确定这是否是你想要的，但也许：

#include <iostream>

int function (int arg) { return arg; }
typedef int (*function_t) (int arg);

template <typename T_ret, typename... T_args> 
class caller {
    T_ret (*m_p) (T_args... args);
public:
    T_ret call (T_args... args) {
        return m_p(args...);
    }
    caller (T_ret (*p)(T_args...args)) : m_p(p) {}
};

template <typename T_ret, typename... T_args>
caller<T_ret, T_args...> get_caller(T_ret(*prototype)(T_args...))
{
    return caller<T_ret, T_args...>(prototype);
}

int main()
{
    function_t f = &function;
    auto c = get_caller(f);
    std::cout << c.call(1) << std::endl;
    return 0;
}

Live demo link.

或者也许：

#include <iostream>

int function (int arg) { return arg; }
typedef int (*function_t) (int arg);

template <typename T> 
class caller {};

template <typename T_ret, typename... T_args> 
class caller<T_ret(*)(T_args...)> {
    T_ret (*m_p) (T_args... args);
public:
    T_ret call (T_args... args) {
        return m_p(args...);
    }
    caller (T_ret (*p)(T_args...args)) : m_p(p) {}
};

int main()
{
    caller<decltype(&function)> c(&function);
    std::cout << c.call(1) << std::endl;
    return 0;
}

Yet another live demo link.

模板：按函数原型确定模板参数

2 个答案: