Передача змінної кількості аргументів навколо

Скажімо, у мене функція C, яка приймає змінну кількість аргументів: Як я можу викликати іншу функцію, яка очікує змінну кількість аргументів всередині неї, передаючи всі аргументи, які потрапили в першу функцію?

Приклад:

void format_string(char *fmt, ...);

void debug_print(int dbg_lvl, char *fmt, ...) {
    format_string(fmt, /* how do I pass all the arguments from '...'? */);
    fprintf(stdout, fmt);
 }

Щоб передати еліпси, вам потрібно перетворити їх у va_list і використовувати цей va_list у своїй другій функції. Конкретно;

void format_string(char *fmt,va_list argptr, char *formatted_string);


void debug_print(int dbg_lvl, char *fmt, ...) 
{    
 char formatted_string[MAX_FMT_SIZE];

 va_list argptr;
 va_start(argptr,fmt);
 format_string(fmt, argptr, formatted_string);
 va_end(argptr);
 fprintf(stdout, "%s",formatted_string);
}

Немає можливості зателефонувати (напр.) Printf, не знаючи, скільки аргументів ви передаєте до нього, якщо тільки ви не хочете вдаватися до неслухняних і не портативних хитрощів.

Зазвичай використовують розчин , щоб завжди забезпечувати альтернативну форму функцій vararg, так що printfмає , vprintfякий приймає va_listна місці .... У ...версії просто обгортки навколо va_listверсій.

Варіатичні функції можуть бути небезпечними . Ось більш безпечний трюк:

   void func(type* values) {
        while(*values) {
            x = *values++;
            /* do whatever with x */
        }
    }

func((type[]){val1,val2,val3,val4,0});

У чудових C ++ 0x ви можете використовувати різні шаблони:

template <typename ... Ts>
void format_string(char *fmt, Ts ... ts) {}

template <typename ... Ts>
void debug_print(int dbg_lvl, char *fmt, Ts ... ts)
{
  format_string(fmt, ts...);
}

Ви можете використовувати вбудовану збірку для виклику функції. (у цьому коді я припускаю, що аргументи є символами).

void format_string(char *fmt, ...);
void debug_print(int dbg_level, int numOfArgs, char *fmt, ...)
    {
        va_list argumentsToPass;
        va_start(argumentsToPass, fmt);
        char *list = new char[numOfArgs];
        for(int n = 0; n < numOfArgs; n++)
            list[n] = va_arg(argumentsToPass, char);
        va_end(argumentsToPass);
        for(int n = numOfArgs - 1; n >= 0; n--)
        {
            char next;
            next = list[n];
            __asm push next;
        }
        __asm push fmt;
        __asm call format_string;
        fprintf(stdout, fmt);
    }

Ви також можете спробувати макрос.

#define NONE    0x00
#define DBG     0x1F
#define INFO    0x0F
#define ERR     0x07
#define EMR     0x03
#define CRIT    0x01

#define DEBUG_LEVEL ERR

#define WHERESTR "[FILE : %s, FUNC : %s, LINE : %d]: "
#define WHEREARG __FILE__,__func__,__LINE__
#define DEBUG(...)  fprintf(stderr, __VA_ARGS__)
#define DEBUG_PRINT(X, _fmt, ...)  if((DEBUG_LEVEL & X) == X) \
                                      DEBUG(WHERESTR _fmt, WHEREARG,__VA_ARGS__)

int main()
{
    int x=10;
    DEBUG_PRINT(DBG, "i am x %d\n", x);
    return 0;
}

Хоча ви можете вирішити передачу форматера, зберігаючи його в локальному буфері спочатку, але для цього потрібен стек і з ним може виникнути проблема. Я спробував слідувати, і, здається, працює добре.

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

void print(char const* fmt, ...)
{
    va_list arg;
    va_start(arg, fmt);
    vprintf(fmt, arg);
    va_end(arg);
}

void printFormatted(char const* fmt, va_list arg)
{
    vprintf(fmt, arg);
}

void showLog(int mdl, char const* type, ...)
{
    print("\nMDL: %d, TYPE: %s", mdl, type);

    va_list arg;
    va_start(arg, type);
    char const* fmt = va_arg(arg, char const*);
    printFormatted(fmt, arg);
    va_end(arg);
}

int main() 
{
    int x = 3, y = 6;
    showLog(1, "INF, ", "Value = %d, %d Looks Good! %s", x, y, "Infact Awesome!!");
    showLog(1, "ERR");
}

Сподіваюсь, це допомагає.

Розчин Росса трохи очистився. Працює лише, якщо всі аргументи є покажчиками. Також мовна реалізація повинна підтримувати відмінювання попередньої коми, якщо __VA_ARGS__вона порожня (це роблять Visual Studio C ++ та GCC).

// pass number of arguments version
 #define callVardicMethodSafely(...) {value_t *args[] = {NULL, __VA_ARGS__}; _actualFunction(args+1,sizeof(args) / sizeof(*args) - 1);}


// NULL terminated array version
 #define callVardicMethodSafely(...) {value_t *args[] = {NULL, __VA_ARGS__, NULL}; _actualFunction(args+1);}

Скажімо, у вас є типова варіативна функція, яку ви написали. Оскільки потрібен хоча б один аргумент перед варіативним ..., завжди потрібно написати додатковий аргумент у використанні.

Або ти?

Якщо ви загортаєте різноманітну функцію в макрос, вам не потрібно попередніх аргументів. Розглянемо цей приклад:

#define LOGI(...)
    ((void)__android_log_print(ANDROID_LOG_INFO, LOG_TAG, __VA_ARGS__))

Це, очевидно, набагато зручніше, оскільки не потрібно кожного разу вказувати початковий аргумент.

Я не впевнений, що це працює для всіх компіляторів, але він працював поки що для мене.

void inner_func(int &i)
{
  va_list vars;
  va_start(vars, i);
  int j = va_arg(vars);
  va_end(vars); // Generally useless, but should be included.
}

void func(int i, ...)
{
  inner_func(i);
}

Ви можете додати ... до inner_func (), якщо хочете, але він вам не потрібен. Це працює тому, що va_start використовує адресу даної змінної як початкову точку. У цьому випадку ми даємо йому посилання на змінну у func (). Таким чином, він використовує цю адресу і читає змінні після цього в стеці. Функція inner_func () зчитується з адреси стека func (). Так він працює лише в тому випадку, якщо обидві функції використовують один і той же сегмент стека.

Макроси va_start і va_arg, як правило, спрацьовують, якщо ви дасте їм будь-який var як вихідний. Тож якщо ви хочете, ви можете передати вказівники на інші функції і використовувати їх також. Ви можете зробити свої власні макроси досить легко. Всі макроси - це набір адрес пам'яті. Однак змусити їх працювати для всіх компіляторів і називати конвенції дратує. Тому зазвичай простіше використовувати ті, які постачаються разом із компілятором.