12/30阅读笔记2

第8章 注重实效的偏执：防御性编程的纪律
本章将编程提升到一种严谨的“契约”实践。其核心方法论是“按合约设计”：每个函数或模块都应明确其与调用者之间的权利与责任——对输入的前置条件、对输出的后置条件以及必须保持的内部不变量。这种“偏执”并非源于对他人的不信任，而是为了构建清晰、自文档化的接口和一张内在的安全网。通过主动使用断言来无情地校验这些合约（在开发阶段），并结合恰当的异常处理来应对运行时的意外，我们能将错误最大限度地扼杀在局部，防止其蔓延导致整个系统崩溃。此外，本章特别强调了资源管理（尤其是内存和句柄）的纪律，必须恪守“谁分配，谁释放”或使用资源获取即初始化模式，确保无泄漏。这种全方位的防御性策略，是构建健壮、可靠软件的基石。