GCC __ATTRIBUTE__机制

在glibc源代码中你可能会看到大量的__attribute__关键字，譬如常用的stdio.h中开头处就能见到它的身影了

#ifndef _STDIO_H
# if defined __need_FILE || defined __need___FILE || defined _ISOMAC
#  include <libio/stdio.h>
# else
#  include <libio/stdio.h>

/* Now define the internal interfaces.  */
__BEGIN_DECLS

extern int __fcloseall (void);
extern int __snprintf (char *__restrict __s, size_t __maxlen,
		       const char *__restrict __format, ...)
     __attribute__ ((__format__ (__printf__, 3, 4)));
extern int __vsnprintf (char *__restrict __s, size_t __maxlen,
			const char *__restrict __format, _G_va_list __arg)
     __attribute__ ((__format__ (__printf__, 3, 0)));
extern int __vfscanf (FILE *__restrict __s,
		      const char *__restrict __format,
		      _G_va_list __arg)
     __attribute__ ((__format__ (__scanf__, 2, 0)));
libc_hidden_proto (__vfscanf)
extern int __vscanf (const char *__restrict __format,
		     _G_va_list __arg)
     __attribute__ ((__format__ (__scanf__, 1, 0)));
extern _IO_ssize_t __getline (char **__lineptr, size_t *__n,
			      FILE *__stream);
extern int __vsscanf (const char *__restrict __s,
		      const char *__restrict __format,
		      _G_va_list __arg)
     __attribute__ ((__format__ (__scanf__, 2, 0)));

作用

用于设置函数属性（Function Attribute ）、变量属性（Variable Attribute ）和类型属性（Type Attribute ）

书写格式

__attribute__ ((attribute-list)) //括弧里面是相应的__attribute__ 参数

常用格式

用于结构体中有大致六个参数值可以被设定，即：aligned, packed, transparent_union, unused, deprecated 和 may_alias

一般会采用__aligned__格式代替aligned是为了避免头文件中的重名冲突

aligned实例

#include<stdio.h>
#include <asm/types.h>

struct H{
	short b[3];
};
struct S{
	short b[3];
}__attribute((aligned(16))); //设定结构体属性按16字节单位对齐 

struct str_struct{
    __u64   e; 
    __u8    a;
    __u8    b;
    __u8    c;
    __u16   d;
} __attribute__ ((packed));//按照实际大小进行对齐，取消编译优化


int main(){
    struct S s;
    struct H h;
    printf("%d\n",sizeof(s)); // 16
    printf("%d\n",sizeof(h)); // 6
    printf("%d\n",sizeof(str)); // 13
    return 0;
}

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

作用于构造函数

#include <stdio.h>
#include <stdlib.h>

__attribute__((constructor)) void before()//将该函数声明为构造函数，会在main函数前执行
{
    printf("Hello");
}

__attribute__((destructor)) void after()//将该函数声明为结束函数，main函数结束后执行
{
    printf(" World!\n");
}

int main(int args,char ** argv)
{
    return EXIT_SUCCESS;
}
//输出：Hello World\n

在需要使用执行前不同处理函数级别时，可指定函数的优先级如下：__attribute__((constructor(PRIORITY)))

#include <stdio.h>
#include <stdlib.h>

__attribute__((constructor(102))) void before()
{
    printf("Hello");
}
__attribute__((constructor(101))) void in_before() //指定优先级高于brfore()
{
    printf("Look me! ");
}

__attribute__((destructor)) void after()
{
    printf(" World!\n");
}

int main(int args,char ** argv)
{
    return EXIT_SUCCESS;
}
//输出：Look me! Hello World\n

需要注意的是PRIORITY的值0~100作为系统内部使用

regparm实例

在 x86 上，regparm 属性会传递一个数值给编译器，这个数值会告诉编译器要用多少个寄存器来传递函数参数(EAX, EDX 或 ECX，最多 3 个寄存器)

//gcc -o demo3 -w -g -m32 demo3.c
#include<stdio.h>

size_t info(int a, int b){
    return a+b;
}
__attribute__((regparm(3))) size_t in_info(int a, int b){//声明该函数参数由3个寄存器来传输，0则由栈传输
    return a+b;
}
int main(){
    in_info(5,5);  //只限于intel i386架构！！
                ¦  /*
                    *→ 0x56555532 <main+13>        mov    edx, 0x5
                    ¦  0x56555537 <main+18>        mov    eax, 0x5
                    ¦  0x5655553c <main+23>        call   0x56555504 <in_info>
                    * */
    return 0;
}

资料参考：https://www.cnblogs.com/the-tops/p/5885464.html