__attribute__

Posted 2021-02-19 huanian

__attribute__ 可以设置函数属性（Function Attribute ）、变量属性（Variable Attribute ）和类型属性（Type Attribute ）。

__attribute__ 语法格式为：xxx声明 __attribute__ ((attribute-list))；

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

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

***********************************************************************************************************************************************************************************

aligned 

1 struct S {
2 
3 short b[3];
4 
5 } __attribute__((aligned (8)));
6 
7 
8 typedef int int32_t __attribute__((aligned (8)));

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

如上所述，你可以手动指定对齐的格式，同样,你也可以使用默认的对齐方式。这种情况下，编译器将依据你的目标机器情况使用最大最有益的对齐方式。

1 struct S {
2 
3 short b[3];
4 
5 } __attribute__ ((aligned));

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

***********************************************************************************************************************************************************************************

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

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

***********************************************************************************************************************************************************************************

函数属性（Function Attribute）
函数属性可以帮助开发者把一些特性添加到函数声明中，从而可以使编译器在错误检查方面的功能更强大。

__attribute__ format
该__attribute__属性可以给被声明的函数加上类似printf或者scanf的特征，它可以使编译器检查函数声明和函数实际调用参数之间的格式化字符串是否匹配。该功能十分有用，尤其是处理一些很难发现的bug。

format的语法格式为：
format (archetype, string-index, first-to-check)
          format属性告诉编译器，按照printf, scanf, strftime或strfmon的 archetype 规则对该函数的参数进行检查。

具体使用格式如下：
__attribute__((format(printf,m,n)))
__attribute__((format(scanf,m,n)))

其中参数m与n的含义为：

　　　　m：函数第m个参数为格式化字符串;
　　　　n：第m个参数在函数参数总数排在第n。

 

 1 #include <stdio.h>
 2 #include <stdarg.h>
 3  
 4 #ifndef
 5 #define CHECK_FMT(a, b)    __attribute__((format(printf, a, b)))
 6 #endif
 7  
 8 void TRACE(const char *fmt, ...) CHECK_FMT(1, 2);//函数声明
 9  
10 void TRACE(const char *fmt, ...)
11 {
12     va_list ap;
13  
14     va_start(ap, fmt);
15  
16     printf(fmt, ap);
17  
18     va_end(ap);
19 }
20  
21 int main(void)
22 {
23     TRACE("iValue = %d
", 6);
24     TRACE("iValue = %d
", "test");//错误
25  
26     return 0;
27 }

1 main.cpp: In function ‘int main()’:
2 main.cpp:26:31: warning: format ‘%d’ expects argument of type ‘int’, but argument 2 has type ‘const char*’ [-Wformat=]
3   TRACE("iValue = %d
", "test");