C语言 宏 assert（）_#define assert(y)

收集整理了一份《2024年最新物联网嵌入式全套学习资料》，初衷也很简单，就是希望能够帮助到想自学提升的朋友。

如果你需要这些资料，可以戳这里获取

需要这些体系化资料的朋友，可以加我V获取：vip1024c （备注嵌入式）

一个人可以走的很快，但一群人才能走的更远！不论你是正从事IT行业的老鸟或是对IT行业感兴趣的新人

都欢迎加入我们的的圈子（技术交流、学习资源、职场吐槽、大厂内推、面试辅导），让我们一起学习成长！

二、assert怎么用？

1、assert所在的头文件及原型

在MinGW工具中，assert()宏在存在于头文件assert.h中，其关键内容如下：

#ifdef NDEBUG
#define assert(x) ((void)0)
#else /\* debugging enabled \*/

_CRTIMP void __cdecl __MINGW_NOTHROW _assert (const char\*, const char\*, int) __MINGW_ATTRIB_NORETURN;

#define assert(e) ((e) ? (void)0 : \_assert(#e, \_\_FILE\_\_, \_\_LINE\_\_))

#endif /\* NDEBUG \*/

assert()宏接受一个整形表达式参数。如果表达式的值为假，assert()宏就会调用_assert函数在标准错误流中打印一条错误信息，并调用abort()（abort()函数的原型在stdlib.h头文件中）函数终止程序。
当我们认为已经排除了程序的bug时，就可以把宏定义#define NDEBUG写在包含assert.h位置前面。
小知识：
__cdecl是C Declaration的缩写（declaration，声明），表示C语言默认的函数调用方法：所有参数从右到左依次入栈。
_CRTIMP是C run time implement的简写，C运行库的实现的意思。作为用户代码，不应该使用这个东西。提示是使用dll的动态 C 运行时库还是静态连接的 C 运行库的一个宏。

#ifndef \_CRTIMP
#ifdef \_DLL
#define \_CRTIMP \_\_declspec(dllimport)
#else /\* ndef \_DLL \*/
#define \_CRTIMP
#endif /\* \_DLL \*/
#endif /\* \_CRTIMP \*/

__MINGW_NOTHROW与__MINGW_ATTRIB_NORETURN是异常处理相关标识这几个标识符在C语言标准库文件中都有用得到，但是我们不需要关心，在我们用户的角度来看，以上函数原型我们看成：void _assert(const char*, const char*, int)；即可。

2、assert应用

assert主要用于类型检查及单元测试中。
单元测试（unit testing），是指对软件中的最小可测试单元进行检查和验证。对于单元测试中单元的含义，一般来说，要根据实际情况去判定其具体含义，如C语言中单元指一个函数。
（1）例子一：除法运算
左右滑动查看全部代码>>>

/\*
编译环境：mingw32 gcc6.3.0
\*/
#include <stdio.h>
#include <assert.h>
	
int main(void)
{
	int a, b, c;
	printf("请输入b, c的值：");
	scanf("%d %d", &b, &c);
	a = b / c;
	printf("a = %d", a);
	return 0;
}

此处，变量c作为分母是不能等于0，如果我们输入2 0，结果是什么呢？结果是程序会蹦：

这个例子中只有几行代码，我们很快就可以找到程序蹦的原因就是变量c的值为0。但是，如果代码量很大，我们还能这么快的找到问题点吗？
这时候，assert()就派上用场了，以上代码中，我们可以在a = b / c;这句代码之前加上assert©;这句代码用来判断变量c的有效性。此时，再编译运行，得到的结果为：

可见，程序蹦的同时还会在标准错误流中打印一条错误信息：
Assertion failed：c, file hello.c, line 12
这条信息包含了一些对我们查找bug很有帮助的信息：问题出在变量c，在hello.c文件的第12行。这么一来，我们就可以迅速的定位到问题点了。
细心的朋友会发现，上边我们对assert()的介绍中，有这么一句说明：如果表达式的值为假，assert()宏就会调用_assert函数在标准错误流中打印一条错误信息，并调用abort()（abort()函数的原型在stdlib.h头文件中）函数终止程序。
所以，针对我们这个例子，我们的assert()宏我们也可以用以下代码来代替：

if (0 == c)
{
	puts("c的值不能为0，请重新输入！");
	abort();
}

这样，也可以给我们起到提示的作用：

但是，使用assert()至少有几个好处：
1）能自动标识文件和出问题的行号。
2）无需要更改代码就能开启或关闭assert机制(开不开启关系到程序大小的问题)。如果认为已经排除了程序的bug，就可以把下面的宏定义写在包含assert.h的位置的前面：
#define NDEBUG
并重新编译程序，这样编辑器就会禁用工程文件中所有的assert()语句。如果程序又出现问题，可以移除这条#define指令（或把它注释掉），然后重新编译程序，这样就可以重新启用了assert()语句。

（2）例子二：STM32库函数
我们来看我们比较熟悉的GPIO初始化函数：

可见，该函数的实现中，有三条assert_param()这样的语句，其作用就是对一些函数入口参数进行一些有效性检查。
其实assert_param()这就类似与我们C标准库中的assert()。针对stm32f10x系列来说，其被定义在文件stm32f10x_conf.h中：

除了GPIO初始化函数之外，STM32固件库函数中的其他函数都是会做这样的参数检查。

三、assert与if的比较？

既有适合小白学习的零基础资料，也有适合3年以上经验的小伙伴深入学习提升的进阶课程，涵盖了95%以上物联网嵌入式知识点，真正体系化！

由于文件比较多，这里只是将部分目录截图出来，全套包含大厂面经、学习笔记、源码讲义、实战项目、大纲路线、电子书籍、讲解视频，并且后续会持续更新

需要这些体系化资料的朋友，可以加我V获取：vip1024c （备注嵌入式）

如果你需要这些资料，可以戳这里获取

、学习笔记、源码讲义、实战项目、大纲路线、电子书籍、讲解视频，并且后续会持续更新**

需要这些体系化资料的朋友，可以加我V获取：vip1024c （备注嵌入式）

如果你需要这些资料，可以戳这里获取