断言函数，用于在调试过程中捕捉程序的错误。

assert() 会对表达式expression进行检测：

  • 如果expression的结果为 0（条件不成立），那么断言失败，表明程序出错，assert() 会向标准输出设备（一般是显示器）打印一条错误信息，并调用 abort() 函数终止程序的执行。
  • 如果expression的结果为非 0（条件成立），那么断言成功，表明程序正确，assert() 不进行任何操作。