从 printf 到 hello world：一次程序运行的完整旅程

先建立地图：一次点击编译，实际上启动了什么？

这是一张静态总览图，不需要自动播放。沿着箭头从左到右、再按折行方向阅读；点击节点即可在右侧查看这一步的作用。构建阶段负责生成程序文件，运行阶段负责建立进程并执行指令。带虚线的术语可以悬停或点按查看解释。

读图提示：绿色是构建期（把源码制成可执行文件），灰色是运行期（把可执行文件变成正在执行的进程）。图中的箭头表示先后关系，不代表每一步都由同一个程序进程完成。

起点：C 源代码到底表达了什么？

为了明确边界，我们使用一个足够小、但符合标准 C 程序结构的示例。最后的输出故意没有换行符。

#include <stdio.h>

int main(void) {
    printf("hello world");
    return 0;
}

点击“编译”：构建系统启动了一条工具链

编辑器里的“运行”按钮通常负责组织命令、显示日志和启动进程；真正解析 C 代码的是编译器工具链，而不是 IDE 的按钮本身。

平台对照：Ubuntu/Linux 与 Windows 10

两者拥有相似的概念链条，但工具链、目标文件格式、入口启动方式、动态库和加载器细节不同。切换平台查看对应流程。

# 1. 只做预处理：输出 hello.i
gcc -E hello.c -o hello.i

# 2. 编译并输出汇编文本 hello.s
gcc -S -O0 -masm=intel hello.c -o hello.s

# 3. 汇编为可重定位目标文件 hello.o
gcc -c -O0 hello.c -o hello.o

# 4. 链接为可执行文件 hello
gcc -O0 hello.o -o hello

# 查看符号、重定位、段 / 程序头
nm hello.o
readelf -r hello.o
readelf -h -l -d hello
objdump -drwC -Mintel hello.o

# 运行；本示例不含换行符
./hello

:: 先打开 Visual Studio Developer Command Prompt

:: 预处理到 hello.i
cl /nologo /P hello.c

:: 编译到汇编列表（选项 /FA 生成汇编列表）
cl /nologo /Od /FAcs /c hello.c

:: 编译并链接为 hello.exe
cl /nologo /W4 /Od hello.c /Fe:hello.exe

:: 查看 PE 头和反汇编（安装 Visual Studio 工具）
dumpbin /headers hello.exe
dumpbin /imports hello.exe
dumpbin /disasm hello.exe

:: 运行
hello.exe

预处理：为什么需要 stdio.h？

它处理源代码中的预处理指令，而不是把整个标准 I/O 实现“粘进”程序里。

/* hello.c */
#include <stdio.h>

int main(void) {
    printf("hello world");
    return 0;
}

/* hello.i · 摘录 / 示意 */
/* 这里还会出现大量平台相关的声明 */
extern int printf(const char *, ...);

int main(void) {
    printf("hello world");
    return 0;
}

编译：C 语句如何变成汇编指令？

不要先背汇编。先把它当作“把一个 C 语句拆成处理器能完成的小动作”的记录，再逐条看每个动作为什么出现。

先认识汇编里的基本积木

这次编译器输出的汇编

.section .rodata            # 告诉汇编器：接下来是只读常量数据
.LC0:                       # 编译器给字符串起的内部标签
    .string "hello world"   # 11 个可见字符 + 结尾的 NUL 终止字节

.text                       # 接下来是机器指令所在的代码 section
main:                       # 函数入口标签
    push rbp                # 保存调用者的帧指针
    mov  rbp, rsp           # 用当前栈顶建立本函数的帧指针
    lea  rax, .LC0[rip]     # 算出字符串地址，放进 RAX
    mov  rdi, rax           # 按 Linux x86-64 ABI，把第一个参数放进 RDI
    mov  eax, 0             # 可变参数调用的 ABI 要求：AL 中向量参数数目为 0
    call printf@PLT         # 调用 printf 的 PLT 入口
    mov  eax, 0             # main 的返回值 0
    pop  rbp                # 恢复调用者的帧指针
    ret                     # 返回运行库启动代码

把 C 语句和汇编一一对上

编译器不需要让每条 C 语句对应一条汇编指令。一行 C 代码可能变成多条指令；反过来，多条 C 语句也可能被优化成一段指令。这里是便于学习的“职责对应”，不是语言规范要求的固定映射。

汇编器：指令和字符串最终都是字节

CPU 读的是内存中的二进制编码。字符串常量本身也被编码为字节；对于这个 ASCII 字符串，UTF-8 的字节与 ASCII 一致。

0000000000000000 <main>:
  0:  55                    push rbp
  1:  48 89 e5              mov rbp,rsp
  4:  48 8d 05 00 00 00 00  lea rax,[rip+0x0]
  7:  R_X86_64_PC32 .rodata-0x4
  b:  48 89 c7              mov rdi,rax
  e:  b8 00 00 00 00        mov eax,0x0
  13: e8 00 00 00 00        call printf
  14: R_X86_64_PLT32 printf-0x4
  18: b8 00 00 00 00        mov eax,0x0
  1d: 5d                    pop rbp
  1e: c3                    ret

Offset          Type               Symbol + Addend
000000000007    R_X86_64_PC32      .rodata - 4
000000000014    R_X86_64_PLT32     printf - 4

0000000000001139 <main>:
  1139: 55                    push rbp
  113a: 48 89 e5              mov rbp,rsp
  113d: 48 8d 05 c0 0e 00 00  lea rax,[rip+0xec0]  # 0x2004：字符串位置
  1144: 48 89 c7              mov rdi,rax
  1147: b8 00 00 00 00        mov eax,0
  114c: e8 df fe ff ff        call 0x1030 <printf@plt>
  1151: b8 00 00 00 00        mov eax,0
  1156: 5d                    pop rbp
  1157: c3                    ret

链接：一个目标文件如何找到 printf？

编译器只知道这里需要调用名为 printf 的外部函数。链接器要处理这个符号，以及调用点、字符串常量和库之间的地址关系。

0000000000000000 T main
                 U printf

可执行文件并非“一团机器码”

ELF 和 PE 都有格式头、节 / 段信息、入口点、导入或动态链接信息等元数据。操作系统和加载器依靠这些结构理解文件。

Class:       ELF64
Data:        little endian
Type:        DYN (PIE executable)
Machine:     x86-64
Interpreter: /lib64/ld-linux-x86-64.so.2
NEEDED:      libc.so.6

DOS header / DOS stub
PE signature
COFF File Header
Optional Header (PE32+)
Section Headers
  .text  · code
  .rdata · read-only data / imports
  .data  · initialized data
Import Table / IAT
Relocation data / other directories

装载：从磁盘文件到进程的虚拟地址空间

可执行文件不会简单地被整个复制到一块连续的物理内存。内核与加载器根据格式信息建立虚拟内存映射，页通常会按需调入物理内存。

为什么不是直接跳进 main？运行库先搭好舞台

从操作系统入口到 C 语言的 main，中间还有 ABI 约定、运行库初始化与进程启动代码。

CPU 执行：一次函数调用在寄存器和栈上发生什么？

用一条指令一步步播放 GCC 输出的 main。寄存器值为概念追踪，真实地址与运行时寄存器值会因每次运行和工具链而变。

printf 到底怎样让文字出现在屏幕上？

关键区别：C 标准库函数、操作系统系统调用和终端模拟器是三个不同层次。

先认识下文的 fd 1：fd 是文件描述符（file descriptor）——进程里一个代表“已打开的输出目标”的小编号，内核靠它认路；1 号固定是标准输出（stdout）。先把它当作“输出通道 1 号”：往 fd 1 写，就是往 stdout 当前指向的地方写。

把整条链路翻译成 Windows 10 的心智模型

Windows 上仍然有编译、汇编、链接、运行库、装载与输出，但不能直接把 Linux 的 ELF / ld-linux / glibc 细节套上去。

调用约定差异：第一个参数放在哪里？

; Linux x86-64 System V ABI
lea  rdi, [rip + string]
xor  eax, eax
call printf@PLT

; Windows x64 ABI（概念示意）
lea  rcx, [string]
; 调用者通常还要预留 32-byte shadow space
call printf_import_thunk

Linux System V x86-64 通常用 RDI 传第一个指针参数；Windows x64 通常用 RCX。Windows x64 调用约定要求调用者为被调函数预留 32 字节 shadow space。示意代码不代表某个 MSVC 版本的精确输出。

如果出错，错误会在哪一阶段出现？

区分编译错误、链接错误、装载错误与运行错误，定位问题会容易很多。

术语速查：点名字，查看它解决的问题

第一次阅读时不必背下所有缩写；先将名称与它所属的层次对应起来。

如何在自己的机器上验证？

把这份页面当成路线图，实际运行工具查看真实构建产物。命令结果会随编译器、版本、架构和链接选项变化。

gcc --version
gcc -v hello.c -o hello
file hello
size hello
nm hello.o
readelf -h -l -S -d hello
readelf -r hello.o
objdump -drwC -Mintel hello.o
objdump -d -Mintel hello
strace -e trace=execve,write,exit_group ./hello

cl /Bv
cl /nologo /Od /FAcs /c hello.c
dumpbin /headers hello.obj
dumpbin /symbols hello.obj
dumpbin /relocations hello.obj
dumpbin /disasm hello.obj
link /verbose hello.obj /out:hello.exe
dumpbin /imports hello.exe
dumpbin /headers hello.exe

Windows 部分命令需要 Visual Studio / Build Tools 的开发者命令提示符。Linux 的 strace 可能需要单独安装；系统调用跟踪展示的是某次运行的实际系统调用，不应将其误认为 C 语言标准保证的固定序列。

延伸阅读与资料来源

以下资料分别覆盖程序员视角、编译工具链、对象文件格式、动态链接、I/O 缓冲与 Windows CRT/PE。页面内容是据此整理的教学说明，不是对任何一本书的逐段复述。

• Computer Systems: A Programmer’s Perspective（CS:APP）

  Bryant 与 O'Hallaron。程序表示、汇编、链接、异常控制流、虚拟内存与系统交互的主线教材。

• GCC 官方文档：Overall Options

  解释 GCC 驱动程序的四阶段编译流程，以及 -E、-S、-c 等选项。

• Linux man-pages：elf(5)

  ELF 头、程序头、section 与 segment 等文件格式信息。

• Linux man-pages：ld.so(8)

  动态链接器 / 加载器如何查找共享对象并为程序运行做准备。

• Linux man-pages：execve(2)

  进程映像替换与新程序执行入口相关的系统接口。

• GNU libc 手册：Flushing Buffers

  输出流缓冲区刷新的常见条件，包括换行、缓冲区满、关闭与正常退出。

• Microsoft Learn：PE 格式

  Windows PE/COFF 文件格式、节表、入口点、导入表和 IAT 结构。

• Microsoft Learn：CRT 初始化

  默认 CRT 启动代码如何初始化运行库并调用用户提供的 main。

• Microsoft Learn：/ENTRY

  Windows 链接器入口点与使用 CRT 初始化的注意事项。

• Microsoft Learn：x64 ABI conventions

  Windows x64 的参数寄存器、shadow space、栈与函数序言约定。

• System V AMD64 ABI（PDF）

  Linux x86-64 调用约定、寄存器用途、栈布局以及可变参数函数的 ABI 规则。

• 《程序员的自我修养：链接、装载与库》

  俞甲子、石凡、潘爱民著，电子工业出版社。聚焦 Windows/Linux 编译、链接、装载、动态链接、运行库和系统调用。

• Linux man-pages：printf(3)

  printf 的格式化输出接口、返回值与关联的标准 I/O 函数。