为什么仅含少量代码的汇编程序生成的可执行文件体积偏大？

可执行文件体积远大于代码本身的核心成因 #

• 可执行文件格式的固定开销
  主流操作系统的可执行文件（Windows下的PE、Linux下的ELF、macOS下的Mach-O）都有固定的文件头结构，还要存储程序头表、段表、重定位信息等元数据，哪怕你的业务代码只有几行，这些操作系统加载程序必须的元数据是不可少的，本身就会占用数百到数千字节的空间。
• 默认链接的附加运行时代码
  除非你手动指定特殊编译链接参数，否则编译器、链接器会默认向可执行文件中嵌入运行时初始化代码（比如Linux下的crt0.o、Windows下的CRT启动代码），这部分代码负责完成环境初始化、参数解析、调用你的业务入口代码、处理程序退出逻辑等工作，本身就有KB级别的体积，和你写的业务代码长度无关。
• 调试与符号信息残留
  默认编译生成的可执行文件会携带符号表、调试信息等内容，方便后续用调试工具排查问题，这些内容不会被加载到内存运行，但会占用磁盘上的文件体积，执行strip命令剥离这些信息后，文件体积会大幅缩小。
• 内存对齐带来的空间浪费
  操作系统加载可执行文件时，要求代码段、数据段等不同分段必须按照内存页大小（通常是4KB，部分场景下是2MB/1GB）对齐，哪怕某个分段实际只用到了几十字节，也要占用一整个对齐单位的空间，中间的空白填充区域会被算入文件体积。

你可以做个简单测试：对于仅包含几行汇编的程序，使用如下链接参数可以大幅缩小体积：

# 汇编生成目标文件
as your_code.s -o your_code.o
# 链接时不使用标准库、不使用默认启动代码，入口直接指定为你写的_start，同时剥离所有符号
ld your_code.o -o your_exec -nostdlib --strip-all

如果是Linux平台还可以选择生成静态链接的极小体积ELF，极限场景下甚至可以把可执行文件压缩到几十字节的量级。

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