GCC 扩展

GNU C 允许声明函数、变量和类型的特殊属性，以便手工的代码优化和更仔细的代

码检查。要指定一个声明的属性，在声明后写

__attribute__ (( ATTRIBUTE ))

其中 ATTRIBUTE 是属性说明，多个属性以逗号分隔。GNU C 支持十几个属性，这

里介绍最常用的：

* noreturn

属性 noreturn 用于函数，表示该函数从不返回。这可以让编译器生成稍微优化的

代码，最重要的是可以消除不必要的警告信息比如未初使化的变量。例如：

++++ include/linux/kernel.h

47: # define ATTRIB_NORET  __attribute__((noreturn)) ....

61: asmlinkage NORET_TYPE void do_exit(long error_code)

ATTRIB_NORET;

* format (ARCHETYPE, STRING-INDEX, FIRST-TO-CHECK)

属性 format 用于函数，表示该函数使用 printf, scanf 或 strftime 风格的参

数，使用这类函数最容易犯的错误是格式串与参数不匹配，指定 format 属性可以

让编译器根据格式串检查参数类型。例如：

++++ include/linux/kernel.h?

89: asmlinkage int printk(const char * fmt, ...)

90:         __attribute__ ((format (printf, 1, 2)));

表示第一个参数是格式串，从第二个参数起根据格式串检查参数。

* unused

属性 unused 用于函数和变量，表示该函数或变量可能不使用，这个属性可以避免

编译器产生警告信息。

* section ("section-name")

属性 section 用于函数和变量，通常编译器将函数放在 .text 节，变量放在

.data 或 .bss 节，使用 section 属性，可以让编译器将函数或变量放在指定的

节中。例如：

++++ include/linux/init.h

78: #define __init          __attribute__ ((__section__ (".text.init")))

79: #define __exit          __attribute__ ((unused,

__section__(".text.exit")))

80: #define __initdata      __attribute__ ((__section__ (".data.init")))

81: #define __exitdata      __attribute__ ((unused, __section__

(".data.exit")))

82: #define __initsetup     __attribute__ ((unused,__section__

(".setup.init")))

83: #define __init_call     __attribute__ ((unused,__section__

(".initcall.init")))

84: #define __exit_call     __attribute__ ((unused,__section__

(".exitcall.exit")))

连接器可以把相同节的代码或数据安排在一起，Linux

内核很喜欢使用这种技术，

例如系统的初始化代码被安排在单独的一个节，在初始化结束后就可以释放这部分

内存。

* aligned (ALIGNMENT)

属性 aligned 用于变量、结构或联合类型，指定变量、结构域、结构或联合的对

齐量，以字节为单位，例如：

++++ include/asm-i386/processor.h

294: struct i387_fxsave_struct {

295:         unsigned short  cwd;

296:         unsigned short  swd;

297:         unsigned short  twd;

298:         unsigned short  fop;

299:         long    fip;

300:         long    fcs;

301:         long    foo;

......

308: } __attribute__ ((aligned (16)));

表示该结构类型的变量以 16 字节对齐。通常编译器会选择合适的对齐量，显示指

定对齐通常是由于体系限制、优化等原因。

* packed

属性 packed 用于变量和类型，用于变量或结构域时表示使用最小可能的对齐，用

于枚举、结构或联合类型时表示该类型使用最小的内存。例如：

++++ include/asm-i386/desc.h

51: struct Xgt_desc_struct {

52:         unsigned short size;

53:         unsigned long address __attribute__((packed));

54: };

域 address 将紧接着 size 分配。属性 packed 的用途大多是定义硬件相关的结

构，使元素之间没有因对齐而造成的空洞。