功能的3承诺规则

Question

我需要帮助记住我从中读到的这本书，它可能是有效的C ++或其他东西，但我不记得了。我正在阅读一些基本上说功能有3个承诺的东西：

1. 验证输入参数以确保它们符合预期的输入要求
2. 保证尊重＆amp;维护不变量
3. 验证输出参数（return＆amp; out params）

这本书也有一些不错的名字，但对于我的生活，我不记得了。这让我感到困扰，我不得不来到Stackoverflow，看看是否有人认识到这一点，并帮助我记住......

Answer 1

概念的名称是Design by Contract：

  

  
• 期望任何调用它的客户模块在进入时保证某个条件：例程的前提条件 - 客户的义务，以及供应商的利益（例程本身），因为它使其免于必须处理在前提条件之外的案件。
  
• 保证退出时的某个财产：例行公司的后置条件 - 供应商的义务，显然是对客户的利益（调用例程的主要好处）。
  
• 维持一定的财产，在入境时假设并在退出时保证：该类不变。