通过指针调用具有未知参数计数的函数的简单方法

Question

我有以下代码：

typedef void * (__stdcall * call_generic)(...);
typedef void * (__stdcall * call_push2)(unsigned long,unsigned long);

void * pfunc;
// assume pfunc is a valid pointer to external function

// this is a logically correct way of calling, however this includes:
// add esp, 8
// after the call, and that breaks my stack.
((call_generic)pfunc)(1,1);

// however, if i use this call:
((call_push2)pfunc)(1,1);
// this does not happen and code works properly.

手动跟踪所有调用并计算参数是很痛苦的（前面有很多这样的调用），我更喜欢宏或其他东西，但由于该错误，这是不可能的。

有解决办法吗？是否有另一种创建 call_generic 类型来执行此类操作的方法？

我真的不明白为什么它会进行“清理”，但这会严重破坏我的堆栈，导致以前定义的变量丢失。

Answer 1

((call_generic)pfunc)(1,1); 仅当 pfunc 指向的函数实际上具有您转换为的签名时，才是逻辑上正确的调用方式，<代码>void *(...)。您的代码告诉编译器进行可变参数调用，因此它会进行可变参数调用。对不是 varargs 函数的函数进行 varargs 调用不起作用（在这种情况下，对于谁必须清理堆栈存在分歧，并且完成了两次）。

没有办法免费做到这一点。在调用之前，您必须以某种方式将函数指针转换为正确的签名，否则调用代码不知道如何以被调用者代码可以使用的方式传递参数。

一种选择是确保 pfunc 可能指向的所有被调用函数具有相同的签名，然后转换为该类型。例如，您可以将它们设为所有可变参数函数，尽管我并不特别推荐它。做您不想做的事情会更安全 - 确保此处可能出现的所有函数都采用两个 unsigned long ，并强制转换为 call_push2。

Answer 2

call_generic 的技巧不适用于应使用 __stdcall 调用约定调用的函数。这是因为 __stdcall 暗示函数应该清理堆栈，OTOH 可变参数函数（带有 ... 参数的函数）可能不会这样做，因为它们不知道论据。

因此，使用 __stdcall 调用约定来标记可变参数函数就像搬起石头砸自己的脚。

在你的具体情况下，我会进入宏写作方向。我看不出有什么小技巧可以满足您的需求。

编辑

其中一种技术可能是使用模板类。例如：

// any __stdcall function returning void taking 2 arguments
template <typename T1, typename T2>
struct FuncCaller_2
{
    typedef void * (__stdcall * FN)(T1, T2);

    static void Call(PVOID pfn, T1 t1, T2 t2)
    {
        ((FN) pfn)(t1, t2);
    }
};

// call your function
FuncCaller_2<int, long>::Call(pfn, 12, 19);

您需要为每个参数数量（0、1、2、3、...）创建这样一个类。

不用说这个方法是“不安全的”——即没有对函数调用的正确性进行编译时验证。

Answer 3

在我看来，您想要一种动态函数绑定机制，它将指针绑定到从调用中推导的原型。这通常需要元编程，为此 boost::bind或者来自 boost 函数库的其他东西是你最好的选择（如果他们没有它，我怀疑我能否做到）。