本文转载自微信公众号「程序喵大人」，作者程序喵大人。转载本文请联系程序喵大人公众号。
大家好，我是程序喵，众所周知，前两天，小破站又上市了，慷慨的宣布要给员工加鸡腿，激动的喵哥一夜没睡好，万万妹想到啊，人算不如天算，公司真的发了鸡腿，没错，就是你想的那个。
鸡腿啥的不想了，我还是安心肝文章吧。。。
前一段时间在知乎上看到个问题：Linux如何优化可执行程序的体积?
在我们的日常工作中，一般对程序的体积都有严格的要求，有时候仅仅因为几字节的代码段体积或者多了几十毫秒的运行时间，整个项目就达不到验收标准，甚至不能成功上线。这里我抛砖引玉先提出几个思路，大家如果有好的优化策略欢迎打在评论区。
大体思路有这些：
- 好好写代码，减小代码段体积，别人300代码的逻辑我们50行搞定，程序体积肯定有机会更小一些，这个就得考验开发者自己的编程功底了
- 如果是C++程序，可以尽量减少模板的使用，模板实例化可能会导致代码膨胀
- 不用引用没有用的头文件
- 使用strip，像脱衣服一样，移除程序的所有符号，这也是很多开发者常用的方式
- strip只会清除普通符号，不会动态符号表中的符号，某些动态符号其实也可以隐藏掉，进而来减小库的体积，可以使用-fvisibility=hidden命令
- 巧用.bss段，未初始化的全局变量和局部静态变量会存在.bss段中，这些变量不占用程序空间
- inline-limit：内联过多会导致代码段体积较大，可以通过此优化选项减少内联的数量
- 开启Os编译，这是产生较小代码体积的优化选项
- 适当使用编译选项-fdata-sections和-ffunction-sections
- 考虑链接动态库而非静态库
以上说的太笼统了?贴心如我早就准备好了，不谢~
strip使用
在Linux中可以使用man strip查看strip使用方法，最主要的就是移除所有符号的-s参数，用于清除所有的符号信息：
- strip -s xxx
在使用strip之前先使用nm查看下可执行程序的符号信息：
- ~/test$ nm a.out
- 0000000000200da0 d _DYNAMIC
- 0000000000200fa0 d _GLOBAL_OFFSET_TABLE_
- 000000000000089b t _GLOBAL__sub_I__Z4funcPc
- 0000000000000930 R _IO_stdin_used
- w _ITM_deregisterTMCloneTable
- w _ITM_registerTMCloneTable
- 0000000000000852 t _Z41__static_initialization_and_destruction_0ii
- 00000000000007fa T _Z4funcPc
- 000000000000081c T _Z4funci
- U _ZNSt8ios_base4InitC1Ev@@GLIBCXX_3.4
- U _ZNSt8ios_base4InitD1Ev@@GLIBCXX_3.4
- 0000000000201020 B _ZSt4cout@@GLIBCXX_3.4
- 0000000000000934 r _ZStL19piecewise_construct
- 0000000000201131 b _ZStL8__ioinit
- U _ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc@@GLIBCXX_3.4
- 0000000000000b24 r __FRAME_END__
- 0000000000000940 r __GNU_EH_FRAME_HDR
- 0000000000201010 D __TMC_END__
- 0000000000201010 B __bss_start
- U __cxa_atexit@@GLIBC_2.2.5
- w __cxa_finalize@@GLIBC_2.2.5
- 0000000000201000 D __data_start
- 00000000000007b0 t __do_global_dtors_aux
- 0000000000200d98 t __do_global_dtors_aux_fini_array_entry
- 0000000000201008 D __dso_handle
- 0000000000200d88 t __frame_dummy_init_array_entry
- w __gmon_start__
- 0000000000200d98 t __init_array_end
- 0000000000200d88 t __init_array_start
- 0000000000000920 T __libc_csu_fini
- 00000000000008b0 T __libc_csu_init
- U __libc_start_main@@GLIBC_2.2.5
- 0000000000201010 D _edata
- 0000000000201138 B _end
- 0000000000000924 T _fini
- 0000000000000688 T _init
- 00000000000006f0 T _start
- 0000000000201130 b completed.7698
- 0000000000201000 W data_start
- 0000000000000720 t deregister_tm_clones
- 00000000000007f0 t frame_dummy
- 000000000000083d T main
- 0000000000000760 t register_tm_clones
当前这个可执行程序的文件大小是8840字节：
- -rwxrwxrwx 1 a a 8840 Nov 29 14:54 a.out
使用strip清除符号信息：
- ~/test$ strip -s a.out
strip后再查看可执行文件的符号信息：
- ~/test$ nm a.out nm: a.out: no symbols
发现什么符号都没有了，但还是可以执行。
strip后的可执行程序文件大小是6120字节：
- -rwxrwxrwx 1 a a 6120 Nov 29 14:54 a.out
具体可以看我这篇文章：《Linux有一个命令你一定要知道》
-fvisibility=hidden可以这样使用：
- $ g++ -fvisibility=hidden -c layer.cxx -o layer.o
巧用.bss段：
看下面代码：
- #include <stdio.h>
- int a[1000];
- int b[1000] = {1};
- int main() {
- printf("程序喵\n");
- return 0;
- }
我们查看下文件大小和各个段大小：
- $ gcc testlink.c -o test
- $ ls -l test
- -rwxrwxrwx 1 wzq wzq 12368 May 30 08:48 test
- $ size test
- text data bss dec hex filename
- 1512 4616 4032 10160 27b0 test
再看这段初始化的代码：
- #include <stdio.h>
- int a[1000] = {1};
- int b[1000] = {1};
- int main() {
- printf("程序喵\n");
- return 0;
- }
再查看下文件大小和各个段大小：
- $ gcc testlink.c -o test
- $ ls -l test
- -rwxrwxrwx 1 wzq wzq 16368 May 30 08:49 test
- $ size test
- text data bss dec hex filename
- 1512 8616 8 10136 2798 test
可以看到仅仅是做了一次初始化，文件大小就从12368变成了16368，正好是初始化了的那a[1000]的大小，这4000字节从.bss段移动到了.data段，程序大小增加了，这里可以看出.bss段不占据磁盘空间。
巧用-fdata-sections和-ffunction-sections：
现在的程序和库通常来讲都很大，一个目标文件可能包含成百上千个函数或变量，当需要用到某个目标文件的任意一个函数或变量时，就需要把它整个目标文件都链接进来，也就是说那些没有用到的函数也会被链接进去，这会导致链接输出文件变的很大，造成空间浪费。
有一个编译选项叫函数级别链接，可以使得某个函数或变量单独保存在一个段里面，都链接器需要用到某个函数时，就将它合并到输出文件中，对于没用到的函数则将他们抛弃，减少空间浪费，但这会减慢编译和链接过程，GCC编译器的编译选项是：
- -ffunction-sections -fdata-sections
