C++

C++ 机器模型

了解 C++ 如何映射到硬件，从源代码到可执行文件的编译流水线，翻译单元，以及栈内存和堆内存之间的关键区别。

为什么机器模型很重要

C++ 是一种旨在让你直接控制硬件的语言。与 Java 或 Python 等托管语言不同，C++ 不会对你隐藏机器 ── 它拥抱机器。你声明的每一个变量都占用真实的内存，每一次函数调用都操作真实的栈，每一个指针都持有真实的地址。理解这个机器模型不是可选的；它是构建所有其他 C++ 概念的基础。

C++ 遵循零开销抽象原则：你永远不应该为不使用的特性付出（性能上的）代价，而当你使用某个特性时，编译器生成的代码应当与手写汇编一样高效。这一理念影响着从类在内存中的布局到模板编译方式的一切。

编译流水线

C++ 的构建过程将人类可读的源代码转换为机器代码。理解每个阶段有助于你诊断常见错误：

1. 预处理器 (#include, #define, #ifdef) — 在编译器看到代码之前运行。它进行文本替换：将头文件粘贴进来、展开宏、处理条件编译。输出是一个单独的翻译单元。

2. 编译器 — 将每个翻译单元转换为目标文件 (.o/.obj)，其中包含机器码和关于未解析符号（例如在其他文件中定义的函数）的元数据。

3. 链接器 — 将所有目标文件和库组合成最终的可执行文件。它解析符号引用 ── 如果你调用了 foo()，链接器会找到 foo 的定义。缺少的定义会导致链接器错误（而非编译器错误）。

一个常见的困惑：编译器错误是指语法/类型问题（单个文件中），链接器错误是指缺少或重复的定义（跨文件）。预处理器错误通常表现为「文件未找到」或意外的 token。

翻译单元

翻译单元是编译器看到的基本单位 ── 它是一个 .cpp 文件加上它直接和间接包含的所有头文件的内容。每个翻译单元被独立编译为一个目标文件。

hello.cppc++23
// hello.cpp
#include <iostream>   // Preprocessor: pulls in I/O declarations

int main() {          // Entry point — exactly one per program
    std::cout << "Hello, World!" << '\n';
    return 0;         // 0 signals success to the OS
}
输出

点击“运行”即可编译并运行这个示例。

栈与堆

C++ 程序使用两个主要的内存区域：

栈是局部变量存活的地方。它快速（分配/释放只是移动栈指针），但大小有限（通常 1-8 MB）。当函数返回时，其栈帧被销毁。栈变量具有自动存储期 ── 你不需要管理它们的生命周期。

堆（自由存储区）是动态分配的内存存活的地方。它大得多，但更慢（分配需要找到一块空闲块），并且要求你管理生命周期。在现代 C++ 中，你使用 std::make_unique 和 std::make_shared 来分配堆内存 ── 而不是原始的 new/delete。

栈的规则很简单：后进先出。堆的规则很复杂：你必须恰好释放每个分配一次 ── 太少次会导致内存泄漏，太多次会导致未定义行为。这就是为什么现代 C++ 在几乎所有情况下都更倾向于栈分配和 RAII（资源获取即初始化）。

常见陷阱

初学者最大的困惑之一是区分编译器错误和链接器错误：

编译器错误出现在构建的早期阶段。它们是关于语法、类型不匹配以及使用未声明的名称。通常很清楚 ── 它们指向特定的行和列。

链接器错误出现在所有文件编译之后。它们通常包含「未定义引用」或「未解析的外部符号」。这意味着你声明了某些东西（承诺它存在），但从未定义它（实际提供代码）。常见原因：忘记编译一个 .cpp 文件，或者声明了一个函数但从未实现它。

经验法则：如果错误提到行号，那是编译器问题。如果它提到符号名但没有行号，那是链接器问题。

关键要点

未定义行为（UB） 是 C++ 初学者需要深刻理解的最重要概念。当你的代码触发了 UB，C++ 标准对接下来会发生什么不做任何保证。程序可能崩溃、产生错误结果、看起来正常运行，甚至格式化你的硬盘（这是个经典笑话，但技术上确实是允许的）。

UB 的常见来源包括：解引用空指针或悬空指针、有符号整数溢出、数组越界访问、使用未初始化的变量，以及违反单一定义规则（ODR）。

编译器被允许假设 UB 永远不会发生，并据此进行优化。这意味着 UB 可能导致看似"穿越时间"的效果 ── UB 之前的代码可能表现不同，因为优化器移除了一个"不可能发生"的分支。

开发期间请始终使用 -Wall -Wextra -Wpedantic 编译，并启用消毒器（-fsanitize=address,undefined）。

  • C++ 直接映射到硬件 ── 变量是真实的内存，函数操作真实的栈
  • 构建流水线：预处理器 → 编译器 → 链接器，每个阶段有不同的错误类型
  • 翻译单元 = 一个 .cpp 文件 + 所有包含的头文件，独立编译
  • 栈：快速、自动、大小有限。堆：灵活、手动（使用智能指针）、更慢
关键要点
  • C++ 让你直接控制硬件 ── 每一层抽象都映射到真实的机器操作
  • 编译流水线有四个阶段：预处理器、编译器、汇编器、链接器 ── 每个阶段都可能产生错误
  • 翻译单元是一个 .cpp 文件加上所有 #include 展开后的内容 ── 它是编译的基本单位
  • 栈内存快速且自动管理；堆内存灵活但需要手动管理
  • 未定义行为不仅仅是崩溃 ── 它是一种契约违反，允许编译器做任何事
  • 始终启用警告编译（-Wall -Wextra），并在开发期间使用消毒器

测验 — 检验你的知识

(10 经验值)

1. 编译器错误和链接器错误之间的主要区别是什么？

2. 为什么现代 C++ 更倾向于栈分配而不是堆分配？

3. 翻译单元是什么？

下一课
变量、类型与类型安全