SQLite 中的 assert() 及类似宏
本文介绍了 SQLite 中 assert() 及相关调试宏的使用规范与最佳实践。内容包括断言宏在开发过程中用于捕获逻辑错误、确保代码不变性（invariants）和前置条件检查的具体方式，同时说明了不同编译选项如何启用或禁用这些宏。文章还强调了在 SQLite 这类高可靠性项目中，断言机制对于代码正确性和可维护性的关键作用。
背景速读
SQLite 是全球使用最广泛的嵌入式数据库引擎，代码以极高的可靠性著称，被用于从智能手机、浏览器到航天器的各类场景。这篇文章来自其核心开发团队，专门解释 SQLite 内部如何用 assert 宏（一种在开发阶段自动检查代码假设的机制）来确保稳定性。
- SQLite 由 D. Richard Hipp 在 2000 年创建，现由 Hipp 领导的团队维护，代码完全开源。
- assert 是 C 语言标准宏，用于在调试阶段验证"这里绝不可能发生"的条件；若条件为假，程序立即崩溃，暴露隐藏的 bug。发布版本中 assert 会被关闭，不产生性能开销。
- SQLite 的独特之处在于它极其严格地使用 assert：代码中约 20% 的测试覆盖率来自 assert 而非正式测试用例，且项目要求 assert 覆盖每一条代码分支。
- 该文章详细列出 SQLite 自定义的多种 assert 变体（如 NEVER/ALWAYS 宏）及其在内存分配、SQL 解析、B 树遍历等子系统中的具体用法，解释了为什么这种"偏执"级别的防御性编程是 SQLite 被广泛信赖的基础。
- 对于关注软件可靠性、嵌入式系统或数据库底层的读者，此文是理解"如何从工程上实现极高可靠性"的第一手资料。