前几天看到一个宏, 它大概是这样的:

#define assert_param(expr) ((expr) ? (void)0 : assert_failed((u8 *)__FILE__, __LINE__))

代码的含意简单, 关键是那个 (void)0 的用法, 我还是第一次见到(别笑).

我用 void 的时候, 有两种情况:

1.放到函数前面, 强调函数没有返回值, 也就是说函数不能作右值

如: void fun(int x);

2.放到函数形参里面, 强调函数无任何参数

如: int fun(void);

还有一种用法是:

#define NULL ((void*)0)

当然, 这就是NULL空指针的定义方式(在 stdlib.h 里面).

可, 上面宏的 (void)0 , 一开始确实让我觉得有点奇怪, 不知道干嘛的, 平静下来, 想了想.

原来, 宏里面这样用的目的是防止该宏被用作右值, (void)0 本身也不能作右值, 因为 void 非实际的类型!

在STM32的固件库和提供的例程中，到处都可以见到assert_param()的使用。如果打开任何一个例程中的stm32f10x_conf.h文件，就可以看到实际上assert_param是一个宏定义；在固件库中，它的作用就是检测传递给函数的参数是否是有效的参数。所谓有效的参数是指满足规定范围的参数，比如某个参数的取值范围只能是小于3的正整数，如果给出的参数大于3，则这个assert_param()可以在运行的程序调用到这个函数时报告错误，使程序员可以及时发现错误，而不必等到程序运行结果的错误而大费周折。这是一种常见的，可以在调试阶段帮助程序员快速地排除那些明显的错误。它确实在程序的运行上牺牲了效率(但只是在调试阶段)，但在项目的开发上却帮助你提高了效率。当你的项目开发成功，使用release模式编译之后，或在f10x_conf.h文件中注释掉对USE_FULL_ASSERT的宏定义，所有的assert_param()检验都消失了，不会影响最终程序的运行效率。#define assert_param(expr) ((expr) ? (void)0 : assert_failed((u8 *)__FILE__, __LINE__))。。。assert_param(IS_ADC_ALL_PERIPH(ADCx));。。。在执行assert_param()的检验时，如果发现参数出错，它会调用函数assert_failed()向报告错误，在任何一个例程中的main.c中都有这个函数的模板，如下：void assert_failed(uint8_t* file, uint32_t line){while (1){}}你可以按照自己使用的环境需求，添加适当的语句输出错误的信息提示，或修改这个函数做出适当的错误处理。