attribute的用法总结

ibute）。

__attribute__书写特征是：__attribute__前后都有两个下划线，并切后面会紧跟一对原括弧，括弧里面是相应的__attribute__参数。

__attribute__语法格式为：

__attribute__ ((attribute-list))

其位置约束为：

放于声明的尾部“；”之前。

函数属性（Function Attribute
）

函数属性可以帮助开发者把一些特性添加到函数声明中，从而可以使编译器在错误检查方面的功能更强大。
__attribute__
机制也很容易同非
GNU
应用程序做到兼容之功效。

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
：

//m=1

；

n=2

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

//m=2

；

n=3

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

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

//m=3

；

n=4

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

其原因是，类成员函数的第一个参数实际上一个“隐身”的“
this
”指针。（有点
C++
基础的都知道点
this
指针，不知道你在这里还知道吗？）

__attribute__ const

该属性只能用于带有数值类型参数的函数上。当重复调用带有数值参数的函数时，由于返回值是相同的，所以此时编译器可以进行优化处理，除第一次需要运算外，其它只需要返回第一次的结果就可以了，进而可以提高效率。该属性主要适用于没有静态状态（
static state
）和副作用的一些函数，并且返回值仅仅依赖输入的参数。

为了说明问题，下面举个非常“糟糕”的例子，该例子将重复调用一个带有相同参数值的函数，具体如下：

extern int square(int n) __attribute__((const))

;

...

for (i = 0; i < 100; i++ )

{

total += square(5) + i;

}

通过添加
__attribute__((const))
声明
，编译器只调用了函数一次，以后只是直接得到了相同的一个返回值。

事实上，
const
参数不能用在带有指针类型参数的函数中，因为该属性不但影响函数的参数值，同样也影响到了参数指向的数据，它可能会对代码本身产生严重甚至是不可恢复的严重后果。

并且，带有该属性的函数不能有任何副作用或者是静态的状态，所以，类似
getchar
（）或
time
（）的函数是不适合使用该属性的。

__attribute__((noreturn)；

__attribute__((format(printf, 1, 2)))
;

__attribute__((noreturn, format(printf, 1, 2)))
;

struct test

编译器将以
16
字节（注意是字节
byte
不是位
bit
）对齐的方式分配一个变量

同时使用多个属性

可以在同一个函数声明里使用多个
__attribute__
，并且实际应用中这种情况是十分常见的。使用方式上，你可以选择两个单独的
__attribute__
，或者把它们写在一起，可以参考下面的例子：

/*

把类似

printf

的消息传递给

stderr

并退出

*/

extern void die(const char *format, ...)

或者写成

extern void die(const char *format, ...)

如果带有该属性的自定义函数追加到库的头文件里，那么所以调用该函数的程序都要做相应的检查。

需要说明的是，
__attribute__
适用于函数的声明而不是函数的定义。所以，当需要使用该属性的函数时，必须在同一个文件里进行声明

变量属性（
Variable Attributes
）

关键字
__attribute__
也可以对变量（
variable
）或结构体成员（
structure field
）进行属性设置。这里给出几个常用的参数的解释，更多的参数可参考本文给出的连接。

在使用
__attribute__
参数时，你也可以在参数的前后都加上“
__
”（两个下划线），例如，使用
__aligned__
而不是
aligned
，这样，你就可以在相应的头文件里使用它而不用关心头文件里是否有重名的宏定义。

aligned (alignment)

该属性规定变量或结构体成员的最小的对齐格式，以字节为单位。例如：

int x __attribute__ ((aligned (16))) = 0;

int x[2] __attribute__ ((packed));

};

packed

使用该属性可以使得变量或者结构体成员使用最小的对齐方式，即对变量是一字节对齐，对域（

field

）是位对齐。

下面的例子中，

x

成员变量使用了该属性，则其值将紧放置在

a

的后面：

[code]

{

char a;

[/code]

类型属性（
Type Attribute
）

关键字
__attribute__
也可以对结构体（
struct
）或共用体（
union
）进行属性设置。大致有六个参数值可以被设定，即：
aligned, packed, transparent_union, unused, deprecated
和
may_alias
。

在使用
__attribute__
参数时，你也可以在参数的前后都加上“
__
”（两个下划线），例如，使用
__aligned__
而不是
aligned
，这样，你就可以在相应的头文件里使用它而不用关心头文件里是否有重名的宏定义。

aligned (alignment)

该属性设定一个指定大小的对齐格式（以字节为单位），例如：

struct S { short f[3]; } __attribute__ ((aligned (8)));

typedef int more_aligned_int __attribute__ ((aligned (8)));

该声明将强制编译器确保（尽它所能）变量类型为struct S
或者more-aligned-int
的变量在分配空间时采用8
字节对齐方式。

如上所述，你可以手动指定对齐的格式，同样，你也可以使用默认的对齐方式。如果
aligned
后面不紧跟一个指定的数字值，那么编译器将依据你的目标机器情况使用最大最有益的对齐方式。例如：

struct S { short f[3]; } __attribute__ ((aligned));

这里，如果
sizeof
（
short
）的大小为
2
（
byte
），那么，
S
的大小就为
6
。取一个
2
的次方值，使得该值大于等于
6
，则该值为
8
，所以编译器将设置
S
类型的对齐方式为
8
字节。

aligned
属性使被设置的对象占用更多的空间，相反的，使用
packed
可以减小对象占用的空间。

需要注意的是，
attribute
属性的效力与你的连接器也有关，如果你的连接器最大只支持
16
字节对齐，那么你此时定义
32
字节对齐也是无济于事的。

packed

使用该属性对
struct
或者
union
类型进行定义，设定其类型的每一个变量的内存约束。当用在
enum
类型定义时，暗示了应该使用最小完整的类型（
it indicates that the smallest integral type should be used
）。

下面的例子中，
my-packed-struct
类型的变量数组中的值将会紧紧的靠在一起，但内部的成员变量
s
不会被“
pack
”，如果希望内部的成员变量也被
packed
的话，
my-unpacked-struct
也需要使用
packed
进行相应的约束。

struct my_unpacked_struct

{

char c;

int i;

};

struct my_packed_struct

{

char c;

int
i;

struct my_unpacked_struct s;

}__attribute__ ((__packed__));

转自：http://blogold.chinaunix.net/u/26185/showart_2202897.html