Question

我创建了一个类似printf的函数，它接受以下参数：

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

函数原型如下：

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：

格式（archetype，string-index，first-to-check）

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

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

Answer 1

（抱歉，我没有看到你尝试了__attribute__。我的不好。）

您可以尝试尝试“参数计数”，如下所述：

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

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

更新它似乎正常工作，添加了#define hack：

#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’

类似Printf的函数，带有可选的格式字符串参数和GCC格式类型检查

1 个答案: