为何包含额外头文件的Hello World可执行文件反而更小？

核心原因不是头文件的数量，而是实际调用的库函数以及链接器的优化逻辑，具体拆解如下：

1. 函数复杂度差异：printf vs puts #

• Flavour 1 使用的printf是格式化输出函数，支持可变参数、格式字符串解析（比如%d、%s等占位符），其实现依赖更多底层逻辑（如可变参数处理、格式解析引擎），链接时会引入更多关联的库代码。
• Flavour 2 使用的puts是简单字符串输出函数，仅负责输出字符串并自动追加换行，实现逻辑极简，链接时引入的代码量远小于printf。

2. 头文件不直接影响可执行文件大小 #

<stdlib.h>只是提供宏定义（如EXIT_SUCCESS、EXIT_FAILURE）和函数声明，这些内容在编译阶段会被替换为具体值（EXIT_SUCCESS对应0，EXIT_FAILURE对应1），不会额外增加可执行文件的体积。真正影响大小的是程序实际调用的库函数实现代码。

3. 链接器的死代码消除优化 #

现代C编译器的链接器会自动执行「死代码消除」（Dead Code Stripping）：只将程序实际用到的库函数代码打包进可执行文件，未用到的代码会被剔除。

• Flavour 1 调用printf，会连带引入其依赖的格式化解析、可变参数处理等代码，最终体积更大。
• Flavour 2 调用puts，仅引入最基础的字符串输出代码，再加上EXIT_SUCCESS/EXIT_FAILURE只是常量替换，所以最终体积更小。

附两段对比代码： #

Flavour 1 代码：

#include <stdio.h>

int main(){
    printf("Hello World");
    return 0;
}

Flavour 2 代码：

#include <stdio.h>
#include <stdlib.h>

int main(){
    if (puts("Hello World") == EOF){
        return EXIT_FAILURE;
    }
    return EXIT_SUCCESS;
}

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