gcc_attribute机制.pdfVIP

gccattribute gccattribute ggccccaattttrriibbuuttee 机制 GNU C的一大特色（却不被初学者所知）就是__attribute__机制。__attribute__可以设置函数 属性（Function Attribute）、变量属性（VariableAttribute）和类型属性（Type Attribute）。 __attribute__书写特征是：__attribute__前后都有两个下划线，并切后面会紧跟一对原括弧， 括弧里面是相应的__attribute__参数。 __attribute__语法格式为： __attribute__ ((attribute-list)) 其位置约束为： 放于声明的尾部“；”之前。 函数属性（Function Attribute） 函数属性可以帮助开发者把一些特性添加到函数声明中，从而可以使编译器在错误检查方面的功 能更强大。__attribute__机制也很容易同非GNU应用程序做到兼容之功效。 GNUCC需要使用 –Wall编译器来击活该功能，这是控制警告信息的一个很好的方式。下面介 绍几个常见的属性参数。 __attribute__format __attribute__format ____aattttrriibbuuttee____ffoorrmmaatt 该__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：第几个参数为格式化字符串（formatstring）； n：参数集合中的第一个，即参数“…”里的第一个参数在函数参数总数排在第几，注意，有时函 数参数里还有“隐身”的呢，后面会提到； 在使用上，__attribute__((format(printf,m,n)))是常用的，而另一种却很少见到。下面举例 说明，其中myprint为自己定义的一个带有可变参数的函数，其功能类似于printf： //m=1；n=2 externvoidmyprint(constchar*format,...) __attribute__((format(printf,1,2))); //m=2；n=3 externvoidmyprint(intl，constchar*format,...)__attribute__((format(printf,2,3))); 需要特别注意的是，如果myprint是一个函数的成员函数，那么m和n的值可有点“悬乎”了， 例如： //m=3；n=4 externvoidmyprint(intl，constchar*format,...)__attribute__((format(printf,3,4))); 其原因是，类成员函数的第一个参数实际上一个“隐身”的“this”指针。（有点C++基础的都知道 点this指针，不知道你在这里还知道吗？） 这里给出测试用例：attribute.c，代码如下： 1： 2：externvoidmyprint(constchar*format,...)__attribute__((format(printf,1,2))); 3： 4：voidtest()