linux 中__attribute__ 机制详解

__attribute 语法的来源

GNU C 的一大特色就是__attribute__ 机制。attribute 可以设置函数属性（Function Attribute）、变量属性（Variable Attribute）和类型属性（Type Attribute）。

其位置约束为： 放于声明的尾部“;” 之前

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

attribute 语法格式为: attribute ((attribute-list))

当__attribute__ 用于修饰对象时，它就如同C 语言语法体系结构的类型限定符，跟const , volatile , restrict 等属一类。
当__attribute__ 用于修饰函数时，它就相当于一个函数说明符，跟inline，Noreturn 属同一类。
当__attribute_ 用于修饰一个结构体，联合体或者枚举类型，该限定符只能放在类型标识符之前。

__attribute 所支持的类型

当我们需要识别当前编译器能否支持GNU 语法拓展，我们可以使用 __GNU __ 宏作为区分
 

函数属性(Function Attribute)	类型属性(Type Attributes)	变量属性(Variable Attribute)
noreturn	aligned	alias
noinline	packed	at(address)
always_inline	bitband	aligned
flatten		deprecated
pure		noinline
const		packed
constructor		weak
destructor		weakref(“target”)
sentinel		section(“name”)
format		unused
format_arg		used
section		visibility(“visibility_type”)
used		zero_init
unused
deprecated
weak
malloc
alias
warn_unused_result
nonnull
nothrow (不抛出C++ 异常)

常用函数属性

attribute((Noreturn))

表示没有返回值

• 这个属性告诉编译器函数不会返回，这可以用来抑制关于未达到代码路径的错误。 C库函数abort（）和exit（）都使用此属性声明：

attribute((always_inline))

对于声明为内联的函数，会强制优化。所有加了attribute((always_inline))的函数再被调用时不会被编译成函数调用而是直接扩展到调用函数体内。

attribute((noinline))

与上面的相反，声明为非内联函数

attribute((flatten))

用此修饰的函数，在函数中调用的每一个函数都将尽可能地做内联处理。而用flatten 属性修饰的函数，是否内联处理，就要根据编译器当前的编译选项以及当前上下文来定。

attribute((pure))

用pure属性修饰的函数用来说明该函数除了返回值之外没有其他任何 效果，并且该函数所返回的值仅仅依赖于函数的形参以及/或全局对象。用 pure属性所修饰的函数可以用来辅助编译器做消除公共子表达式以及帮助 做循环优化，使用这种函数就好比使用算术操作符一般。

用pure属性所修饰的函数体内不应该含有无限循环，不应该对volatile 修饰的全局对象进行访问或是对多个线程所共享的全局对象进行访问，也 不应该访问其他系统资源，比如对文件、套接字等进行操作。简而言之， 对同一个使用pure属性修饰的函数连续做两次调用（如果该函数带有参 数，那么两次调用应该用同样的实参），那么这两次调用所返回的结果应 该始终是相同的。因此，用pure属性所修饰的函数也很容易让编译器做内 联处理。

attribute((const))

用const属性修饰的函数与用pure属性修饰的十分类似，不过const属性比pure更严格，它要求函数不能读全局对象。此外，用const属性修饰的函数的参数不能是一个指针类型，而且在用const属性修饰的函数内往往不能调用一个非const属性的函数。

attribute((sentinel))

提醒程序员“此可变参数函数需要一个NULL作为最后一个参数。

attribute((format))

format属性可以给被声明的函数加上类似printf或者scanf的特征，它可以使编译器检查函数声明和函数实际调用参数之间的格式化字符串是否匹配。format属性告诉编译器，按照printf, scanf等标准C函数参数格式规则对该函数的参数进行检查。这在我们自己封装调试信息的接口时非常的有用。

format的语法格式为：

format (archetype, string-index, first-to-check)

其中，“archetype”指定是哪种风格；“string-index”指定传入函数的第几个参数是格式化字符串；“first-to-check”指定从函数的第几个参数开始按上述规则进行检查。
具体的使用如下所示：

attribute((format(printf, a, b)))
attribute((format(scanf, a, b)))

其中参数a与b的含义为：
　　　　a：第几个参数为格式化字符串(format string);
　　　　b：参数集合中的第一个，即参数“…”里的第一个参数在函数参数总数排在第几。

attribute((section(“name”)))

将作用的函数或数据放入指定名为"section_name"对应的段中

static void __attribute((section("__TEXT,MySection" ))) myFun1(void) {
    print("");
}

attribute((unused))

即使没有使用这个函数，编译器也不警告

attribute((used))

告诉编译器避免被链接器因为未用过而被优化掉。

attribute((visibility(“visibility_type”)))

visibility_type 类型有4种：

• default

default 可见性是默认的符号链接可见性，如果我们不指定visibility 属性，那么默认就使用默认的可见性。默认可见性的对象与函数可以直接在其他模块中引用，包括在动态链接库中 ，它属于一个正常，完整的外部连接。

• hidden

该符号不存放在动态符号表中，因此，其他可执行文件或共享库都无法直接引用它。使用函数指针可进行间接引用。

• internal

除非由 特定于处理器的应用二进制接口 (psABI) 指定，否则，内部可见性意味着不允许从另一模块调用该函数。

• protected

该符号存放在动态符号表中，但定义模块内的引用将与局部符号绑定。也就是说，另一模块无法覆盖该符号。

attribute((weak))

若两个或两个以上全局符号（函数或变量名）名字一样，而其中之一声明为weak symbol（弱符号），则这些全局符号不会引发重定义错误。链接器会忽略弱符号，去使用普通的全局符号来解析所有对这些符号的引用，但当普通的全局符号不可用时，链接器会使用弱符号。当有函数或变量名可能被用户覆盖时，该函数或变量名可以声明为一个弱符号。弱符号也称为weak alias（弱别名）。

attribute((weakref(“target”)))

请注意引用与定义的区别。weakref就是申明某个引用为弱引用，弱引用时如果需引用符号不存在也不会链接出错，而是将需要引用的符号定义为WEAK属性及0地址(跟前面的WEAK属性很相似吧)。

weakref的用法有点特别，必须要配合alias使用及必须是static定义。attribute((weak(“target”)))相当于
 

__attribute__((weakref,alias(“target”)))

attribute((malloc))

由如此标记的函数返回的块不得包含任何指向其他对象的指针.目的是帮助编译器估计哪些指针可能指向同一个对象：该属性告诉GCC它不必担心你的函数返回的对象可能包含指向它正在跟踪的其他东西的指针。

attribute((aligned)) 

aligned 属性修饰一个函数时，用于直至该函数的首地址至少需要 aligned 个字节对齐。

什么是字节对齐(可以跳过)

现代计算机中内存空间都是按照字节（byte）划分的，从理论上讲似乎对任何类型的变量的访问可以从任何地址开始，但实际情况是在访问特定变量的时候经常在特定的内存地址访问，这就需要各类型数据按照一定的规则在空间上排列，而不是顺序地一个接一个地排放，这就是对齐。

字节对齐的好处(可以跳过)

为了提高效率，计算机从内存中取数据是按照一个固定长度的。以32位机为例，它每次取32个位，也就是4个字节（每字节8个位)。字节对齐有什么好处？以int型数据为例，如果它在内存中存放的位置按4字节对齐，也就是说1个int的数据全部落在计算机一次取数的区间内，那么只需要取一次就可以了。

对齐原则：

• char 偏移量必须为sizeof(char) 即1的倍数,可以任意地址开始存储
• short 偏移量必须为sizeof(short) 即2的倍数,只能从0,2,4…等2的倍数的地址开始存储
• int 偏移量必须为sizeof(int) 即4的倍数,只能从0,4,8…等4的倍数的地址开始存储
• float 偏移量必须为sizeof(float) 即4的倍数,只能从0,4,8…等4的倍数的地址开始存储
• double 偏移量必须为sizeof(double)即8的倍数,只能从0,8,16…等地址开始存储

结构体如何设定字节对齐

• 当未明确指定时，以结构体中最长的成员的长度为其有效值,上面的两个结构体都是int类型最长,也就是4字节对齐
• 结构体作为成员:如果一个结构里有某些结构体成员,则结构体成员要从其内部最大元素大小的整数倍地址开始存储.(struct a里存有struct b,b里有char,int ,double等元素,那b应该从8的整数倍开始存储)
• 结构体的总大小,也就是sizeof的结果,必须是其内部最大成员的整数倍.不足的要补齐。