GNU C的__attribute__机制

GNU C的一大特色（却不被初学者所知）就是__attribute__机制。__attribute__可以设置函数属性（Function Attribute）、变量属性（Variable Attribute）和类型属性（Type Attribute）。它的书写特征是：__attribute__前后都有两个下划线，并切后面会紧跟一对原括弧，括弧里面是相应的__attribute__参数，语法格式如下：
__attribute__ ((attribute-list))，另外它必须放于声明的尾部“；”之前。
函数属性
函数属性可以帮助开发者把一些特性添加到函数声明中，从而可以使编译器在错误检查方面的功能更强大。__attribute__机制也很容易同非GNU应用程序做到兼容之功效。
GNU CC需要使用 –Wall编译器来击活该功能，这是控制警告信息的一个很好的方式。下面介绍几个常见的属性参数。
（1） __attribute__ format
该__attribute__属性可以给被声明的函数加上类似printf或者scanf的特征，它可以使编译器检查函数声明和函数实际调用参数之间的格式化字符串是否匹配。该功能十分有用，尤其是处理一些很难发现的bug。format的语法格式为：

format (archetype, string-index, first-to-check)

format属性告诉编译器，按照printf, scanf, strftime或strfmon的参数表格式规则对该函数的参数进行检查。“archetype”指定是哪种风格；“string-index”指定传入函数的第几个参数是格式化字符串；“first-to-check”指定从函数的第几个参数开始按上述规则进行检查。
具体使用格式如下：

__attribute__((format(printf,m,n)))
__attribute__((format(scanf,m,n)))

其中参数m与n的含义为：
m：第几个参数为格式化字符串（format string）；
n：参数集合中的第一个，即参数“…”里的第一个参数在函数参数总数排在第几，注意，有时函数参数里还有“隐身”的呢，后面会提到；
在使用上，__attribute__((format(printf,m,n)))是常用的，而另一种却很少见到。下面举例说明，其中myprint为自己定义的一个带有可变参数的函数，其功能类似于printf：

extern void myprint(const char *format,...) __attribute__((format(printf,1,2)));
extern void myprint(int l，const char *format,...) __attribute__((format(printf,2,3)));

需要特别注意的是，如果myprint是一个类的成员函数，那么m和n的值可有点“悬乎”了，例如：

extern void object::myprint(int l，const char *format,...) __attribute__((format(printf,3,4)));

其原因是，类成员函数的第一个参数实际上一个“隐身”的“this”指针。
这里给出测试用例：attribute.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);  
} 

运行$gcc –Wall –c attribute.c -o attribute后，输出结果为：

attribute.c: In function `test’:
attribute.c:7: warning: format argument is not a pointer (arg 2)
attribute.c:9: warning: format argument is not a pointer (arg 2)
attribute.c:9: warning: too few arguments for format

如果在attribute.c中的函数声明去掉__attribute__((format(printf,1,2)))，再重新编译，既运行$gcc –Wall –c attribute.c -o attribute后，则并不会输出任何警告信息。
注意，默认情况下，编译器只能识别类似printf的“标准”库函数。

[1]其他__attribute__ 参考gcc：https://gcc.gnu.org/onlinedocs/gcc-4.7.4/gcc/
其中6.30 讲解函数Attribute，6.36讲解变量Attribute，6.37讲解变量类型Attribute
[2]__ATTRIBUTE__你知多少？ http://www.cnblogs.com/astwish/p/3460618.html