近来阅读glibc源码的时候遇到很多关于__attribute__的问题,索性就查找了相关的资料,学习了一下.
要是不解决了这个问题,有的时候还真的是比较难下手.就拿glibc来说,使用xcscope搜索POSIX pthread
函数: pthread_create,得到的结果如下:
如果一路跟进函数的话,最后会发现这样子的一个宏定义:
下面是GNU glibc开发人员对此类宏的注释,看起来直白一点:
现在只是知道,在链接的时候,寻找pthread_create会被链接到__pthread_create_2.1/__pthread_create_2.0.
上面展现的是GNU glibc中很常用的编程技巧,这不是本文的重点,关于这点,我也没有深究.如果,有了解的同学可以给我留信息哈.希望多多指教.
下面来说说另外一种,glibc中很多地方都使用别名机制,都合 gnu gcc的 __attribute__ mechanism有关系.在gcc的文档中有关于 Attribute syntax 的章节,
其中就讲解了_attribute__ mechanism. 参考链接如下:
Attribute Syntax: /onlinedocs/gcc-4.7.1/gcc/Attribute-Syntax.html#Attribute-Syntax
Attribute Syntax分为三个部分:
Function Attribute: 函数attribute语义
Variable Attribute: 变量attribute语义
Type Attribute: 类型attribute语义
下面就各选取第一部分中一些内容,解释一下:
一、Function Attribute:
1.__attribute__((alias)): 为一个symbol声明一个别名
return-type newname([arguments-list]) __attribute__((alias("oldname")))
oldname: 原始函数名
newname: 原始函数的别名
来看看glibc中 _strong_alias宏的实现:
最后一句中 __typeof(name) 就是原始函数的返回类型, aliasname是别名, 后面的就不需要解释了吧...
下面看一段小程序吧:
#include <stdio.h>#include <stdlib.h>void foo(){printf("\nInside %s\n",__FUNCTION__);}void _foo() __attribute__((alias("foo")));//@Author : forestint main(int args,char ** argv){_foo();return EXIT_SUCCESS;}
输出很简单,就是通过别名调用了原始函数.
2.__attribute__((const)): const这个attribute是在gcc2.5以后添加的,以前的旧版本是没有的.const attribute只能用于带有数值参数类型的函数上.
因为带有数值参数的函数返回值是相同的,所以在多次调用的时候,编译器进行优化,只需要执行一次就可以得到执行的结果.
const attribute是让编译器进行优化.
int Function_Attribute_const_0(int b) __attribute__((const));int Function_Attribute_const_0(int b){int aLocal = 0;aLocal += Function_Attribute_const_0(b);aLocal += Function_Attribute_const_0(b);return aLocal;}
其中的"Function_Attribute_const_0(int)"函数将会执行一次.
3.__attribute__((constructor|destructor(PRIORITY))): 这个在上篇博文中已经说过了:GNU C - 一个别致的HelloWorld程序 引申到: __attribute__((constructor)|(destructor)(PRIORITY))
4.__attribute__((deprecated)): deprecated,弃用. 如果在源文件在任何地方地方使用deprecated attribute函数,编译器将会发出警告.
__attribute__((deprecated(MSG))): MSG,将在编译器warnning中输出.
下面改写一下前面的小例子:
#include <stdio.h>#include <stdlib.h>__attribute__((deprecated("foo函数已经被弃用"))) void foo() {printf("\nInside %s\n",__FUNCTION__);}void _foo() __attribute__((alias("foo")));//@Author : forestint main(int args,char ** argv){_foo();foo();return EXIT_SUCCESS;}
Output:
可以看出在上面的例子中,声明foo()被弃用,在main()中被调用在编译的时候会抛出warnning.但是使用别名调用就不会输出
warnning.官网的资料中关于这点没有相关介绍,以实践为准吧.
5.__attribute__(format(archetype,string-index,first-to-check)): format attribute提供了对printf, scanf, strftime, strfmon类型函数
的参数和对应format类型的检查.(这英文翻译起来有点别扭,将就一下吧~)
glibc中有很多关于format attribute的使用:
archtype: 决定format string将会被怎样解释.解释的类型应该是printf, scanf, strftime, gnu_printf, gnu_scanf, gnu_strftime..(也可以像glibc一样使用__printf__,
__scanf__,__strftime ...以下划线开始和结尾).
string-index: 函数的参数从左到右以此序号为1,2,3递增.string-index就是fmt的序号.
first-to-check: 参数列表中第一个和fmt形式比较的参数.
#include <stdio.h>#include <stdlib.h>void foo(const char *fmt,...) \__attribute__((__format__(__printf__,1,2)));//@Author : forestint main(int args,char ** argv){//@testfoo("\n%d %d","test_a","test_b");return EXIT_SUCCESS;}void foo(const char *fmt,...){/*do nothing*/}
输出结果如下:
6.__attribute__((weak)): weak symbol,弱符号. 若存在两个相同的全局符号时,会引发重定义错误. 如果使用weak attribute,则当
weak symbol和non-weak symbol同时存在的时候,linker会使用non-weak symbol.若只有weak symbol
存在的时候则只使用weak symbol.
glibc中有大量的实例:
补充: __attribute__ 后面的属性字段也是可以连在一起用的。
到这里,第一部分就算完了。如果粗略看了一下这些,阅读一些源码库基本上就不会出现找不到函数实现的问题了.
扫平一切障碍~