编译后的文件为何保留函数名却不保留变量名？

一、编译器保留函数名的原因 #

• 链接阶段的核心需求：C程序编译分为编译（生成目标文件）和链接两步。不管是调用其他文件的函数，还是被外部程序调用，链接器都需要通过函数名这个符号来匹配对应的函数地址，完成符号解析与重定位。哪怕是单文件编译，默认生成的可执行文件也会保留这类符号，为后续可能的动态链接、补丁更新留有余地。
• 调试与二进制分析的便利性：用gdb调试程序，或是用nm、objdump工具分析二进制文件时，函数名能快速帮你定位代码位置，理解程序执行逻辑，不用对着一堆无意义的内存地址分析。
• 动态链接的运行时依赖：如果程序依赖动态库，运行时动态链接器需要通过函数名找到动态库中的对应实现，函数名是动态链接过程中关键的符号标识。

二、为什么默认不保留变量名 #

• 无运行价值，徒增体积开销：变量名对程序运行没有任何作用，编译后变量都会被转换为内存地址或寄存器引用。保留变量名只会增大二进制文件体积，且运行时完全用不上，编译器默认会清除这类冗余符号。
• 作用域与生命周期的限制：大部分变量是局部变量，仅在函数内部有效，编译后其作用域会被编译器优化，对应的符号没有保留的必要。而全局变量其实默认会保留符号名，你可以用nm命令查看。
• 调试模式可手动开启保留：如果需要变量名用于调试，编译时加上-g参数生成调试信息即可，此时用调试工具就能看到变量名。默认的Release编译模式会去掉这些信息，让程序更小、运行更快。

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