有没有一种方法可以使模板匹配所有指针类型？

有没有办法让一个模板化的C++函数自动将所有指针隐式转换为void *？我正在开发一个轻量级的Lua绑定，我希望避免为每个指针类型编写完全相同的函数，因为我只需要void *版本的函数即可。

声明：

template<class T>
T GetFromStack(lua_State* L, int index);

定义：

template<> void* GetFromStack<void*>(lua_State* L, int index)
{
    return lua_touserdata(L, index);
}

如果我调用myVariable = GetFromStack<MyStruct*>(L, 0);，C++编译器将会抱怨我没有定义MyStruct*的函数。有没有可能让所有指针类型都自动匹配到void*版本呢？

编辑：

我看到我的问题有点令人困惑，我不确定该如何表达。我试图想出一个自动绑定系统。另一个模板化函数调用了这个GetFromStack函数：

template<class T_return, class T_param1, class T_param2 >
int LuaFunction(lua_State* L, T_return (*func)(T_param1,T_param2));

它的实现如下：

template<class T_return, class T_param1, class T_param2 >
int LuaFunction(lua_State* L, T_return (*func)(T_param1,T_param2))
{
    T_param1 a = GetFromStack<T_param1>(L, 1);
    T_param2 b = GetFromStack<T_param2>(L, 2);
    T_return ret = func(a,b);
    PushLuaType(L, ret); // <-- 这是另一个模板函数，
                         // 类似于有同样问题的GetFromStack
    return 1;
}

然后我使用一个简单的宏来创建要暴露给Lua的任何函数的Lua版本：

#define DeclareLuaFunction(function) \
    static int ##function##_lua_(lua_State* L) \
    { \
        return LuaFunction(L, function); \
    }

只要使用预定义类型，这个系统就非常好用了。我已经编写了针对所有“基本”类型（int、float等）和显然的void *类型的GetFromStack版本。但是，我不想为我的自定义类型的每一个指针都编写一个版本的GetFromStack。当我创建一个使用MyStruct2的函数时，我将不得不编写另一个与其他pointer版本完全相同的GetFromStack版本。

这个系统将像这样使用：

struct MyStruct
{
    int a;
    float b;
};

int AddToMyStruct(MyStruct* s, int x)
{
    int original = s->a;
    s->a += x;
    return original;
}

DeclareLuaFunction(AddToMyStruct);

T_return将成为一个int，T_param1将成为一个MyStruct *，T_param2也将是一个整数。我已经有了int版本的GetFromStack和PushLuaType，但是我没有MyStruct*版本。目前的实现方式是，无论我想到的每个类型，我都必须编写一个新版本的GetFromStack，即使每个实现都是相同的。

编辑：如果有一种方法可以在编译类型上确定类型是否为指针类型，那么Andreas的解决方案将会有用。如果我的T_param1是一个MyStruct*，则它将作为MyStruct*传递给GetFromStack，而不是作为MyStruct。