Аргументы переменной в C, как получить значения с универсальным типом?

Вы не можете сделать это так, как вы это описываете.

Соглашение о вызовах C заключается в том, что вызывающий объект помещает аргументы в стек, но не помещает никакой информации о типах, поэтому вызываемый должен иметь способ найти его (по крайней мере, размер переменных).

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

• С функциями с числом переменных или параметрами (вариативными) это более сложно, у вас есть чтобы вызвать va_arg для каждого аргумента для чтения каждой переменной, и вы должны указать тип для va_arg. Если вы предоставите тип, который не является настоящим, компилятор не будет жаловаться (он не может использовать информацию о времени выполнения), но может случиться что угодно (обычно что-то плохое).

Следовательно, вы должны передать тип.

В некоторых случаях вы можете предсказать тип (например: счетчик, за которым следуют некоторые целые числа и т. д.), но обычно вы передаете его в параметрах. Вы можете передать его в виде строки формата, как это делает printf, трюк объединения, описанный jldupont, также достаточно распространен.

Но в любом случае вы должны передать его.

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

Давайте рассмотрим пример, в котором вы передаете тип за которым следует аргумент (таким образом, ни трюк с объединением, ни строка формата, такая как printf). Он преобразует все переданные значения в двойные и добавляет их, бесполезно, не так ли:

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

enum mytypes {LONG, INT, FLOAT, DOUBLE };

double myfunc(int count, ...){
    long tmp_l;
    int tmp_i;
    double tmp_d;
    double res = 0;
    int i;

    va_list ap;
    va_start(ap, count);
    for(i=0 ; i < count; i++){
        int type = va_arg(ap, enum mytypes);
        switch (type){
            case LONG:
            tmp_l = va_arg(ap, long);
            res += tmp_l;
            break;
            case INT:
            tmp_i = va_arg(ap, int);
            res += tmp_i;
            break;
            case FLOAT:
            /* float is automatically promoted to double when passed to va_arg */
            case DOUBLE:
            tmp_d = va_arg(ap, double);
            res += tmp_d;
            break;
            default: /* unknown type */
            break;
        }
    }
    va_end(ap);
    return res;
}

int main(){
    double res;
    res = myfunc(5,
        LONG, (long)1,
        INT, (int)10,
        DOUBLE, (double)2.5,
        DOUBLE, (double)0.1,
        FLOAT, (float)0.3);
    printf("res = %f\n", res);
}

В этом примере используется переменный заголовок new stdarg, определенный в C99. Чтобы использовать его, вам необходимо иметь хотя бы один фиксированный параметр для вашей функции (в этом примере это count ). Хорошо, что таким образом у вас может быть несколько списков с переменными числами в вашей функции (например, что-то вроде myfunc (int count1, ..., int count2, ...) ). Плохо то, что у вас не может быть чисто вариативной функции (то есть чего-то вроде myfunc (...), например, в старом формате. Вы все еще можете использовать старый формат, используя заголовки совместимости varargs. Но он является более сложным и редко необходимым, потому что вам нужны типы, но также и какой-то способ узнать, что список закончен, и что-то вроде count удобно (но не единственный способ сделать это, например, можно использовать терминатор).

Хорошо, что таким образом у вас может быть несколько списков с переменными числами в вашей функции (например, что-то вроде myfunc (int count1, ..., int count2, ...) ). Плохо то, что у вас не может быть чисто вариативной функции (то есть чего-то вроде myfunc (...), например, в старом формате. Вы все еще можете использовать старый формат, используя заголовки совместимости varargs. Но он является более сложным и редко необходимым, потому что вам нужны типы, а также какой-то способ узнать, что список закончен, и что-то вроде count удобно (но не единственный способ сделать это, например, можно использовать терминатор).

Хорошо, что таким образом у вас может быть несколько списков с переменными числами в вашей функции (например, что-то вроде myfunc (int count1, ..., int count2, ...) ). Плохо то, что у вас не может быть чисто вариативной функции (то есть чего-то вроде myfunc (...), например, в старом формате. Вы все еще можете использовать старый формат, используя заголовки совместимости varargs. Но он является более сложным и редко необходимым, потому что вам нужны типы, а также какой-то способ узнать, что список закончен, и что-то вроде count удобно (но не единственный способ сделать это, например, можно использовать терминатор).

) как и в старом формате. Вы все еще можете использовать старый формат, используя заголовки совместимости varargs. Но это более сложно и редко необходимо, потому что вам нужны типы, а также какой-то способ узнать, что список закончен, и что-то вроде count удобно (но это не единственный способ сделать это, например, можно использовать терминатор).

) как и в старом формате. Вы все еще можете использовать старый формат, используя заголовки совместимости varargs. Но это более сложно и редко необходимо, потому что вам нужны типы, а также какой-то способ узнать, что список закончен, и что-то вроде count удобно (но не единственный способ сделать это, например, можно использовать терминатор).