函数的3-折衷规则

3-promise rule for functions

本文关键字：规则 3-折 函数      更新时间：2023-10-16

我需要帮助记住我读过这本书，它可能是有效的C++或其他什么，但我不记得了。我读到的东西基本上说函数有三个承诺：

  1. 验证输入参数以确保它们符合预期的输入要求
  2. 保证尊重&保持不变量
  3. 验证输出参数（返回并输出参数）

这本书也有一些不错的名字，但我不记得了。这让我很困扰，我不得不来到Stackoverflow，看看是否有人能认出这一点并帮助我记住。。。

概念的名称是合同设计：

  • 期望任何调用它的客户端模块在进入时都能保证某个条件：例程的先决条件——客户端的义务，供应商（例程本身）的利益，因为它使其不必处理先决条件之外的情况
  • 在退出时保证一定的财产：例程的后条件——这是供应商的义务，显然也是客户的利益（调用例程的主要利益）
  • 维护一个特定的属性，在进入时假设，在退出时保证：类不变量
相关文章：