断言概述

断言是调试程序的一种手段。在项目发布前，可以通过断言检测程序的逻辑是否正确。

检测代码错误，既可以通过简单的错误判断分支完成，也可以通过C++提供的异常处理机制进行异常捕捉，这些异常处理内容也可以出现在项目的发布版本中。本节要介绍的断言是在程序调试阶段对一般不可能出现的情况进行判断，若断言情况发生，一般会终止程序。

编写代码时，通常会对程序代码做出一些假设，这些假设一般不应该发生，断言用于在代码调试时捕捉这些假设。断言一般表示为布尔表达式，程序编写者相信在程序正确时这些表达式的值为真，若表达式为假，则断言失败，执行相应的断言处理动作。

断言在调试阶段使用，在项目发布时关闭，因此不会降低程序运行效率，使用断言可以创建更稳定、安全性更高的程序。