函数指针作为模板参数和签名

我能将“通用”函数指针作为带有其签名的模板参数传递吗？我知道我可以将函数签名传递给模板:

 template<typename signature>
 struct wrapper;

 template<typename RT, typename... ATs>
 struct wrapper<RT (ATs...)> {};

 int f(int, double)

 wrapper<cdecltype(f)>
 > w;

我也可以将函数指针作为非类型模板参数传递:

 template<int (*pF)(int, double)> myTemp() {
 pf(1, 1.0);
}

 myTemp<f>();

我想做的是这样的

 template<typename RT (*pF)(typename ATs...)

这是可能的吗？函数指针必须作为模板参数传递，并且不得作为函数参数传递。

我想使用模板包装c函数并使它们可以从lua调用。以下代码可用（c++14，gcc，lua-5.3），但可以改进。

#include<iostream>
#include<type_traits>

 extern "C"  {
#include<lua.h>
#include<lualib.h>
#include<lauxlib.h>
}

 using namespace std;

 int add(int i, int j) {
 cout<< "adding " << i << " to " << j << "." << endl;
 return i + j;
}

 int sub(int i, int j) {
 cout<< "subtracting " << j << " from " << i << "." << endl;
 return i - j;
}

// ****************************

template<typename signature>
struct wrapper;

 template<typename RT, typename... ATs>
 struct wrapper<RT (ATs...)> {
 
 template<RT (*pF)(ATs...)>
 void reg(lua_State *L, const char*n) {
 auto lw = [](lua_State *L) - > RT {
 lua_pushnumber(L, call<0>(pF, L));
 return 1;
};
 lua_pushcfunction(L, lw);
 lua_setglobal(L, n);
}

 template<int i, typename... ETs>
 static
 typename std::enable_if<i != sizeof...(ATs), RT>::type
 call(RT (*f)(ATs...), lua_State *L, ETs... Es) {
 auto arg = lua_tonumber(L, i+1);
 return call<i+1>(f, L, Es..., arg);
}

 template<int i, typename... ETs>
 static
 typename std::enable_if<i == sizeof...(ATs), RT>::type
 call(RT (*f)(ATs...), lua_State *L, ETs... Es) {
 return f(Es...);
 }

};

#define regLua(L, fct, str) wrapper<cdecltype(fct)>().reg<fct>(L, str)

int main() {
 lua_State *L = luaL_newstate();
 luaL_openlibs(L);

 luaL_dostring(L, "print(\"Hello World!\")");

// Ugly: add must be passed two times! Not a very userfriendly syntax.
 wrapper<cdecltype(add)>().reg<add>(L, "add");
 // Looks better, but uses a macro...
 regLua(L, sub, "sub");
 // optimal (but possible??):
 // wrap<sub>(L, "sub");

 luaL_dostring(L, "print(\"add:\", add(3, 5))");
 luaL_dostring(L, "print(\"sub:\", sub(3, 5))");

 lua_close(L);

 return 0;
}