GNU_CC中的attribute.doc

GNU CC中的attribute GNU C的一大特色就是__attribute__机制。GNU C扩展的__attribute__ 机制被用来设置函数属性（Function?? Attribute）、变量属性（Variable Attribute）和类型属性（Type Attribute）。 CX/Hu)jo$2 ???? ;_MM}Q W ???? __attribute__书写特征是：__attribute__前后都有两个下划线，并切后面会紧跟一对原括弧，括弧里面是相应的__attribute__参数。 m,XH F\] ???? @xZ;KPR ???? __attribute__语法格式为： Stk|g h] ?????? __attribute__ ((attribute-list)) x_ -u* ????? 其位置约束为：放于声明的尾部“；”之前。 ^/,5lsc ????? %;:#(i~ ?一.函数属性（Function Attribute） 9$
hxo1k ???? 函数属性可以帮助开发者把一些特性添加到函数声明中，从而可以使编译器在错误检查方面的功能更强大。__attribute__机制也很容易同非GNU应用程序做到兼容之功效。GNU CC需要使用 –Wall编译器来击活该功能，这是控制警告信息的一个很好的方式。下面介绍几个常见的属性参数。 eI }yn ??? __attribute__ format ~ #\ A ????? 该__attribute__属性表示函数使用 printf, scanf 或 strftime 风格的参数，使用这类函数最容易犯的错误是格式串与参数不匹配，指定 format 属性可以让编译器根据格式串检查参数类型。该功能十分有用，尤其是处理一些很难发现的bug。 hz(|2Rve5, ????? ~[uO,b ???? format的语法格式为： k UOWas ?????? format (archetype, string-index, first-to-check) IG6cggK 8b ???? format属性告诉编译器，按照printf, scanf,strftime或strfmon的参数表格式规则对该函数的参数进行检查。 uK
p k K ???????? “archetype”指定是哪种风格； ,Rz5RAN;(3 ???????? “string-index”指定传入函数的第几个参数是格式化字符串； H^D/c ???????? “first-to-check”指定从函数的第几个参数开始按上述规则进行检查。 n! FuB+ ????? 具体使用格式如下： P9i$M${M ???? __attribute__((format(printf,m,n))) Og+rGEo= ???? __attribute__((format(scanf,m,n))) bd$Wb ???? 其中参数m与n的含义为： y4^#^,T@j ????? m：第几个参数为格式化字符串（format string）； H SN.* Nl ???? n：参数集合中的第一个，即参数“…”里的第一个参数在函数参数总数排在第几，注意，有时函数参数里还有“隐身”的呢，后面会提到；在使用上，__attribute__((format(printf,m,n)))是常用的，而另一种却很少见到。下面举例说明，其中myprint为自己定义的一个带有可变参数的函数，其功能类似于printf： I#C0 ???? //m=1；n=2 +ZLSE7  ???? extern void myprint(const char *format,...) __attribute__((format(printf,1,2))); 8lK/%o ???? //m=2；n=3 {pUTyQ ???? extern void myprint(int l，const char *format,...)__attribute__((format(printf,2,3))); Y=`5mH[ ???? 需要特别注意的是，如果myprint是一个函数的成员函数，那么m和n的值可有点“悬乎”了，例如： IhAzk+ ???? //m=3；n=4 8Q[?LzKe ???? extern void myprint(int l，const char *format,...)__attribute__((format(printf,3,4)));  1g5z_fW ?