assert_param(expr) 这句话中expr是什么意思 没有看到哪里定义的

天明

#define assert_param(expr) ((expr) ? (void)0 : assert_failed((u8 *)__FILE__, __LINE__))语法意思都明白，但是这个expr从哪边冒出来的？是怎么回事的？
请大家知道的回答下啊

正点原子

我也不懂,帮顶,同求答案,呵呵.

ilikerome

就是一个带参的宏吧，caller给的啊。

天明

回复【3楼】ilikerome:
---------------------------------
这个我仔细看了看 也算是解释下语句意思  可能我基础还是不太好吧，这种宏定义写法接触不多， #ifdef  DEBUG
#define assert_param(expr) ((expr) ? (void)0: assert_failed((uint8_t *)__FILE__, __LINE__))
  void assert_failed(uint8_t* file, uint32_t line);
#else
  #define assert_param(expr) ((void)0)
#endif
仔细看了下这种叫被称为断言(这个称呼也不懂）

比如调用这句assert_param(IS_USART_IRDA_MODE(USART_IrDAMode));其中
#define IS_USART_IRDA_MODE(MODE) ((MODE == USART_IrDAMode_LowPower) || \
                                  (MODE == USART_IrDAMode_Normal))也即是后面是判断语句  （0） 或（1)

刚才说的这个IS_USART_IRDA_MODE(USART_IrDAMode)整体宏定义 expr   (不过这种宏定义用法我还不是太能理解，看来我基础还是不行）
此处（expr) 为1表示正确 则由这句话#define assert_param(expr) ((expr) ? (void)0: assert_failed((uint8_t *)__FILE__, __LINE__))
问题1 这里语句  中（expr）加不加括号有区别吗？（这个比较基础  但是我也不懂问问啊）
知道则强制赋予0即则返回0，不进行任何操作。
如果（expr)为0,则报错，此处assert_failed((uint8_t *)__FILE__, __LINE__)
这个函数用户自己定义可以void assert_failed(uint8_t* file, uint32_t line);
是这个意思吧？


问题2
啊 这个#ifdef  DEBUG
  DEBUG
的预定义是怎么告知系统的  调试的时候  是那个调试软件哪边的吗？

ofourme

加括号可以防止扩展的时候出错啊，比如(a+b)?0:1和a+b?0:1好像就不一样，这得看操作符的优先级。

debug宏可以手动添加，也可以在编译器里设置。

天明

回复【5楼】ofourme:
---------------------------------
哦 ，那这debug 在编译器哪边 怎么传过去的 啊？

Just Beat It

这是断言机制。意思是在关闭断言的情况下，
void MY_NVIC_SetVectorTable(u32 NVIC_VectTab,u32 Offset)
{
  assert_param(IS_NVIC_VECTTAB(NVIC_VectTab));
  assert_param(IS_NVIC_OFFSET(Offset));
  SCB->VTOR=NVIC_VectTab|(Offset&(u32)0x1FFFFF80);
}
就相当于：
void MY_NVIC_SetVectorTable(u32 NVIC_VectTab,u32 Offset)
{
  (void)0; // 不执行任何操作，对程序也没有副作用
  (void)0; // 不执行任何操作，对程序也没有副作用
  SCB->VTOR=NVIC_VectTab|(Offset&(u32)0x1FFFFF80);
}
由于你的这个断言没贴完整，我就拿VC++6.0下的断言来说明把。
在VC++6.0下的assert.h中：
#ifdef  NDEBUG 
#define assert(exp)     ((void)0)
#else
#define assert(exp) (void)( (exp) || (_assert(#exp, __FILE__, __LINE__), 0) )
如果你写的代码中使用了断言，比如：
assert(i>=0);
那么这句的在程序中的作用分两种情况：
1. 若果在assert.h被包含之前NDEBUG这个宏未定义，assert(exp) 就被定义为(void)( (exp) || (_assert(#exp, __FILE__, __LINE__), 0) )。这样当i<0时，i>=0这个表达式为假，所以程序就会终止。并通知程序员发生错误的文件位置和代码行。但是错误信息仅仅对程序员有用。对用户来说，程序异常终止就显得不是那么友好了（用户此时需要的是挽回错误）。所以在发布给用户的程序中，assert（断言）要关闭。在VC++6.0下这是通过在包含assert.h头文件之前定义NDEBUG实现的。
2.在定义了NDEBUG的情况下，断言不应该给程序带来副作用。这样断言就被定义为：
#define assert(exp)     ((void)0)
此时，assert(i>=0);不管括号中表达式为真还是为假，这一行代码其实相当于：
NULL；意思是不执行任何操作。
转自http://zhidao.baidu.com/link?url=GnGUEaHYfFz_YuBozuNQPpgve7LAKV3Cm38SUORu0-xzYnwH0kLepeOvRVuw86ecAOZJphb6HPMxwhFvkYixya

bi‘an

回复【7楼】Just Beat It:
---------------------------------
关于#define assert_param（expr）（（void）0）；
如果参数是0 他会报错   他是怎么实现这个功能的呢？