在使用STM8或STM32的過(guò)程中，在官方的庫(kù)文件中經(jīng)常能看到assert_param()的使用，一直都是對(duì)它無(wú)視，因?yàn)樗挥绊懯褂?。但作為一名合格的、?yán)謹(jǐn)?shù)墓こ處焷?lái)講，連assert_param()斷言都沒搞明白，都沒弄清楚，自己感覺還是有點(diǎn)丟人的。

其實(shí)這個(gè)就是斷言，它的主要用途是在編程的過(guò)程中為程序員提供參數(shù)檢查，對(duì)于Release之后，對(duì)終端用戶而言是無(wú)用的。它是在開發(fā)調(diào)試過(guò)程中，對(duì)參數(shù)錯(cuò)誤進(jìn)行提示，以便程序員提高開發(fā)效率。

首先，在STM8L101F3P6官方提供的模版庫(kù)的main.c文件中我們會(huì)看到如下代碼：

void main(void)

{

    /* Infinite loop */

    while (1)

    {

    }

}

#ifdef  USE_FULL_ASSERT

/**

  * @brief  Reports the name of the source file and the source line number

  *   where the assert_param error has occurred.

  * @param file: pointer to the source file name

  * @param line: assert_param error line source number

  * @retval : None

  */

void assert_failed(uint8_t* file, uint32_t line)

{

    /* User can add his own implementation to report the file name and line number,

       ex: printf("Wrong parameters value: file %s on line %drn", file, line) */

    /* Infinite loop */

    while (1)

    {

    }

}

#endif

其含義是：如果定義了USE_FULL_ASSERT宏，則程序包含了assert_failed()這個(gè)函數(shù)的定義。

在stm8l10x_conf.h文件中，我們也會(huì)看到如下的代碼：

/* Exported macro ------------------------------------------------------------*/

#ifdef  USE_FULL_ASSERT

/**

  * @brief  The assert_param macro is used for function's parameters check.

  * @param expr: If expr is false, it calls assert_failed function

  *   which reports the name of the source file and the source

  *   line number of the call that failed. 

  *   If expr is true, it returns no value.

  * @retval : None

  */

  #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)

#endif /* USE_FULL_ASSERT */

這里是assert_param()的原型。

可以看到，它是一個(gè)帶參數(shù)的宏定義，參數(shù)是一個(gè)條件表達(dá)式。表達(dá)式就是你要檢查的參數(shù)。

表達(dá)式為真時(shí)，其定義為(void)0。即空，什么都不做，對(duì)程序無(wú)影響。函數(shù)調(diào)用時(shí)傳來(lái)的參數(shù)都是正確的，不需要進(jìn)行什么操作。

表達(dá)式為假時(shí)，其定義為assert_failed((uint8_t *)__FILE__,__LINE__))，這是一個(gè)帶兩個(gè)參數(shù)的函數(shù)，這個(gè)函數(shù)就是在main.c中定義的。第1個(gè)參數(shù)為文件指針，指示參數(shù)錯(cuò)誤的文件；第2個(gè)參數(shù)是參數(shù)錯(cuò)誤的等號(hào)。

--------------------------------------------------------------------------------------------------------------------------------------

1.使用時(shí)，要定義USE_FULL_ASSERT這個(gè)這宏，在stm8l10x_conf.h文件中去定義

2.可以是assert_failed()函數(shù)中，輸出一些提示性的信息，來(lái)方便自己調(diào)試。

--------------------------------------------------------------------------------------------------------------------------------------