这种思想是在程序执行的不同阶段置入某些条件的布尔检查。

• The idea is to put in boolean checks for certain conditions at various stages in the execution of the program.