Как использовать varargs в сочетании с указателями на функции в C на Win64? - PullRequest
Новая
       39

Как использовать varargs в сочетании с указателями на функции в C на Win64?

6 голосов
/ 05 сентября 2011

Рассмотрим следующую программу на C: 

#include <stdio.h>
#include <stdarg.h>

typedef void (callptr)();

static void fixed(void *something, double val)
{
    printf("%f\n", val);
}

static void dynamic(void *something, ...)
{
    va_list args;
    va_start(args, something);
    double arg = va_arg(args, double);
    printf("%f\n", arg);
}

int main()
{
    double x = 1337.1337;
    callptr *dynamic_func = (callptr *) &dynamic;
    dynamic_func(NULL, x);
    callptr *fixed_func = (callptr *) &fixed;
    fixed_func(NULL, x);

    printf("%f\n", x);
}

По сути, идея состоит в том, чтобы хранить функцию с переменными аргументами в «универсальном» указателе функции. Для сравнения я также включил другую функцию с фиксированным списком аргументов. Теперь посмотрим, что происходит при запуске этого на x86 Linux, amd64 Linux, Win32 и Win64: 

$ gcc -m32 -o test test.c
$ file test
test: ELF 32-bit LSB executable, Intel 80386, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 2.6.9, not stripped
$ ./test
1337.133700
1337.133700
1337.133700

$ gcc -o test test.c
$ file test
test: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 2.6.9, not stripped
$ ./test
1337.133700
1337.133700
1337.133700

C:\>gcc -o test.exe test.c
C:\>file test.exe
test.exe: PE32 executable for MS Windows (console) Intel 80386 32-bit
C:\>test.exe
1337.133700
1337.133700
1337.133700

C:\>x86_64-w64-mingw32-gcc -o test.exe test.c
C:\>file test.exe
test.exe: PE32+ executable for MS Windows (console) Mono/.Net assembly
C:\>test.exe
0.000000
1337.133700
1337.133700

Почему динамическая функция получает нулевое значение из списка аргументов переменной в Win64, но не в других конфигурациях? Что-то подобное даже законно? Я предположил, что это потому, что компилятор не жаловался.

Ответы [ 2 ]

6 голосов
/ 05 сентября 2011

Ваш код недействителен. Для вызова функции с переменным значением требуется прототип, указывающий, что это переменная, а используемый вами тип указателя на функцию этого не обеспечивает. Чтобы вызов не вызывал неопределенное поведение, вам нужно будет привести указатель dynamic_func следующим образом: 

((void (*)(void *, ...))dynamic_func)(NULL, x);
2 голосов
/ 05 сентября 2011

Вы должны работать с непротиворечивыми определениями функций, даже если это означает использование varargs, даже если они не нужны. Лучше всего быть настолько многословным, насколько это необходимо.

... 

typedef void myfunc_t(void *, ...);

... 

myfunc_t dynamic;
void dynamic(void * something, ...)
{

... 

}

... 

int main()
{
    double x = 1337.1337;
    myfunc_t *callnow;
    callnow = &dynamic;
    callnow(NULL, x);

    printf("%f\n", x);
}
...