attribute的用法总结

最新推荐文章于 2025-03-28 19:48:07 发布

转载最新推荐文章于 2025-03-28 19:48:07 发布 · 3.4k 阅读

文章标签：

#struct #编译器 #alignment #deprecated #attributes #structure

知识专栏收录该内容

26 篇文章

订阅专栏

本文详细介绍了C++中__attribute__机制的使用，包括函数属性、const参数、noreturn属性以及变量属性等。通过具体实例解析了如何在函数声明中添加属性以增强编译器的功能，并探讨了不同属性的应用场景与注意事项。

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

的后面：





 






           

{





             

char a;