Блог

Я пишу функцию порождения потока прототипа:

 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(amp;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(amp;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.

Ну, вы не можете создать фрейм стека самостоятельно, программно, если вы не знаете архитектуру процессора и ABI рассматриваемой платформы и не кодируете ее самостоятельно.

Например, с общими соглашениями о вызовах на 32-разрядной версии x86 вам нужно передать аргументы в стек в обратном порядке (например, сначала последний аргумент), затем вызвать функцию с помощью 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); 
}
  

То, что вы пытаетесь сделать, — это не то, для чего предназначены переменные аргументы. Лучше просто возьмите дополнительный 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(amp;MyThreadMain,amp;data);
//                           ^^^^^ --- you don't need to cast to void, only from void
}