知识卡片
约束是分析的前提
内容
给自己的设计加约束看似是自找麻烦，实际上约束就像导轨，是控制风险、保证质量的手段——要让系统装进小内存设备，就得给每个组件分配定量RAM预算；要让系统未来能移植操作系统，就得把依赖特定系统调用的代码隔离开。核心原理是”没有约束就意味着无法分析”：没有约束，代码理论上可以做任何事——超预算、依赖特定平台、违反缓存一致性——你就没法推理系统行为是否符合预期；约束越明确，各部分组合的行为才能被信任。
参考来源
- 位置：《恰如其分的软件架构》第9章《设计模型》9.5.13节《导轨式约束》（源文件：_epub-src/OEBPS/text00089.html）
- 结论依据：原文用RAM预算分配、系统调用隔离的例子说明约束控制风险保证质量，并明确"没有约束就意味着无法分析"——没有约束代码可以做任何事，无法推理系统行为是否符合预期。
- 原始内容：其实不是这样，开发人员对自己的设计进行约束，这样就可以控制风险，并且保证质量。这种约束就像导轨……要分析系统，约束是必要的：没有约束就意味着无法分析(no constraints means no analysis)。