使用编译选项-s与将全局符号声明为static是否效果等同？

问题背景 #

我们清楚：

• 用static修饰函数或全局变量时，会限制其仅在**当前编译单元（源文件）**内可见，链接器不会把这些符号导出到最终的可执行文件中。
• GCC的-s编译选项，作用是剥离可执行文件中的符号表和调试信息，让外部无法通过工具（比如nm）查看或引用程序里的全局符号，但编译阶段这些符号的可见性并没有改变。

那么问题来了：仅用-s编译程序，和把所有全局符号都声明为static的效果是否完全一致？或者说，下面两种编译方式会不会生成完全相同的可执行文件？

编译方式1：使用-s选项 #

/*** cc -s main.c ***/
    
#include <stdio.h>

void a(){
    printf("Hello world!\n");
}

int main(void){
    a();
    return 0;
}

编译方式2：用static修饰全局函数 #

/*** cc main.c ***/
    
#include <stdio.h>

static void a(){
    printf("Hello world!\n");
}

int main(void){
    a();
    return 0;
}

两者的核心区别 #

这两种操作效果并不等价，甚至在编译链接的不同阶段有着本质差异：

1. 作用阶段不同

   • static是在编译阶段生效：编译器看到static修饰的符号时，会直接标记该符号为“局部可见”，链接器在处理时根本不会把它放到全局符号表中，其他编译单元完全无法引用它。
   • -s是在链接完成后生效：编译和链接阶段，全局符号a仍然是对外可见的，链接器会把它加入全局符号表；只是最终生成可执行文件时，-s会把符号表、调试信息等全部剥离掉。

2. 对链接过程的影响不同
   如果你的项目有多个源文件，差异会非常明显：

   • 要是把a()声明为static，其他源文件里哪怕尝试声明extern void a();并调用，编译链接时直接会报错“未定义的符号a”。
   • 要是用-s编译但不声明static，其他源文件通过extern可以正常引用a()，只是最终的可执行文件没有符号表而已。

3. 生成的可执行文件存在差异
   回到你给出的单文件案例：

   • 两种方式生成的可执行文件运行行为完全一致，因为逻辑没有变化。
   • 但文件内容并非完全相同：用static的版本，链接器从一开始就没把a加入全局符号表；而用-s的版本，链接阶段先生成了包含a的符号表，最后才剥离掉。虽然最终都没有符号表，但编译链接过程中生成的中间代码可能存在细微差异，导致最终可执行文件的二进制内容不完全一致（可以用diff命令对比验证）。

总结 #

• 单文件场景下，两种方式的运行效果一致，但生成的可执行文件不是完全相同的二进制文件。
• 多文件场景下，两者的差异极大：static从根源上禁止了跨编译单元的符号引用，而-s只是在最终文件里隐藏了符号表，编译链接阶段符号仍然是全局可见的。

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