#include <assert.h>
void assert(scalar expression);
表达式为假,则调用abort终止程序的执行。
也就是说,只有在满足表达式的情况下,程序才继续执行。