所以我在阅读Assertions Java API时遇到了术语不变量。在我阅读了网络上的其他文章后，我的理解不变量是重言式。我是不是误会了？
考虑程序应该做什么和它实际做什么之间的区别。如果程序正确，则所有断言都是重言式。如果程序有问题，则不是。
在逻辑上，重言式是一个本身为真的陈述 定义，因此基本上没有信息。逻辑 重言式在论点或陈述中使用循环推理。
不变只是不会改变的东西。
重言式是始终正确的陈述。不变量是在特定上下文中旨在为真的语句。
有些不变量不是重言式。例如，在一个编程循环中，每次迭代i加 1 并在i=max时终止，您可以在循环顶部声明一个不变量，如 i < max。这不是重言式，因为条件不是普遍正确的：i小于max没有逻辑上的必要性。目的是，每次在特定计算的上下文中达到特定点时，它都是正确的。