MENTAL MODEL · M8897
契约式设计
Design by Contract
Version 1.0.0 · 更新于 2026-07-28
CORE DEFINITION · 核心定义
模块之间通过明确的"契约"（前置条件、后置条件、不变量）规定权责，调用方和被调用方各自履行义务。涵盖变体：契约精神、契约者视角、契约自由
SCAFFOLDING EFFECT · 脚手架效应
psychology
降低认知负荷
责任边界清晰化。出错时能明确定位是谁违约，减少"踢皮球"和隐性依赖。
anchor
锚定快速决策
Bertrand Meyer 提出的软件设计方法：把模块间交互视为契约——前置条件、后置条件、类不变式。机制是用形式化约定约束调用方与被调方，错约即报错。
MINIMUM ACTION · 最小行动
进行中 0/1在一个真实场景中练习这个模型：
勾选记录你的进度（本机暂存）
掌握进度0%
account_tree知识谱系 Genealogyexpand_more
menu_book信源参考 Sourcesexpand_more
来源明确性: 明确
- zh.wikipedia.orghttps://zh.wikipedia.org/wiki/%E5%A5%91%E7%BA%A6%E5%BC%8F%E8%AE%BE%E8%AE%A1verified
PRIVATE NOTES · 仅自己可见
已保存问答
ENTRY Q&A · 可保存至我的笔记
在清晰边界内提问
thinkingmodels 仅基于已发布的条目上下文回答。
你的问题会发送给 thinkingmodels；回答仅使用公开词条上下文。
RELATED MODELS · 相关模型