退出while循环算法

Question

while循环不变量的算法是什么？
例如，

while(object.width()<=15 && object.color()!=blue || object.material==green)
    buyObject(object)

一个人不买对象的条件是什么？

Answer 1

循环将继续，直到while中的表达式为false。 条件是这个表达式： object.width() <= 15 && object.color() != blue || object.material==green

如果该表达式为false，则需要OR（||）的两个条件都为false，即：

object.width() <= 15 && object.color() != blue

和

object.material==green。

对于第二个是假的，很明显需要什么。 对于第一个，使用AND（&&）检查的两个条件之一必须为false，即：

object.width() <= 15

和

object.color() != blue。

从这里开始，找出使循环停止的条件应该很容易。