一个小语句看不懂，求解答,（新人上手没人教不容易啊）

人生只若@初恋

我在查看程序最底层的库函数时，常看到这个函数，我想明白它表达的什么意思，求大神详细解答一下：
assert_param （****）
//eg:  assert_param(IS_RCC_APB2_PERIPH(RCC_APB2Periph));
         assert_param(IS_FUNCTIONAL_STATE(NewState));

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

/* Exported functions ------------------------------------------------------- */

  void assert_failed(uint8_t* file, uint32_t line);

#else

  #define assert_param(expr) ((void)0)

它的形参是什么，返回值又是什么，怎么又是进行的一个宏定义，到底在表达些什么，这个语句

wghfbj

我的理解就是用这个函数来判断你给的实参在不在规定的取值范围之内，每一个库函数的形参都是有范围限制的。

正点原子

回复【楼主位】人生只若@初恋:
---------------------------------
这是断言机制,比如指定某个变量必定不等于或者等于某个值,如果不相符,那么就报错.
这个东西我没用过,只是看到很多人用,st的官方例程也都有,呵呵.
它的参数expr,就是个表达式,这个assert_param其实就是个宏定义,判断表达式expr是否为真,如果为真,则表达式不执行任何操作.如果为假,那么就执行 assert_failed((uint8_t *)__FILE__, __LINE__))这个函数.

人生只若@初恋

回复【3楼】正点原子:
---------------------------------
谢谢了，虽然不怎么明白什么意思，好像也貌似不重要，我先往下看着吧（上面给的是在时钟设置初始化的时候往里面看到的，时钟那块其实也还是迷糊着看的），非常欣赏站长

ofourme

程序崩溃的时候就重要了

人生只若@初恋

回复【5楼】ofourme:
---------------------------------
刚起步，到了程序要崩溃的时候我来找大哥帮忙