引言
凌晨两点，你的代码编译通过了，运行却崩溃了。错误信息是一行看不懂的 Segmentation fault (core dumped)。你在第42行加了一行 cout << "here" << endl;，重新编译，运行——输出了一堆"here"，然后在某个地方突然停了。你继续加打印，继续编译，继续运行……三小时后，你终于发现是一个指针没有初始化。
这不是段子，这是每个程序员的真实日常。据不完全统计，程序员30%~50%的工作时间花在调试上。如果你能把这个时间缩短一半，你的效率就是别人的两倍。
调试不是“苦力活”，而是一门可以系统学习的技能。掌握调试的艺术，你就掌握了从“代码能跑”到“代码正确”的最后一步。
如果把写代码比作“建房子”，那么调试就是 “验房+修漏水”——房子建得再漂亮，漏水不修就没人敢住。调试不是写代码的附属品，而是软件开发的核心环节。
前置知识
在开始之前，先明确几个基本概念：
编译错误：代码语法有问题，编译器直接报错，不生成可执行文件。
运行时错误：编译通过，但运行时报错（如段错误、浮点异常）。
逻辑错误：程序运行正常，但结果不对。
断点（Breakpoint） ：让程序在指定位置暂停执行。
单步执行（Step） ：逐行执行代码，观察变量变化。
调用栈（Call Stack） ：记录函数调用链，显示当前执行到哪了、怎么来的。
第一章：防御式编程——让bug“生不出来”
最好的调试，是不需要调试。防御式编程是在写代码时就考虑“如果这里出错了怎么办”，从源头上减少bug。
1.1 断言（assert）——让错误“尽早暴露”
断言用于检查不应该发生的情况。如果条件为假，程序立即终止并输出错误位置。
#include <cassert> int divide(int a, int b) { assert(b != 0); // 如果 b == 0，程序终止 return a / b; }当 b == 0 时，程序输出：
a.out: main.cpp:4: int divide(int, int): Assertion 'b != 0' failed. Aborted (core dumped)
断言的使用原则：
| 应该用断言的情况 | 不应该用断言的情况 |
|---|---|
| 检查函数前置条件（参数必须满足的条件） | 检查用户输入是否合法 |
| 检查函数后置条件（返回值应满足的条件） | 检查文件是否存在 |
| 检查“不可能发生”的逻辑分支 | 检查内存分配是否成功 |
| 调试期间验证假设 | 运行时错误恢复 |
核心原则：断言检查的是程序员的错误（写错了代码），而不是用户的错误（输入了无效数据）。
断言在发布版本中会被关闭：
#define NDEBUG // 放在 #include <cassert> 之前 #include <cassert> // 此时所有 assert() 都会被编译器移除
所以在断言中不要写有副作用的表达式：
assert(++i > 0); // 危险！发布版本中 ++i 不会执行
1.2 静态断言（static_assert）——编译期检查
static_assert 在编译期进行检查，适合检查与类型、模板参数相关的不变量：
// 检查类型大小是否符合预期 static_assert(sizeof(int) == 4, "int must be 4 bytes"); // 模板中的静态断言 template <typename T> void process(T value) { static_assert(std::is_integral<T>::value, "T must be integral"); // ... }1.3 const 正确性——用编译器帮你找bug
尽可能使用 const 修饰不打算修改的变量、参数、成员函数：
// 参数用 const 引用：表明不会修改传入的对象 void printData(const std::vector<int>& data) { // data.push_back(42); // 编译错误！const 对象不能修改 for (int x : data) std::cout << x << " "; } // 成员函数用 const：表明不会修改对象状态 class MyClass { int value; public: int getValue() const { return value; } // 不会修改成员 void setValue(int v) { value = v; } // 会修改成员，不加 const }; // 如果 const 函数里不小心修改了成员，编译器直接报错 // 这是“用编译器帮你找bug”的最佳实践1.4 RAII——让资源管理自动化
RAII（Resource Acquisition Is Initialization）是C++中最核心的资源管理思想：在构造函数中获取资源，在析构函数中释放资源。
class FileHandle { FILE* file; public: FileHandle(const char* filename) { file = fopen(filename, "r"); if (!file) throw std::runtime_error("打开文件失败"); } ~FileHandle() { if (file) fclose(file); // 自动释放！ } // 禁止拷贝，只允许移动 FileHandle(const FileHandle&) = delete; FileHandle& operator=(const FileHandle&) = delete; FileHandle(FileHandle&& other) : file(other.file) { other.file = nullptr; } }; void processFile() { FileHandle fh("data.txt"); // 自动打开 // ... 使用文件 // 无论函数是正常返回还是抛出异常，文件都会被自动关闭 }1.5 枚举类（enum class）——替代宏和裸枚举
// 不好：宏没有类型检查 #define STATUS_OK 0 #define STATUS_ERROR 1 // 不好：裸枚举会污染命名空间 enum Color { RED, GREEN, BLUE }; int x = RED; // RED 可以在任何地方被访问 // 好：enum class 有类型检查，不会隐式转换 enum class Status { OK, ERROR, TIMEOUT }; Status s = Status::OK; // int x = s; // 编译错误！不能隐式转换 int x
)