// <cassert>
void assert (int expression);

当用户指定的条件为假时,将终止程序。