C:动态格式说明符

Question

我希望将任意数量的参数写入C中的缓冲区。参数的数量可能会有所不同，因此sprintf()的格式说明符必须相应更改.

我找到了一个解决方案(如下)，该解决方案有效，但阅读起来并不简单。是否可以将格式说明符定义为宏，该宏会根据所使用的参数而变化，并且解决方案是否可以变得更加简单？

#define USE_PARAM_1          1
#define USE_PARAM_2          0
#define USE_PARAM_3          1

...

    char buf [128];

    sprintf(buf, "Params:"
#if (USE_PARAM_1 == 1)
        "\tparam_1: %d"
#endif
#if (USE_PARAM_2 == 1)
        "\tparam_2: %d"
#endif
#if (USE_PARAM_3 == 1)
        "\tparam_3: %d"
#endif
#if (USE_PARAM_1 == 1)
        ,param_1
    #endif
#if (USE_PARAM_2 == 1)
        ,param_2
#endif
#if (USE_PARAM_3 == 1)
        ,param_3
#endif
    );

printf("%s\n", buf) 将显示:

Params: param_1: 1  param_3: 3

编辑:

让我们假设参数本身实际上是较小的缓冲区，并且知道包含哪些参数并不重要，因为每个缓冲区已经包含信息:

    char buf [1024];

    sprintf(buf, "Buffers:"
#if (USE_BUF_1 == 1)
        "\t%s"
#endif
#if (USE_BUF_2 == 1)
        "\t%s"
#endif
#if (USE_BUF_3 == 1)
        "\t%s"
#endif
#if (USE_BUF_1 == 1)
        ,buf_1
    #endif
#if (USE_BUF_2 == 1)
        ,buf_2
#endif
#if (USE_BUF_3 == 1)
        ,buf_3
#endif
    );

printf("%s\n", buf) 将显示:

Params: this_is_buf_1   this_is_buf_3

Answer 1

特别是考虑到您没有提到您期望的参数数量，我只是动态地执行它:

#include <stdarg.h>
#include <stdio.h>
int sprintf_vparams(char *Buf, int N /*number of int params*/, ...)
{
    //no bufsize checking
    va_list ap; va_start(ap,N);
    char *buf = Buf;
    buf += sprintf(buf,"Params: ");
    for(int i=0; i<N; i++) buf += sprintf(buf,"\tparam_%d: %d", i+1, va_arg(ap,int));
    va_end(ap);
    return buf-Buf;
}

该函数不是最小的(x86-64 上为 186B，禁用缓冲区溢出检查)，但您不必在调用站点生成静态唯一格式字符串 + 调用站点将同样大或稍小一点比直接使用 sprintf 所得到的结果要好。

如果您可以合理地预期参数计数小于某个数字，则可以使用内联开关:

static inline int sprintf_aparams(char *Buf, int N /*number of int params*/, int X[])
{
    #define P(Num) "\tparam_"  #Num ": %d"
    switch(N){
    case 0: return sprintf(Buf,"Params: ");
    case 1: return sprintf(Buf,"Params: " P(1), X[0]);
    case 2: return sprintf(Buf,"Params: " P(1) P(2), X[0], X[1]);
    case 3: return sprintf(Buf,"Params: " P(1) P(2) P(3), X[0], X[1], X[2]);
    case 4: return sprintf(Buf,"Params: " P(1) P(2) P(3) P(4), X[0], X[1], X[2], X[3]);
    case 5: return sprintf(Buf,"Params: " P(1) P(2) P(3) P(4) P(5), X[0], X[1], X[2], X[3], X[4]);
    case 6: return sprintf(Buf,"Params: " P(1) P(2) P(3) P(4) P(5) P(6), X[0], X[1], X[2], X[3], X[4], X[5]);
    default: abort(); /*not supported*/ return 0;
    }
    #undef P
}
#define MC_sprintf_params(Buf,...) sprintf_aparams(Buf, sizeof((int[]){__VA_ARGS__ })/sizeof(int), (int[]){__VA_ARGS__})

//usage:
int main()
{
    char buf[1024];
    MC_sprintf_params(buf,2,4,6,8,10,12); //print 6 params
}

这将是现代编译器(例如 gcc 或 clang)上真正的零成本抽象。