【C/C++】详解 assert() 断言（什么是assert? assert有什么作用？）

一、前言

二、什么是 assert ?

三、assert 的用法

四、assert 案例解析

五、assert 断言的使用原则

六、共勉

一、前言

在编写程序过程中，尤其是调试代码时，往往需要一个提醒代码漏洞/Bug的小助手，以便于程序员及时修改和完善代码。那么assert关键字就可以成为这个小助手。

二、什么是 assert ?

概念：C/C++ 中的 assert 是一个宏，用于在运行时检查一个条件是否为真，如果条件不满足，则运行时将终止程序的执行并输出一条错误信息。

assert 宏定义在 <assert.h> 或 <cassert> 头文件中，并接受一个参数，通常为一个语句。
如果这个语句的结果为 false，assert 宏就会以"Assertion failed: , file , line "的形式显示出错信息，然后使程序崩溃并终止运行。如果该语句的结果为 true，则 assert 宏不做任何操作。

作用： assert 宏的使用可以帮助程序员检查程序的正确性，并提供帮助定位错误的一种手段。通常在程序编写的测试与调试阶段使用 assert 来追踪程序执行中的错误，并在最终发布程序时关闭 assert 检查，以提升程序的运行效率。

三、assert 的用法

语法：

assert(condition);
condition：要判断的条件

说明：

a、如果condition判断结果为false，则程序就会停止执行。
b、当程序停止执行时，assert就会断言失败，并输出一条程序的错误信息到控制台或日志文件中。
c、assert关键字常常用于调试程序阶段，可以用来帮助程序员在程序出现异常或错误时，快速定位问题所在，以便于检查和就修改完善。
d、而在程序正常部署后，assert一般就会被自动关闭。

四、assert 案例解析

案例1 ： 比大小

#include <cassert>
#include <iostream>
using namespace std;int main() {int a = 10, b = 20;assert(a > b);    // 条件不成立，程序会终止cout << a + b << endl;return 0;
}

在这个例子中，条件 a > b 不成立，程序就会在 assert 这个语句处崩溃，输出一条相应的错误信息。

案例2 ： 模拟 strlen() 函数

/*例程1*/
#include <stdio.h>
#include <assert.h>
#include <string.h>//size_t --- unsigned int
size_t My_strlen(const char* str)//参数传数组首地址
{assert("str != NULL");//注意：这里我把断言取消了，要用时把双引号去掉即可//断言，判断是否传的空地址，及时报错纠正int count = 0;//计数//是假就不执行while循环//是真则执行，函数体//不断判断后加加(后置++，先用后加)，数组元素是否为字符串结束标志位'\0'while (*str != '\0'){str++;count++;}return count;
}
int main()
{char arr[] = "hello bit!!!";int len = My_strlen(arr);printf("%d\n", len);//12return 0;
}

小结：

a、断言需要引用头文件，<assert.h>
b、断言,作用是指出代码报错的位置/方便查找原因

五、assert 断言的使用原则

assert() 是一个调试程序时经常使用的宏，在程序运行时它计算括号内的表达式，如果表达式为 false (0), 程序将报告错误，并终止执行。如果表达式不为0，则继续执行后面的语句。这个宏通常原来判断程序中是否出现了明显非法的数据，如果出现了终止程序以免导致严重后果，同时也便于查找错误。

（1）使用断言捕捉不应该发生的非法情况。不要混淆非法情况与错误情况之间的区别，后者是必然存在的并且是一定要作出处理的。
（2）使用断言对函数的参数进行确认。
（3）在编写函数时，要进行反复的考查，并且自问："我打算做哪些假定？"一旦确定了的假定，就要使用断言对假定进行检查。
（4）一般教科书都鼓励程序员们进行防错性的程序设计，但要记住这种编程风格会隐瞒错误。当进行防错性编程时，如果"不可能发生"的事情的确发生了，则要使用断言进行报警。