C++26 标准新增了合约（Contracts）功能，为开发者提供了在函数声明中直接表达函数要求和保证的能力。该特性通过 `pre()` 和 `post()` 语法替代传统的 `assert()` 方法，其中前置条件用于表达函数进入时应满足的条件，后置条件表达函数正常返回时应满足的条件。这一设计使得调用者无需查看函数…