invariants - 你在编程时使用不变量吗？

Question

我正在学习一门强调使用不变量的中级编程类(class)。我以前从未使用过它们，它们似乎需要更多的时间来创建。软件工程行业是否强调使用不变量？

Answer 1

取决于你问谁 - 我使用不变量只是因为它让生活更轻松。学习不变量就像学习盲打。每次使用不变量时，您都会更多地了解您的代码。如果你在循环中插入不变量作为注释，它会帮助读者很多。我会说使用不变量使源代码的创建和维护成本更低，并使您能够创建仍然可维护的更复杂的算法。

与 OOP 相比，我从未经历过任何人通过使用不变量来浪费时间。