请教高手KEIL中assert宏的具体含义和用法？

techbaby

网上搜索了一下这方面的资料，但总觉得理解的是云里雾里的，有人可以具体解释一下吗？

zhangxun0712

要学会先查后问。给你一个前人的答案：
http://www.ourdev.cn/bbs/bbs_content.jsp?bbs_sn=3683296&bbs_page_no=1&search_mode=1&search_text=assert&bbs_id=9999

techbaby

谢谢LS!

SCREA

首先是要知道条件判断语句

这个运算符分成三部分：

(条件) ？ (条件成立执行部分) ：(条件不成立执行部分)

就这么简单

例如：a=(x>y ? x:y);   当x>y为真时，a=x，当x>y为假（即y>x）时，a=y。
不少人问在ST官方的STM32的库函数里有很多assert_param是什么作用
比如下面的
assert_param(IS_ADC_ALL_PERIPH(ADCx));
assert_param(IS_ADC_IT(ADC_IT));
assert_param(IS_GPIO_ALL_PERIPH(GPIOx));
assert_param(IS_GPIO_MODE(GPIO_InitStruct->GPIO_Mode));assert_param(IS_GPIO_PIN(GPIO_InitStruct->GPIO_Pin));  
这样的函数，几乎是带参数的函数前面都有调用assert_param
实际这是个调试函数，当你在调试程序时打开DEBUG参数assert_param才起作用。
assert_param是反映参数你在调用库函数传递的参数是错误的。
assert_param的原型定义在stm32f10x_conf.h 文件里
定义如下：

1. 
   
2. #ifdef  DEBUG
   
3. 
   
4.   #define assert_param(expr) ((expr) ? (void)0 : assert_failed((u8 *)__FILE__, __LINE__))
   
5. 
   
6.   void assert_failed(u8* file, u32 line);
   
7. #else
   
8.   #define assert_param(expr) ((void)0)
   
9. #endif
   
10. #endif

复制代码

可以看到assert_param实际在DEBUG打开时就是assert_failed，关闭DEBUG时是空函数

assert_failed函数如下

1. #ifdef  DEBUG
   
2. 
   
3. void assert_failed(u8* file, u32 line)
   
4. {
   
5.   //用户可以在这里添加错误信息:比如打印出出错的文件名和行号
   
6.   while (1)
   
7.   {
   
8.     printf("他大爷的，又做空了！！");
   
9.   }
   
10. }
    
11. #endif

复制代码

techbaby

SCREA 发表于 2016-10-10 15:03
首先是要知道条件判断语句

这个运算符分成三部分：

LS=楼上


多谢！

SCREA

techbaby 发表于 2016-10-10 15:05
LS=楼上

考你一下，怎么打印文件名和行号