可変数の引数を渡す

可変数の引数をとる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を2番目の関数で使用する必要があります。具体的には;

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を呼び出す方法はありません。

一般的に使用される溶液は、常に可変引数関数の代替形態を提供することであり、そう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);}

あなたが書いた典型的な可変関数があるとしましょう。可変引数の前に少なくとも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を指定すると、通常は機能します。したがって、必要に応じて他の関数にポインタを渡し、それらも使用できます。独自のマクロを簡単に作成できます。マクロが行うことはすべて、メモリアドレスを型キャストすることです。ただし、すべてのコンパイラと呼び出し規約でこれらを機能させるのは面倒です。したがって、コンパイラに付属しているものを使用する方が一般に簡単です。