__attribute__ ((format (printf, 2, 3))); 介绍

 

功能：

   __attribute__ format属性可以给被声明的函数加上类似printf或者scanf的特征，它可以使编译器检查函数声明和函数实际调用参数之间的格式化字符串是否匹配。format属性告诉编译器，按照printf, scanf等标准C函数参数格式规则对该函数的参数进行检查。这在我们自己封装调试信息的接口时非常的有用。

format的语法格式为：

format (archetype, string-index, first-to-check)
　　其中，“archetype”指定是哪种风格；“string-index”指定传入函数的第几个参数是格式化字符串；“first-to-check”指定从函数的第几个参数开始按上述规则进行检查。
具体的使用如下所示：
__attribute__((format(printf, m, n)))
__attribute__((format(scanf, m, n)))

　　其中参数m与n的含义为：
　　　　m：第几个参数为格式化字符串(format string);
　　　　n：参数集合中的第一个，即参数“…”里的第一个参数在函数参数总数排在第几。注意，有时函数参数（类成员函数）里还有“隐身”的（this指针）；

一般函数：

为自己定义的一个带有可变参数的函数，其功能类似于printf：
extern void myprint(const char *format,...) __attribute__((format(printf,1,2)));   //m=1；n=2
extern void myprint(int l，const char *format,...) __attribute__((format(printf,2,3)));  //m=2；n=3

类成员函数

需要特别注意的是，如果myprint是一个函数的成员函数，那么m和n的值可有点“悬乎”了，例如：
extern void myprint(int l，const char *format,...) __attribute__((format(printf,3,4)));   
其原因是，类成员函数的第一个参数实际上一个“隐身”的“this”指针。

这里给出测试用例：test.c，代码如下：

extern void myprint(const char *format,...) __attribute__((format(printf,1,2)));
void test()
{
      myprint("i=%d\n",6);
      myprint("i=%s\n",6);
      myprint("i=%s\n","abc");
      myprint("%s,%d,%d\n",1,2);
}