GCC使用__attribute__关键字来描述函数,变量和数据类型的属性,用于编译器对源代码的优化。
描述函数属性的几个重要的关键字:
void noreturnfun() __attribute__((noreturn));//函数不会返回。
void centon() __attribute__((alias("__centon")));//设置函数别名,函数是__cencon,别名是centon.
void main_enter() __attribute__((constructor));//main_enter函数在进入main函数前调用
void main_exit() __attribute__((destructor));//main_exit函数在main函数返回后调用
void fun() __attribute__ ((noinline));//fun函数不能作为inline函数优化
void fun() __attribute__ ((section("specials”)));//将函数放到specials段中,而不是通常的text段中
no_instrument_function、constructor和destructor关键字主要用于剖析(profiling)源代码的。
在调某个用函数之前和退出某个函数之后调用这些剖析函数,配合addr2line工具可以统计程序的运行状态。__cyg_profile_func_enter和__cyg_profile_func_exit是GCC指定的进入和返回调用的函数名。配合no_instrument_function关键字属性可以使用它记录剖析数据,在编译这样的代码的时候,需要在gcc的命令行中加入-finstrument-functions选项,如果要使用addr2line工具分析源代码,则还要加上-g的gcc命令行选项使得源代码中的符号可以保留。这2个函数需要2个参数,void *func_address是将要调用的函数地址,void *call_site是调用该函数的地址。
void __cyg_profile_func_enter( void *func_address, void *call_site )
__attribute__ ((no_instrument_function));
void __cyg_profile_func_exit ( void *func_address, void *call_site )
__attribute__ ((no_instrument_function));
constructor和destructo是对main函数做上述剖析的关键字,不过这个函数的名称就可以不特定了,而且这样的函数没有参数。如下:
void __main_enter(void) __attribute__ ((constructor));
void __main_exit(void) __attribute__ ((destructor));
描述变量属性的几个重要的关键字:
int alivalue __attribute__ ((aligned(32)));//变量所存放的内存地址32字节边界对齐
struct zrecord {
char id;
int zar[32] __attribute__ ((packed));
};//紧凑安排数据结构中的成员元素。如果不使用packed属性则将zar数组按最小的对齐方式在内存中安排空间,X86平台为4,这样在id和zar之间将会有3个字节的空洞存在。而使用了packed属性后,将不会存在这样的空洞。这次属性是依赖与硬件平台的。
struct domx __attribute__ ((section(“domx”))) = { 0 };
int trigger __attribute__ ((section(“MONLOG”))) = 0; //不将全局变量放在默认的data或bss段中。而指定特定的段中。
描述数据类型的几个重要的关键字:
struct blockm{
char j[3];
}__attribute__((aligned(32)));//此数据类型的变量的内存地址32字节边界对齐
复合声明返回值(Compound Statements Returning a Value):
在一对圆括号中的最后一个表达式所计算的值为返回值。如:
int rslt = ({
int a=5;
a+3;
});//rslt所获得的返回值为8
这个特性的通常用处可书的P87(文档P112)参考。
函数参数构造(Function Argument Construction):
GCC内建了3个函数,用于对某一函数的参数构造,调用相关函数,获得相关函数的返回值。
void *__builtin_apply_args(void);//构造调用此函数的父函数的参数,这些参数都是保存在函数栈(stack)中的。
void *__builtin_apply(void (*func)(), void *arguments, int size);//调用相关函数,第一参数是相关函数的执政,第二个参数是刚才构造参数的函数的返回的指针,第三个参数是建立一个新的栈(stack)而从旧栈中复制数据的尺寸。
__builtin_return(void *result);//获得相关函数的返回。参数是刚才调用相关函数的函数的返回指针。
如:
#include <stdio.h>
int passthrough();
int average();
int main(int argc,char *argv[])
{
int result;
result = passthrough();
printf(“result=%d\n”,result);
return (0);
}
int passthourgh(int a,int b,int c)
{
void *record;
void *playback;
void (* fn)() = (void (*) ()) average;
record = __builtin_apply_args();
playback = __builtin_apply(fn,record,128);
__builtin_return(playback);
}
int average(int a,int b,int c)
{
Return ((a+b+c)/3;
}
内联函数(Inline function):
内联函数在某些情况下类似与宏(macro)。
在一定条件下编译,内联函数将直接将代码内嵌到调用它的父函数中,编译时指定-O选项才可能被内嵌。也可以指定内嵌函数一个属性“always_inline”强制内嵌。
有几种情况将不内嵌,而作为普通函数调用:
1、 不确定数量参数的函数
2、 调用alloca类库函数的
3、 有可变尺寸数组声明的。
4、 非本地goto的。
5、 嵌套调用的。
使用ISO C标准的时候,可以使用__inline__关键字代替inline关键字。