宏程序契约逻辑合理性的讨论

契约式编程在数控宏程序中被广泛应用，以保证复杂条件下的程序正确性，是一个非常有用的编程手段。但是如何正确有效地制订程序契约却并不是一件简单的事，如果我们不注意程序契约中逻辑的合理性，就很容易产生无效契约，从而无法实现保证程序正确性，加工安全性的目的。