将 va_list 转换为固定参数

Question

我正在编写原型的线程生成函数：

void Thread_create(void (*func)(void*), int argc, ...);

我已经传入了参数计数，所以确定长度没有问题。 问题是如何将 func 重新转换为具有 argc 长度的函数，然后使用我拥有的参数调用它？

编辑：我还限制函数只接受 void* 参数（即无需担心传入任何其他类型）

例如：

void foo(void *bar, void *baz);
void fooTwo(void *bar, void *baz, void *bam);
int main(int argc, char *argv[]){
    Thread_create(&foo, 2, (void*)argv[0], (void*)argv[1]); //foo gets called in a new thread with the arguments: argv[0] and argv[1]
    Thread_create(&fooTwo, 3, (void*)argv[0], (void*)argv[1], (void*)argv[2]); //fooTwo gets called in a new thread with the arguments: argv[0] and argv[1] and argv[2]
    return 0;
}

旁注：形式的解决方案

Thread_create(void (*func)(void*), int argc, ...); //call with 1 arg
Thread_create(void (*func)(void*, void*), int argc, ...); //call with 2 args
Thread_create(void (*func)(void*, void*, void*), int argc, ...); //call with 3 args

不起作用，因为我无法通过线程创建库调用传递该信息，无论它可能是 pthread_create 还是 windows ThreadCreate 函数。

Answer 1

好吧，除非您了解相关平台的 CPU 架构和 ABI 并自己编写代码，否则您无法通过编程方式自行构建堆栈框架。

例如，对于 x86 32 位的通用调用约定，您需要以相反的顺序将参数传递给堆栈（例如，最后一个参数在前），然后通过 call 调用函数，一旦返回，通过弹出清理堆栈值（或通过调整堆栈指针）。

所以对于函数“foo(int bar, int baz)”，你会：

pushl <value-for-baz>
pushl <value-for-bar>
call  foo
addl  8, $esp

也许您也可以在 C 中编写代码，但是从 C 中弄乱堆栈肯定需要一些汇编魔法。

此外，当使用不同的编译器标志时，堆栈帧甚至可能看起来不同。 x86_64 将参数先放入寄存器，只有当参数多于寄存器时才使用堆栈。

简而言之，不要那样做。 :)

唯一的选择是创建一个大的条件，其中每个分支将调用具有所需数量的参数的正确函数，或您建议的重载函数，或使用数据结构来传递此信息，如其他答案。

Thread_create(void (*func)(void), int argc, ...)
{
  if (argc == 1)
     ((void (*)(void *)) func)(arg0);
  else if (argc == 2)
     ((void (*)(void *, void *)) func)(arg0, arg1); 
}

Answer 2

您要做的不是变量参数的用途。最好只使用一个附加的void* 参数，该参数将传递回用户函数。这是实现带有用户数据的回调的常用方式。

typedef void (*ThreadMainFunc)(void*);

void ThreadCreate(ThreadMainFunc func, void* user_data){
  // do whatever you need to do
  func(user_data);
  // whatever else
}

struct ThreadData{
  // arguments here as member
  int arg1;
  double arg2;
};

void MyThreadMain(void* my_data){
  ThreadData* my_real_data =(ThreadData*)my_data;
  // use my_real_data here
}

int main(){
  ThreadData data;
  data.arg1 = 42;
  data.arg2 = 13.37;
  CreateThread(&MyThreadMain,&data);
//                           ^^^^^ --- you don't need to cast to void, only from void
}