__printflike__修饰符

Question

什么是“__printflike__修饰符”？这个词是什么意思？

Answer 1

猜测它告诉编译器你正在使用一个函数接受形式为[anything, ] format, ...的参数，其中format, ...部分看起来像printf的参数。 __printflike__属性允许编译器根据字符串格式测试参数列表中的类型。当您编写像log(format, ...)这样的函数并使用vsprintf将格式化工作从字符串发送到某些特殊的日志接口之前，将它从属于常用的标准库函数时，会出现这种情况。

如果您使用的GCC那么它可能是一个#define是在您的项目是这样的：

#define __printflike__ __attribute__((format(printf, 1, 2))) 

凡1, 2意味着format, ...出现在位置1和2

Answer 2

大概告诉编译器的相应的功能有printf-like语义。

这可以使编译器在编译时发出警告，当格式字符串中的修饰符与传递参数的类型或计数不一致时。

有没有其他的方式，编译器可以拥有的知识告诉你，%u不

我问了反向问题主叫printf，sprintf，fprintf等格式时为int权前几个月：Are printf/sprintf compiler warnings a conceptual break?

Answer 3

我有一个函数在我的错误报告库中喜欢头部声明：

extern void err_logmsg(FILE *fp, int flags, int estat, const char *format, ...) 
         PRINTFLIKE(4,5); 

PRINTFLIKE是大写字母，因此我可以在不使用GCC时将其定义为无。这个用法表示前三个参数没什么特别，但第四个参数是一个格式字符串，与printf()使用的格式字符串（实际上，它在内部传递给vfprintf()）以及与之对应的参数（使用格式字符串格式化）从第五个参数开始。

这意味着，如果I型：

err_logmsg(stdout, ERR_ABORT, 1, "%s: %d\n", errno, strerror(errno)); 

我会因为errno是int和strerror(errno)返回一个指向字符串得到一个编译错误。我可以通过更改格式字符串或第五个和第六个参数来修复错误。 （ERR_ABORT是定义在同一个标​​头中的一组标志，声明err_logmsg()。）

PRINTFLIKE宏中有两个数字，因为格式字符串和格式字符串使用的第一个参数之间可能有其他参数。例如，另一种功能可能是：

extern void err_writer(FILE *fp, const char *format, int flags, int estat, ...) 
         PRINTFLIKE(2,5); 

这告诉编译器格式字符串是第二个参数，但是即得到格式化还是相应的参数出现在开始的第五个参数。

此代码的头文件包含行：

#ifdef __GNUC__ 
#define PRINTFLIKE(n,m) __attribute__((format(printf,n,m))) 
#define NORETURN()  __attribute__((noreturn)) 
#else 
#define PRINTFLIKE(n,m) /* If only */ 
#define NORETURN()  /* If only */ 
#endif /* __GNUC__ */