GCC编译属性--“裸函数”¶

在C语言中，__attribute__((naked)) 是 GCC 编译器提供的一个特殊属性，用于指示编译器在编译时不要为函数生成标准的函数调用和返回序列。使用这个属性的函数通常称为“裸函数”（naked functions）。

裸函数的主要特点包括：

没有函数前缀和后缀：编译器不会为裸函数生成函数前缀（prolog）和后缀（epilog），这意味着函数的开始和结束部分，包括栈帧的建立和销毁、寄存器的保存和恢复等，都需要由程序员手动编写。
提高性能：由于编译器不生成额外的代码，裸函数可以减少函数调用的开销，提高性能。这在对性能要求极高的场景下非常有用，比如实时系统或嵌入式系统中的中断服务例程。
精确控制：裸函数允许程序员对函数的执行流程进行精确控制，包括寄存器的使用、栈的操作等。这在需要与硬件直接交互或需要精确控制程序流程的情况下非常有用。
使用限制：由于裸函数不包含标准的函数调用和返回序列，它们不能直接从高级语言调用。通常，裸函数用于编写汇编代码，或者在C语言中与内嵌汇编（inline assembly）结合使用。
示例：以下是一个使用 __attribute__((naked)) 的简单示例：

void __attribute__((naked)) my_naked_function(void) {
    // 函数体开始
    asm volatile (
        "mov r0, #1\n"    // 将立即数1加载到寄存器r0
        "bx lr\n"         // 返回调用者
    );
    // 函数体结束，没有函数后缀
}

在这个示例中，my_naked_function 被声明为裸函数。函数体内部使用内嵌汇编来执行操作，并且直接使用 bx lr 指令返回调用者，其中 lr 是链接寄存器，存储了返回地址。

使用裸函数时需要特别注意，因为它们绕过了编译器的优化和错误检查，所以很容易引入错误，如栈溢出、寄存器使用不当等。因此，除非确实需要，否则应尽量避免使用裸函数。