c - 为什么 GCC 保留空函数？

Question

在大多数情况下，如果我想在 C 中创建一个可选功能，我只需创建两个这样的函数:

#ifdef OPTIONAL_SOMETHING
void do_something(int n, const char *s)
{
    while (n--) {
        printf("%s", s);
    }

    /* ...You might get the point, really do something... */
}
#else
void do_something(int n, const char *s)
{
    /* Empty body */
}
#endif

因此，如果符号未定义——当该功能被禁用时——一个空函数将被编译到可执行文件中。

深入研究程序集列表，GCC 似乎在优化被禁用 时编译并调用 空函数。如果启用了优化，还有 -O2 和 -O3，它只编译必要的堆栈处理代码，但它优化出通话说明。总而言之，它保持了功能。

对于非空但未使用的方法大致相同。

它应该简单地丢弃整个东西，但它没有。为什么这是默认行为？只是出于好奇:我怎样才能消除它？

Answer 1

由于该函数具有外部链接(不是static)，编译器无法消除它，因为另一个目标文件可能会引用它。如果函数是static，它将被完全消除。