`
shake863
  • 浏览: 664436 次
  • 性别: Icon_minigender_1
  • 来自: 北京
社区版块
存档分类
最新评论

GNU C的 __attribute__ 机制

阅读更多

GNU C 的一大特色(却不被初学者所知)就是 __attribute__ 机制。 __attribute__ 可以设置函数属性( Function Attribute )、变量属性( Variable Attribute )和类型属性( Type Attribute )。

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

__attribute__ 语法格式为:

__attribute__ ((attribute-list ))

其位置约束为:

放于声明的尾部“;”之前。

函数属性(Function Attribute

函数属性可以帮助开发者把一些特性添加到函数声明中,从而可以使编译器在错误检查方面的功能更强大。 __attribute__ 机制也很容易同非 GNU 应用程序做到兼容之功效。

GNU CC 需要使用 –Wall 编译器来击活该功能,这是控制警告信息的一个很好的方式。下面介绍几个常见的属性参数。

__attribute__ format

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

format 的语法格式为:

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

       format 属性告诉编译器,按照 printf, scanf, strftime strfmon 的参数表格式规则对该函数的参数进行检查。 archetype 指定是哪种风格; string-index 指定传入函数的第几个参数是格式化字符串; first-to-check 指定从函数的第几个参数开始按上述规则进行检查。

具体使用格式如下:

__attribute__((format(printf,m ,n )))

__attribute__((format(scanf,m ,n )))

其中参数 m n 的含义为:

m :第几个参数为格式化字符串( format string );

n :参数集合中的第一个,即参数“ ”里的第一个参数在函数参数总数排在第几,注意,有时函数参数里还有“隐身”的呢,后面会提到;

在使用上, __attribute__((format(printf,m ,n ))) 是常用的,而另一种却很少见到。下面举例说明,其中 myprint 为自己定义的一个带有可变参数的函数,其功能类似于 printf

//m=1 n=2

extern void myprint(const char *format,...) __attribute__((format(printf,1,2)));

//m=2 n=3

extern void myprint(int l const char *format,...) __attribute__((format(printf,2,3)));

需要特别注意的是,如果 myprint 是一个函数的成员函数,那么 m n 的值可有点“悬乎”了,例如:

//m=3 n=4

extern void myprint(int l const char *format,...) __attribute__((format(printf,3,4)));

其原因是,类成员函数的第一个参数实际上一个“隐身”的“ this ”指针。(有点 C++ 基础的都知道点 this 指针,不知道你在这里还知道吗?)

这里给出测试用例: attribute.c ,代码如下:

1

2 extern void myprint(const char *format,...) __attribute__((format(printf,1,2)));

3

4 void test()

5 {

6   myprint("i=%d\n",6);

7   myprint("i=%s\n",6);

8   myprint("i=%s\n","abc");

9   myprint("%s,%d,%d\n",1,2);

10 }

 

运行 $gcc –Wall –c attribute.c attribute 后,输出结果为:

 

attribute.c: In function `test':

attribute.c:7: warning: format argument is not a pointer (arg 2)

attribute.c:9: warning: format argument is not a pointer (arg 2)

attribute.c:9: warning: too few arguments for format

 

如果在 attribute.c 中的函数声明去掉 __attribute__((format(printf,1,2))) ,再重新编译,既运行 $gcc –Wall –c attribute.c attribute 后,则并不会输出任何警告信息。

注意,默认情况下,编译器是能识别类似 printf 的“标准”库函数。

__attribute__ noreturn

该属性通知编译器函数从不返回值,当遇到类似函数需要返回值而却不可能运行到返回值处就已经退出来的情况,该属性可以避免出现错误信息。 C 库函数中的 abort ()和 exit ()的声明格式就采用了这种格式,如下所示:

 

extern void exit(int)   
__attribute__((noreturn))
;
extern void abort(void) __attribute__((noreturn))
;
 

为了方便理解,大家可以参考如下的例子:

 

//name: noreturn.c  ;测试 __attribute__((noreturn))

extern void myexit();

 

int test(int n)

{

        if ( n > 0 )

       {

                myexit();

              /* 程序不可能到达这里 */

       }

        else

                return 0;

}

 

编译显示的输出信息为:

 

$gcc –Wall –c noreturn.c

noreturn.c: In function `test':

noreturn.c:12: warning: control reaches end of non-void function

 

警告信息也很好理解,因为你定义了一个有返回值的函数 test 却有可能没有返回值,程序当然不知道怎么办了!

加上 __attribute__((noreturn)) 则可以很好的处理类似这种问题。把

extern void myexit();

修改为:

extern void myexit() __attribute__((noreturn));

之后,编译不会再出现警告信息。

__attribute__ const

该属性只能用于带有数值类型参数的函数上。当重复调用带有数值参数的函数时,由于返回值是相同的,所以此时编译器可以进行优化处理,除第一次需要运算外,其它只需要返回第一次的结果就可以了,进而可以提高效率。该属性主要适用于没有静态状态( static state )和副作用的一些函数,并且返回值仅仅依赖输入的参数。

为了说明问题,下面举个非常“糟糕”的例子,该例子将重复调用一个带有相同参数值的函数,具体如下:

 

extern int square(int n) __attribute__((const))
;
...
               
for (i = 0; i < 100; i++ )
               
{
                               
total += square(5) + i;
               
}

 

通过添加 __attribute__((const)) 声明 ,编译器只调用了函数一次,以后只是直接得到了相同的一个返回值。

事实上, const 参数不能用在带有指针类型参数的函数中,因为该属性不但影响函数的参数值,同样也影响到了参数指向的数据,它可能会对代码本身产生严重甚至是不可恢复的严重后果。

并且,带有该属性的函数不能有任何副作用或者是静态的状态,所以,类似 getchar ()或 time ()的函数是不适合使用该属性的。

-finstrument-functions

该参数可以使程序在编译时,在函数的入口和出口处生成 instrumentation 调用。恰好在函数入口之后并恰好在函数出口之前,将使用当前函数的地址和调用地址来调用下面的 profiling 函数。(在一些平台上, __builtin_return_address 不能在超过当前函数范围之外正常工作,所以调用地址信息可能对 profiling 函数是无效的。)

 

void __cyg_profile_func_enter(void *this_fn, void *call_site);

void __cyg_profile_func_exit(void *this_fn, void *call_site);

 

其中,第一个参数 this_fn 是当前函数的起始地址,可在符号表中找到;第二个参数 call_site 是指调用处地址。

instrumentation 也可用于在其它函数中展开的内联函数。从概念上来说, profiling 调用将指出在哪里进入和退出内联函数。这就意味着这种函数必须具有可寻址形式。如果函数包含内联,而所有使用到该函数的程序都要把该内联展开,这会额外地增加代码长度。如果要在 C 代码中使用 extern inline 声明 ,必须提供这种函数的可寻址形式。

可对函数指定 no_instrument_function 属性,在这种情况下不会进行 instrumentation 操作 。例如,可以在以下情况下使用 no_instrument_function 属性:上面列出的 profiling 函数、高优先级的中断例程以及任何不能保证 profiling 正常调用的函数。

no_instrument_function

如果使用了 -finstrument-functions ,将在绝大多数用户编译的函数的入口和出口点调用 profiling 函数。使用该属性,将不进行 instrument 操作。

constructor/destructor

若函数被设定为 constructor 属性,则该函数会在 main ()函数执行之前被自动的执行。类似的,若函数被设定为 destructor 属性,则该函数会在 main ()函数执行之后或者 exit ()被调用后被自动的执行。拥有此类属性的函数经常隐式的用在程序的初始化数据方面。

这两个属性还没有在面向对象 C 中实现。

同时使用多个属性

可以在同一个函数声明里使用多个 __attribute__ ,并且实际应用中这种情况是十分常见的。使用方式上,你可以选择两个单独的 __attribute__ ,或者把它们写在一起,可以参考下面的例子:

 

/* 
把类似
printf
的消息传递给
stderr 
并退出
 */
extern void die(const char *format, ...)
               
__attribute__((noreturn))

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

 
或者写成

 
extern void die(const char *format, ...)
               
__attribute__((noreturn, format(printf, 1, 2)))
;
 

如果带有该属性的自定义函数追加到库的头文件里,那么所以调用该函数的程序都要做相应的检查。

 

和非 GNU 编译器的兼容性

庆幸的是, __attribute__ 设计的非常巧妙,很容易作到和其它编译器保持兼容,也就是说,如果工作在其它的非 GNU 编译器上,可以很容易的忽略该属性。即使 __attribute__ 使用了多个参数,也可以很容易的使用一对圆括弧进行处理,例如:

 

/* 
如果使用的是非
GNU C, 
那么就忽略
__attribute__ */
#ifndef __GNUC__
#  
define  
__attribute__(x)  
/*NOTHING*/
#endif

 

需要说明的是, __attribute__ 适用于函数的声明而不是函数的定义。所以,当需要使用该属性的函数时,必须在同一个文件里进行声明,例如:

 

/* 
函数声明
 */
void die(const char *format, ...) __attribute__((noreturn))

                                  
__attribute__((format(printf,1,2)))
;
 
void die(const char *format, ...)
{
               
/* 
函数定义
 */
}
 
更多的属性含义参考:

http://gcc.gnu.org/onlinedocs/gcc-4.0.0/gcc/Function-Attributes.html


 

变量属性( Variable Attributes

关键字 __attribute__ 也可以对变量( variable )或结构体成员( structure field )进行属性设置。这里给出几个常用的参数的解释,更多的参数可参考本文给出的连接。

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

aligned (alignment)

该属性规定变量或结构体成员的最小的对齐格式,以字节为单位。例如:

 

int x __attribute__ ((aligned (16))) = 0;
 

编译器将以 16 字节(注意是字节 byte 不是位 bit )对齐的方式分配一个变量。也可以对结构体成员变量设置该属性,例如,创建一个双字对齐的 int 对,可以这么写:

 

struct foo { int x[2] __attribute__ ((aligned (8))); };
 

如上所述,你可以手动指定对齐的格式,同样,你也可以使用默认的对齐方式。如果 aligned 后面不紧跟一个指定的数字值,那么编译器将依据你的目标机器情况使用最大最有益的对齐方式。例如:

 

short array[3] __attribute__ ((aligned));
 

选择针对目标机器最大的对齐方式,可以提高拷贝操作的效率。

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

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

packed

使用该属性可以使得变量或者结构体成员使用最小的对齐方式,即对变量是一字节对齐,对域( field )是位对齐。

下面的例子中, x 成员变量使用了该属性,则其值将紧放置在 a 的后面:

 

               
struct test

          
{
            
char a;
            
int x[2] __attribute__ ((packed));
          
};
 

其它可选的属性值还可以是: cleanup common nocommon deprecated mode section shared tls_model transparent_union unused vector_size weak dllimport dlexport 等,

详细信息可参考:

分享到:
评论

相关推荐

    GNU_CC中的attribute

    GNU CC 是一种基于 GCC(GNU Compiler Collection)的C编译器,它提供了许多扩展功能,其中一个重要的特性就是__attribute__机制。__attribute__允许程序员在声明函数、变量或类型时添加额外的元数据,以便让编译器...

    __attribute__

    在 C 语言中,`__attribute__` 是 GNU 编译器集合 (GCC) 的一个扩展特性,它允许开发人员向函数、变量或类型添加元数据,从而增强编译时的错误检查能力并优化代码性能。虽然这个特性并不广泛出现在初学者教程中,但...

    GCC的__attribute__扩展功能

    GCC 的__attribute__扩展功能 本文将详细介绍 GCC 的__attribute__扩展功能,__...__attribute__机制是 GNU C 的一个非常有用的功能,它可以帮助开发者提高编译器的错误检查功能,从而提高代码的可靠性和可维护性。

    gnu-c-manual_manual_GNU_源码

    《GNU C 手册》是学习C语言编程在Linux环境下不可或缺的参考资料,它由GNU组织编写,旨在提供全面、深入的C语言指南。手册详细介绍了GNU C编译器GCC的使用,以及如何在Linux系统中进行程序开发。下面将根据标题和...

    利用GNU工具链ucos移植到X86平台

    - **中断服务例程(ISRs)**: uC/OS中的中断服务例程需要根据X86的中断处理机制进行重写,例如,使用`__attribute__((interrupt))`声明中断服务函数。 - **硬件抽象层(HAL)**: 创建或调整硬件抽象层,以便uC/OS可以...

    单片机 MCU 固件打包脚本软件.doc

    在GNU C和ARM编译器中,`__attribute__((section("section_name")))`可以将定义的函数或数据放入指定的内存段。 以MDK(Keil uVision)和STM32开发为例,虽然可以直接修改链接文件(如`.sct`文件)来控制程序在内存...

    gcc_arm启动

    __attribute__((section(".isr_vector"))) /* 定义异常向量表位于isr_vector段 */ __ISR_FUNC g_pfnVectors[] = { __ISR_FUNC &_eusrstack, /* 0x0000_0000 用户栈顶 */ Reset_Handler, /* 0x0000_0004 复位处理...

    C语言中怎么在main函数开始前执行函数

    总的来说,C语言本身并没有直接提供在`main`函数开始前执行函数的机制,但通过编译器特定的扩展,我们可以实现类似的功能。在GCC中,`__attribute__((constructor))`和`__attribute__((destructor))`是很好的选择,...

    Linux内核GCC特性

    GCC(GNU Compiler Collection)是GNU项目的一部分,它不仅是一个C语言编译器,还包含其他语言的编译器如C++、Objective-C、Fortran等。Linux作为开源操作系统的核心,其内核开发离不开强大的编译工具支持。GCC提供...

    重点linux源码分析.docx

    Linux 内核的开发主要基于GNU的C语言,并且利用了GCC(GNU Compiler Collection)作为编译工具。GCC不仅支持C语言,还整合了C++的一些特性,使得Linux内核得以利用更丰富的编程手段。在源码分析中,有以下几个关键...

    c语言高级实用编程技巧

    9. **异常处理**:虽然C语言本身不支持异常处理,但可以通过设置错误返回值、自定义错误处理函数等方式模拟异常处理机制。 10. **标准库和头文件**:熟悉并合理利用C标准库(如`stdio.h`、`stdlib.h`、`string.h`等...

    C语言核心技术

    - **动态内存管理**:C语言不提供自动内存管理机制,因此程序员需要手动分配和释放内存。掌握动态内存管理技巧对于避免内存泄漏至关重要。 - **输入输出**:C语言的标准库提供了丰富的输入输出函数,如`printf()`、`...

    怎样为arm写c代码

    在C代码中,可以定义中断服务例程,并使用`__attribute__((section(".isr_vector")))`等属性来指定中断向量的位置。 6. **硬件中断和软件中断**: 硬件中断是由外部设备触发的,而软件中断则是由软件代码主动引发...

    疯狂内核之——Linux预备知识.pdf

    #### 1.6 __attribute__ 机制 **1.6.1 函数属性** `__attribute__` 是GCC提供的一种特性,允许开发者指定函数的特定属性,如返回值类型、参数约束等。这些属性可以用来提高代码的安全性和性能。 **1.6.2 变量属性...

    gcc常用命令(这几天用到的)

    在编程世界中,GCC(GNU Compiler Collection)是一个广泛使用的开源编译器,它支持多种编程语言,包括C、C++等。GCC不仅提供基础的编译功能,还有一系列的命令行选项,允许程序员对编译过程进行精细控制。本文将...

    gcc3.4完全手册

    GCC(GNU Compiler Collection)是GNU项目下的一款开源编译器套件,由Richard M. Stallman与GCC开发社区共同维护更新。它支持多种编程语言,如C、C++、Objective-C等,并且能够针对不同的处理器架构生成优化过的机器...

    gcc编译器文档

    GNU Compiler Collection(GCC)是一套由自由软件基金会发布的开源编译器集合,支持多种编程语言,包括但不限于C、C++、Objective-C、Objective-C++、Go等。GCC不仅在开源社区中广泛使用,在商业领域也具有重要的...

Global site tag (gtag.js) - Google Analytics