模板：通过函数原型确定模板参数

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) {}; 
}; 

而类似的问题：是否有可能做t他的，但与另一个模板类而不是功能？

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

谢谢。

Answer 1

不知道这是否是你想要的，但也许：

#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.

Answer 2

你可以使用一些辅助：

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>