是不变量，重言式吗？

Question

所以我在阅读Assertions Java API时遇到了不变量这个术语。在我阅读了网上的其他文章后，我的理解不变量是重言式。我误解了吗？

Answer 1

考虑应该要执行的程序与实际所做的事情之间的区别。如果程序正确，则所有断言都是重言式。如果程序有问题，则不是。

Answer 2

  

在逻辑学中，重言式是一种真实的陈述   定义，因此从根本上没有信息。合乎逻辑   重言式在论证或陈述中使用循环推理。

不变量只是一种不会改变的东西。

Answer 3

重言式是永远正确的陈述。不变量是意图在特定上下文中 的语句。

有些不变量不是重言式。例如，在编程循环中，每次迭代加1 i并在i=max时终止，您可以在循环顶部声明一个不变的i < max。这不是重言式，因为条件并非普遍适用：i小于max没有逻辑必然性。目的是每次在特定计算的上下文中达到特定点时都是如此。