Checks that some condition holds just before entering a code block.

• 检查在进入代码块之前某些条件是否成立。