language-agnostic - 什么是不变量？

Question

这个词似乎在很多上下文中都有使用。我能想到的最好的办法是，它们意味着一个无法改变的变量。这不就是常量/决赛(该死的Java!)的用途吗？

Answer 1

不变量比变量更具“概念性”。一般来说，它是程序状态的一个属性，始终为真。确保不变量成立的函数或方法被称为维持不变量。

例如，二叉搜索树可能具有这样的不变量:对于每个节点，该节点的左子节点的键小于该节点自己的键。为该树正确编写的插入函数将保持该不变性。

正如您所知，这不是可以存储在变量中的内容:它更像是关于程序的声明。通过弄清楚你的程序应该维护什么样的不变量，然后检查你的代码以确保它确实维护了这些不变量，你可以避免代码中的逻辑错误。