报告任何以 true 常量作为其唯一条件的 whiledo-whilefor 循环。 同时,此类循环仍然能够被可以跳出循环的包含 if 语句终止。

此类 if 语句必须是 whilefor 循环中的第一个或唯一语句,也必须是 do-while 循环中的最后一个或唯一语句。

移除 if 语句并将其条件设为显式循环条件可简化循环。