契约式设计

契约式设计（Design by Contract，DbC）是一种方法论，它要求软件组件的接口必须精确定义，包括前提条件、后置条件和不变式。#card

• 前提条件定义了调用者必须满足的条件，后置条件描述了函数执行完后的期望结果，而不变式则是整个组件或类在生命周期中始终不变的条件。

• 这种设计方法有助于确保系统中各个组件之间的正确交互，提升系统的可靠性。