2

我创建了一个printf-like 函数，它采用以下参数：

  • 一个强制参数（自定义错误代码）
  • 可选格式字符串
  • 格式参数的可变计数

函数原型如下所示：

int my_printf(int err_code, ...);

err_code还包括是否给出了格式字符串（和可能的格式标签）的信息。

如果给出了它们，我可以使用该va_arg函数提取格式字符串并将其vfprintf与其余参数一起传递。

调用看起来像：

my_printf(-ERR_SIMPLE);
my_printf(-ERR_COMPLICATED, "Error: problem with %d", 123);

不幸的是，我无法使用 GCC 属性进行格式类型检查，因为它需要string-index：

格式（原型、字符串索引、首先检查）

仍然可以进行类型检查吗？使用辅助宏、辅助函数、修改可选格式字符串部分等的解决方案是可以接受的。

更新： 我不确定是否可以将修改后的函数传递va_list给vfprintf-like 函数。看评论。如果可能的话，最好避免这种情况并使用宏或其他东西作为可选的格式字符串部分。

4

1 回答 1

2

（对不起，我没有看到你尝试过。__attribute__我的错）。

您可以尝试按照此处描述的“参数计数”进行试验：

http://locklessinc.com/articles/overloading/

我不知道这是否会导致 GCC 有选择地应用参数检查；但我认为应该。

更新它似乎正在工作，并添加了#definehack：

#include <stdio.h>

int printf_1(int err)
{
        printf("Got error %d\n", err);
        return 0;
}

int printf_2(int error, char *string)
{
        printf("Error %d and message %s\n", error, string);
        return 0;
}

int printf_3(int error, char *fmt, ...) __attribute__ ((format (printf, 2, 3)));

int printf_3(int error, char *fmt, ...)
{
        printf("Received full string err=%d, fmt=%s\n", error, fmt);
        return 0;
}

#define printf_4        printf_3
#define printf_5        printf_3
#define printf_6        printf_3
#define printf_7        printf_3
#define printf_8        printf_3
#define printf_9        printf_3
#define printf_10       printf_3


#define COUNT_PARMS2(_1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _, ...) _
#define COUNT_PARMS(...)\
        COUNT_PARMS2(__VA_ARGS__, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1)

#define CAT(A, B) CAT2(A, B)
#define CAT2(A, B) A ## B

#define myprintf(...)\
        CAT(printf_, COUNT_PARMS(__VA_ARGS__))(__VA_ARGS__)

int main()
{
        myprintf(19);
        myprintf(19, "Hello");
        myprintf(19, "Hello '%s'", "world");
        // Warning!
        myprintf(19, "Hello '%s'", "world", 42);
        myprintf(19, 42);
        return 0;
}

我正确收到（gcc 4.6.2）：

$ gcc -W -Wall -o test test.c

test.c: In function ‘main’:
test.c:48:2: warning: too many arguments for format [-Wformat-extra-args]
test.c:49:2: warning: passing argument 2 of ‘printf_2’ makes pointer from integer without a cast [enabled by default]
test.c:9:5: note: expected ‘char *’ but argument is of type ‘int’
于 2012-09-12T13:47:01.267 回答