GCC函数内联疑问：内联函数代码为何仍存于二进制独立段？

这个问题问得很到位！咱们来拆解GCC这里的设计逻辑，就能明白为啥会出现这种“内联了还留副本”的情况：

核心认知：always_inline只管内联，不管删副本 #

__attribute__((always_inline))的唯一作用是强制GCC在所有能内联的调用点把函数代码插进去，但它从来没告诉编译器“把这个函数的独立定义删掉”——这是两个完全分开的行为，编译器得分别处理。

具体原因有这几个： #

• 编译器怕有“漏网的调用”：当你编译单个.c文件时，GCC只能看到当前编译单元的代码，它没法确定：
  • 这个函数会不会被其他.c文件通过外部链接调用（比如头文件里声明了，别的文件直接调用）？
  • 有没有代码用函数指针间接调用它？
    为了不触发“未定义行为”，编译器只能保守地保留独立的函数代码，以防万一有地方需要它。
• 警告的背后是编译器的“保留后手”：你收到的“always_inline函数可能无法内联”警告，其实是GCC在说：“我已经尽力把当前看到的调用都内联了，但不敢保证所有潜在调用都能内联”——这也说明它必须留着独立代码，应对那些没法内联的场景。

怎么让编译器删掉多余的独立代码？ #

如果你确定这个函数只会在当前文件里被内联调用，不会有外部调用或指针调用，只要加个static属性就行：

static __attribute__((always_inline)) void dummy_fct() {
    // 你的函数逻辑
}

static会把函数的作用域限制在当前编译单元，编译器就知道“没人会从外面调用它”，再配合-O1及以上的优化选项，就会彻底删掉独立的函数代码段，只保留内联后的内容。

另外，高版本GCC（10+）里，static inline配合always_inline的效果更明确，因为static inline本身就暗示编译器：如果函数被内联，就可以删掉独立定义。

最后再捋一遍 #

always_inline是“强制调用点展开”，而保留独立代码是“保证潜在调用的正确性”。要解决体积增大的问题，就得用static锁死函数的作用域，让编译器放心删掉没用的副本。

内容的提问来源于stack exchange，提问作者Welgriv