当前位置：新励学网 > 秒知问答 > C++中的断言的用法。ASSERT

C++中的断言的用法。ASSERT

发表时间：2024-07-28 13:03:54 来源：网友投稿

assert是包含在头文件<cassert>中的宏定义，如下：

#ifdef NDEBUG#define assert(condition) ((void)0)#else#define assert(condition) #endif

由此可见当NDEBUG已经定义时，assert没有任何作用。反之condition为零时，assert会终止程序。

通常debug（调试）模式下不会定义NDEBUG；而release（发布）模式下，会定义NDEBUG。由此可知assert是用于调试的命令。

一般而言在编写程序时，我们会假设输入、输出满足一定的条件。由于程序员的疏忽，我们不太可能一次就写对程序。当出现错误时，我们所做的假设可能会不成立。如果我们能将所有假设都用assert进行判断，那么程序出错时，我们能在第一时间发现问题所在。另一方面我们希望对假设条件的判断不会影响程序的效率。所以当我们确信程序没有错误时，我们希望assert什么都不做。请看如下示例：

#include <cassert>template<typename T>T multiply(T const a, T const b) {return a * b;}template<typename T>T div(T const a, T const b) {return a / b;}int main() {double const a = 1, b = 2;assert(multiply(div(a, b), b) == a);return 0;}

其中定义了multiple（乘法），div（除法）操作。表面上我们并没有什么错误，不过为了保险起见，我们使用了assert进行验证。结果正如我们希望的，没有任何错误。但是当我们将a, b的类型改为int时，程序出错了（debug模式）。因为div的定义其实是有问题的（相信楼主能看出来吧^^）。

总之每当我们对程序有任何假设、期望，都应该将它转化为assert语句写入程序当中。它能帮助我们定位错误的位置，缩短调试时间，百利而无一害。

PS: 需要注意的是assert应该用于处理程序中的逻辑错误，而不是输入错误。所以判断文件打开是否出错，应该使用异常等错误处理机制，而不是assert。

免责声明：本站发布的教育资讯（图片、视频和文字）以本站原创、转载和分享为主，文章观点不代表本网站立场。

如果本文侵犯了您的权益，请联系底部站长邮箱进行举报反馈，一经查实，我们将在第一时间处理，感谢您对本站的关注！