C __attribute__编译属性整理

背景

        最近在看VPP源码，很多变量、函数都设置了编译属性，编译属性的作用却不是很明确，为了增加记忆以及方便日后查阅，在此整理并分享给大家。

概念

        __attribute__是GCC的一大特色，attribute机制可以用于设置函数属性（FunctionAttribute）、变量属性（Variable Attribute）和类型属性（Type Attribute）

编译属性及作用

        __attribute__ ((unused))：指示变量或函数可能不会被引用，设置该属性后，变量/函数未引用时可以阻止编译器产生并发出未使用的警告。

        __attribute__((packed))：用于告诉编译器以紧凑的方式对结构体进行内存布局，即不要在结构成员之间插入填充字节，以节省空间，是GCC特有的语法，跟操作系统无关，跟编译器有关。

        __attribute__((aligned(x))):指示编译器以指定字节对齐变量/结构体，以便提高访问速度和效率。

        __attribute__((noreturn))：指示编译器该函数不会返回给调用者，以便在编译器优化的时候去掉不必要的函数返回代码。

        __attribute__((constructor)):指示在程序运行时，在main函数之前执行的初始化函数，用于完成一些特定的初始化工作，如：初始化全局变量，注册回调函数等；

        注意：一个程序中可以有多个使用 __attribute__((constructor)) 的构造函数，它们的执行顺序可能受到编译器和链接器的影响。在一般情况下，使用多个构造函数时，它们的执行顺序可能是不确定的。因此，应谨慎依赖构造函数之间的执行顺序，以避免不同平台或编译器的不一致性。

        __attribute__((destructor))：用于指定在程序结束时执行的清理函数。这个特性允许你在程序退出之前执行一些清理工作，例如释放资源、关闭文件、取消注册回调等。

        注意：与构造函数一样，一个程序中可以有多个使用 __attribute__((destructor)) 的析构函数，它们的执行顺序可能受到编译器和链接器的影响。通常来说，析构函数的执行顺序可能是不确定的，因此应当小心依赖析构函数之间的执行顺序。

        __attribute__((weak))：用于指示编译器将符号（例如函数或变量）声明为弱符号（weak symbol）。弱符号的特点是，如果存在强符号（即具有相同名称的非弱符号），则使用强符号，否则使用弱符号。

        弱符号通常用于在程序中提供默认实现，并允许用户在需要时提供自定义的实现。这对于编写插件或可插拔组件化的软件系统很有用，因为它允许用户通过提供自己的实现来覆盖默认行为，而无需修改源代码。

        __attribute__ ((flatten))：用于指示编译器将某个函数的内联函数调用展开（或扁平化），展开意味着将被调用的函数的代码直接插入到调用该函数的地方，而不是生成一个函数调用。

        这样做的目的是减少函数调用的开销，尤其是在性能敏感的代码中，可以消除函数调用带来的额外开销。

        __attribute__((section("name")))：用于指示编译器将变量或函数放置在指定的段（section）中；段是目标文件或可执行文件中的一个逻辑单元，它包含了相关联的变量、函数或其他数据。

        当你使用 __attribute__((section("name"))) 修饰一个变量或函数时，编译器会将其放置在名为 "name" 的段中。你可以使用这个特性来控制代码和数据的布局，将它们放置在特定的段中，以便在链接时进行定位或处理。

     __attribute__((visibility(“default“)))：visibility属性用来控制.so文件的符号表，也就是控制外部能不能找到符号调用，比如函数、变量、模板、类等。符号表分静态的 .symtab 和动态的 .dynsym，一个对应链接视图另一个对应执行视图。设置为 hidden 符号将不导出，即不出现在 .dynsym 当中，不能为模块外所用。

         默认是可见，这也就是“default”的含义，在编译文件中：
        当-fvisibility=hidden时
        动态库中的函数默认是隐藏的，除非代码中显示声明为__attribute__((visibility("default")))
        当-fvisibility=default时
        动态库中的函数默认是可见的，除非代码中显示声明为__attribute__((visibility("hidden")))

        待继续更新补充...

参考链接

__attribute__((packed))

__attribute__((visibility(“default“)))